0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1092206-1215264414.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.49/0.52 nbVariables=1716 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=3432
0.49/0.52 => wckTime=0.277 cpuTime=0.18 mem=11M754
0.49/0.52
0.49/0.52 predicates being loaded...
0.49/0.58
0.49/0.58 constraints being loaded...
2.26/2.35 nbConstraints=1584 nbGlobalConstraints=132 nbConflictsStructures=1 nbSharedConflictsStructures=1451
2.26/2.35 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=1451 minDegree=4 maxDegree=17
2.26/2.35 minArity=3 avgArity=9.43 maxArity=484 nbGenerators=32 nbFusions=0 symmetryWckTime=1.383 symmetryCpuTime=1.08
2.26/2.35 => wckTime=2.107 cpuTime=1.64 mem=13M761
2.36/2.41
2.36/2.41 solver IterativeSystematicSolver being built...
2.45/2.52
2.45/2.52 INFO : Forward propagation technique limited
2.56/2.67 => wckTime=2.432 cpuTime=1.85 mem=40M642
2.66/2.70
2.66/2.70 preprocessing
2.66/2.70 nbConstraintChecks=0 nbPropagations=1716 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.66/2.70 detectedInconsistency=no
2.66/2.70 => wckTime=0.024 cpuTime=0.01 mem=40M642
408.71/412.69
408.71/412.69 search
408.71/412.69 run=22 nbConstraintChecks=52060453 nbValidityChecks=68654948 minDepth=31 maxDepth=1716 nbPropagations=40594188
408.71/412.69 nbRevisions=185308843 nbUselessRevisions=147742705 nbAssignments=1540313 nbFailedAssignments=163575
408.71/412.69 nbBacktracks=1371175 nbVisitedNodes=1872405 nbRestartNogoods=286 nbFoundSolutions=1 nbSEliminables=?
408.71/412.69 nbREliminables=? nbIEliminables=? nbDEliminables=? nbPEliminables=?
408.71/412.69 => wckTime=410.015 cpuTime=406.06 mem=42M639
408.81/412.70
408.81/412.70 global
408.81/412.70 nbConstraintChecks=52060453 nbValidityChecks=68654948 nbPropagations=40595904 nbRevisions=185308843
408.81/412.70 nbUselessRevisions=147742705 nbRestartNogoods=286 solvingWckTime=410.02 solvingCpuTime=406.06 expiredTime=no
408.81/412.70 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=407.9 globalCpuTime=407.94
408.81/412.70 => wckTime=412.458 cpuTime=407.91 mem=42M639
408.81/412.70
408.81/412.70 s SATISFIABLE
408.81/412.70 v 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0
408.81/412.70 d NODES 1540313
408.81/412.70 d CHECKS 52060453
408.81/412.70
408.81/412.70 totalWckTime=412.526 totalCpuTime=407.94
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092206-1215264414/watcher-1092206-1215264414 -o /tmp/evaluation-result-1092206-1215264414/solver-1092206-1215264414 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1092206-1215264414.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4773
/proc/meminfo: memFree=1646600/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=152 CPUtime=0
/proc/4773/stat : 4773 (java) R 4771 4773 4146 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 2005415923 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 2605355 0 0 4096 0 0 0 0 17 0 0 0
/proc/4773/statm: 38 26 19 9 0 4 0
[startup+0.0630891 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4773
/proc/meminfo: memFree=1646600/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=865856 CPUtime=0.05
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 2878 0 1 0 4 1 0 0 18 0 9 0 2005415923 886636544 2405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 216464 2413 1149 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856
[startup+0.102091 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4773
/proc/meminfo: memFree=1646600/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=865884 CPUtime=0.09
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 3803 0 1 0 7 2 0 0 18 0 9 0 2005415923 886665216 3254 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 216471 3254 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.302112 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4773
/proc/meminfo: memFree=1646600/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=866372 CPUtime=0.28
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 6003 0 1 0 25 3 0 0 18 0 9 0 2005415923 887164928 5377 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 216593 5380 1956 9 0 211121 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866372
[startup+0.702153 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4773
/proc/meminfo: memFree=1646600/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=867484 CPUtime=0.69
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 9431 0 1 0 64 5 0 0 18 0 9 0 2005415923 888303616 8791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 216871 8791 2009 9 0 211377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867484
[startup+1.50124 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4782
/proc/meminfo: memFree=1609856/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868132 CPUtime=1.47
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 19701 600 1 0 117 15 14 1 18 0 10 0 2005415923 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217033 15915 2025 9 0 211539 0
[pid=4773/tid=4775] ppid=4771 vsize=868132 CPUtime=1.21
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 17970 600 1 0 92 14 14 1 18 0 10 0 2005415924 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4127066760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868132 CPUtime=0.15
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 5 600 0 0 0 0 14 1 17 0 10 0 2005415925 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868132 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 10 600 0 0 0 0 14 1 22 0 10 0 2005415926 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868132 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 4 600 0 0 0 0 14 1 23 0 10 0 2005415926 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868132 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 10 0 2005415927 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868132 CPUtime=0.38
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 902 600 0 0 23 0 14 1 15 0 10 0 2005415927 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868132 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 10 0 2005415928 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868132 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 7 600 0 0 0 0 14 1 15 0 10 0 2005415928 888967168 15915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868132
[startup+3.10141 s]
/proc/loadavg: 2.16 2.03 2.01 3/89 4786
/proc/meminfo: memFree=1583040/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=3.06
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 29967 600 1 0 272 19 14 1 18 0 9 0 2005415923 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19928 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=2.53
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22154 600 1 0 223 15 14 1 25 0 9 0 2005415924 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4127227224 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.5
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 968 600 0 0 35 0 14 1 15 0 9 0 2005415927 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 7 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19928 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868256
[startup+6.30273 s]
/proc/loadavg: 2.16 2.03 2.01 3/89 4786
/proc/meminfo: memFree=1576448/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=6.22
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30015 600 1 0 588 19 14 1 18 0 9 0 2005415923 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19950 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=5.67
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22155 600 1 0 537 15 14 1 17 0 9 0 2005415924 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4127231323 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 992 600 0 0 39 0 14 1 17 0 9 0 2005415927 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868256
[startup+12.7014 s]
/proc/loadavg: 2.13 2.03 2.01 3/89 4786
/proc/meminfo: memFree=1576328/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=12.56
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30017 600 1 0 1222 19 14 1 18 0 9 0 2005415923 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19951 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=12
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 1170 15 14 1 25 0 9 0 2005415924 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4127231358 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 993 600 0 0 39 0 14 1 15 0 9 0 2005415927 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868256
[startup+25.5027 s]
/proc/loadavg: 2.11 2.03 2.01 3/89 4786
/proc/meminfo: memFree=1576328/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=25.24
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30017 600 1 0 2490 19 14 1 18 0 9 0 2005415923 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19951 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=24.68
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 2438 15 14 1 25 0 9 0 2005415924 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4127231331 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 993 600 0 0 39 0 14 1 17 0 9 0 2005415927 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868256
[startup+51.1024 s]
/proc/loadavg: 2.07 2.03 2.01 3/89 4786
/proc/meminfo: memFree=1576328/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=50.6
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30018 600 1 0 5026 19 14 1 18 0 9 0 2005415923 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19952 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=50.04
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 4974 15 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4127231358 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
################
# More data... #
################
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=397.95
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 39764 16 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4127196423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 868256
Solver just ended. Dumping a history of the last processes samples
[startup+403.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4786
/proc/meminfo: memFree=1575880/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=399.3
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30018 600 1 0 39895 20 14 1 18 0 9 0 2005415923 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19952 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=398.74
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 39843 16 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4127211943 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.3
Current children cumulated vsize (KiB) 868256
[startup+409.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4786
/proc/meminfo: memFree=1575880/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=405.64
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30018 600 1 0 40529 20 14 1 18 0 9 0 2005415923 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19952 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=405.08
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 40477 16 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4127205187 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 405.64
Current children cumulated vsize (KiB) 868256
[startup+411.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4786
/proc/meminfo: memFree=1575880/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=407.23
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30018 600 1 0 40688 20 14 1 18 0 9 0 2005415923 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19952 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=406.67
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 40636 16 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4127195543 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 868256
[startup+411.903 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4786
/proc/meminfo: memFree=1575880/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=408.02
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30018 600 1 0 40767 20 14 1 18 0 9 0 2005415923 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19952 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=407.46
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 40715 16 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4127238042 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 868256
[startup+412.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4786
/proc/meminfo: memFree=1575880/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=408.42
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30018 600 1 0 40807 20 14 1 18 0 9 0 2005415923 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19952 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=407.86
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22156 600 1 0 40755 16 14 1 25 0 9 0 2005415924 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4126799546 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.54
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 994 600 0 0 39 0 14 1 16 0 9 0 2005415927 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (KiB) 868256
[startup+412.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4786
/proc/meminfo: memFree=1575880/2055920 swapFree=4180448/4192956
[pid=4773] ppid=4771 vsize=868256 CPUtime=408.81
/proc/4773/stat : 4773 (java) S 4771 4773 4146 0 -1 0 30030 600 1 0 40846 20 14 1 18 0 9 0 2005415923 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4773/statm: 217064 19957 2638 9 0 211570 0
[pid=4773/tid=4775] ppid=4771 vsize=868256 CPUtime=408.24
/proc/4773/task/4775/stat : 4775 (java) R 4771 4773 4146 0 -1 64 22166 600 1 0 40793 16 14 1 25 0 9 0 2005415924 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4125978165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4776] ppid=4771 vsize=868256 CPUtime=0.28
/proc/4773/task/4776/stat : 4776 (java) S 4771 4773 4146 0 -1 64 6000 600 0 0 11 2 14 1 16 0 9 0 2005415925 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4777] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4777/stat : 4777 (java) S 4771 4773 4146 0 -1 64 17 600 0 0 0 0 14 1 17 0 9 0 2005415926 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4778] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4778/stat : 4778 (java) S 4771 4773 4146 0 -1 64 12 600 0 0 0 0 14 1 16 0 9 0 2005415926 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4779] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4779/stat : 4779 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 24 0 9 0 2005415927 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4780] ppid=4771 vsize=868256 CPUtime=0.55
/proc/4773/task/4780/stat : 4780 (java) S 4771 4773 4146 0 -1 64 996 600 0 0 40 0 14 1 16 0 9 0 2005415927 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4773/tid=4781] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4781/stat : 4781 (java) S 4771 4773 4146 0 -1 64 1 600 0 0 0 0 14 1 25 0 9 0 2005415928 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4773/tid=4782] ppid=4771 vsize=868256 CPUtime=0.15
/proc/4773/task/4782/stat : 4782 (java) S 4771 4773 4146 0 -1 64 30 600 0 0 0 0 14 1 15 0 9 0 2005415928 889094144 19957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 408.81
Current children cumulated vsize (KiB) 868256
Child status: 0
Real time (s): 412.748
CPU time (s): 408.848
CPU user time (s): 408.616
CPU system time (s): 0.231964
CPU usage (%): 99.055
Max. virtual memory (cumulated for all children) (KiB): 868256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.616
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30661
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10391
involuntary context switches= 11284
runsolver used 0.511922 second user time and 1.37579 second system time
The end
Begin job on node24 at 2008-07-05 15:26:54
IDJOB=1092206
IDBENCH=58602
IDSOLVER=363
FILE ID=node24/1092206-1215264414
PBS_JOBID= 7882154
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-12-22-11-6-5_glb.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092206-1215264414/watcher-1092206-1215264414 -o /tmp/evaluation-result-1092206-1215264414/solver-1092206-1215264414 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1092206-1215264414.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e4accb51123054f429a7a4651e18f2cf
RANDOM SEED=1060944759
node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1647080 kB
Buffers: 25268 kB
Cached: 211860 kB
SwapCached: 6856 kB
Active: 255448 kB
Inactive: 101212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647080 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 2364 kB
Writeback: 0 kB
Mapped: 135692 kB
Slab: 37180 kB
Committed_AS: 4404912 kB
PageTables: 2056 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66456 MiB
End job on node24 at 2008-07-05 15:33:46