0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1044259-1215022773.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.38/0.46 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3953
0.38/0.46 => wckTime=0.217 cpuTime=0.17 mem=8M894
0.38/0.46
0.38/0.46 relations being loaded...
0.38/0.47
0.38/0.47 constraints being loaded...
1.15/1.23 nbConstraints=5561 nbRelationTypes=21 nbGlobalConstraints=21 nbSingletonDomainVariables=213
1.15/1.23 nbExtensionStructures=41 nbSharedExtensionStructures=5499 nbConflictsStructures=41
1.15/1.23 nbSharedConflictsStructures=5499 nbSharedBinaryRepresentations=858 minDegree=18 maxDegree=39 minArity=2
1.15/1.23 avgArity=2.03 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.29 symmetryCpuTime=0.15 nbCliques=21
1.15/1.23 => wckTime=0.987 cpuTime=0.63 mem=42M125
1.24/1.36
1.24/1.37 solver IterativeSystematicSolver being built...
1.35/1.44
1.35/1.45 INFO : Forward propagation technique limited
1.44/1.52 => wckTime=1.278 cpuTime=0.78 mem=26M466
1.44/1.58
1.44/1.58 preprocessing
1.44/1.58 nbConstraintChecks=45204 nbPropagations=400 nbRevisions=4012 nbUselessRevisions=1085 nbRemovedValues=2927
1.44/1.58 detectedInconsistency=no
1.44/1.58 => wckTime=0.05 cpuTime=0.04 mem=26M466
1.85/1.97
1.85/1.97 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M384)
771.48/778.83
771.48/778.83 search
771.48/778.83 run=24 nbConstraintChecks=643100245 minDepth=24 maxDepth=400 nbPropagations=70215430 nbRevisions=1301926722
771.48/778.83 nbUselessRevisions=1186118376 nbAssignments=2667107 nbFailedAssignments=443815 nbBacktracks=2220288
771.48/778.83 nbVisitedNodes=3550685 nbRestartNogoods=202 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=213
771.48/778.83 nbIEliminables=173.03 nbDEliminables=0 nbPEliminables=0
771.48/778.83 => wckTime=777.306 cpuTime=769.8 mem=59M292
771.48/778.84
771.48/778.84 global
771.48/778.84 nbConstraintChecks=643145449 nbPropagations=70215830 nbRevisions=1301930734 nbUselessRevisions=1186119461
771.48/778.84 nbRestartNogoods=202 solvingWckTime=777.308 solvingCpuTime=769.8 expiredTime=no totalExploration=no
771.48/778.84 nbFoundSolutions=1 firstSolutionCpuTime=770.57 globalCpuTime=770.64
771.48/778.84 => wckTime=778.59 cpuTime=770.58 mem=59M292
771.48/778.84
771.48/778.84 s SATISFIABLE
771.48/778.84 v 19 3 4 6 18 13 12 0 16 17 5 2 1 9 15 11 7 8 14 10 5 16 0 8 9 4 2 7 13 1 3 15 10 12 19 18 11 6 17 14 10 9 15 17 1 7 19 6 18 8 12 11 3 13 16 5 14 4 0 2 2 1 17 19 10 9 16 5 4 11 18 14 12 6 8 3 0 13 15 7 0 6 2 16 13 8 10 9 12 5 11 17 14 15 4 1 19 7 3 18 9 2 7 15 17 12 8 19 5 6 14 18 11 1 10 4 3 16 13 0 11 18 1 5 16 0 15 10 8 4 9 13 6 17 7 14 2 12 19 3 3 8 12 1 2 16 13 11 10 9 7 6 4 19 14 0 15 17 18 5 4 14 19 13 7 6 18 3 17 12 1 10 0 11 2 8 16 5 9 15 6 0 11 18 3 19 4 15 14 2 8 16 9 5 12 7 13 1 10 17 18 17 13 14 19 2 11 1 9 7 10 12 16 8 3 15 4 0 5 6 7 5 18 10 0 17 1 2 15 14 16 9 19 4 13 12 6 3 11 8 1 7 16 4 6 10 0 8 11 13 17 3 15 14 5 19 9 18 2 12 14 4 5 2 11 15 7 18 6 3 13 1 17 10 0 9 12 19 8 16 8 12 9 7 14 3 6 13 19 15 0 4 5 16 17 2 18 10 1 11 15 11 14 0 5 1 17 4 3 16 19 8 18 7 9 6 10 2 12 13 16 10 3 12 8 11 14 17 2 18 4 19 7 0 1 13 5 15 6 9 12 15 10 9 4 5 3 14 0 19 6 7 13 2 18 17 8 11 16 1 13 19 8 11 12 18 9 16 1 0 15 5 2 3 6 10 17 14 7 4 17 13 6 3 15 14 5 12 7 10 2 0 8 18 11 16 1 9 4 19
771.48/778.84 d NODES 2667107
771.48/778.84 d CHECKS 643145449
771.48/778.84
771.48/778.84 totalWckTime=778.651 totalCpuTime=770.65
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044259-1215022773/watcher-1044259-1215022773 -o /tmp/evaluation-result-1044259-1215022773/solver-1044259-1215022773 -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-1044259-1215022773.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 1.91 3/72 21672
/proc/meminfo: memFree=1710144/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=18572 CPUtime=0
/proc/21672/stat : 21672 (runsolver) R 21670 21672 21091 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1981247039 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 227607637287 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21672/statm: 4643 292 257 25 0 2626 0
[startup+0.0895279 s]
/proc/loadavg: 2.00 2.00 1.91 3/72 21672
/proc/meminfo: memFree=1710144/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=865856 CPUtime=0.07
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 3543 0 1 0 5 2 0 0 18 0 9 0 1981247039 886636544 3033 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216464 3033 1631 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.102521 s]
/proc/loadavg: 2.00 2.00 1.91 3/72 21672
/proc/meminfo: memFree=1710144/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=865884 CPUtime=0.08
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 3677 0 1 0 6 2 0 0 18 0 9 0 1981247039 886665216 3152 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216471 3152 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.30255 s]
/proc/loadavg: 2.00 2.00 1.91 3/72 21672
/proc/meminfo: memFree=1710144/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=866196 CPUtime=0.28
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 5615 0 1 0 24 4 0 0 18 0 9 0 1981247039 886984704 5029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216549 5029 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701595 s]
/proc/loadavg: 2.00 2.00 1.91 3/72 21672
/proc/meminfo: memFree=1710144/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867444 CPUtime=0.67
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 8055 0 1 0 62 5 0 0 18 0 9 0 1981247039 888262656 7425 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216861 7425 1974 9 0 211389 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867444
[startup+1.50169 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21681
/proc/meminfo: memFree=1664952/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867856 CPUtime=1.44
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 25850 467 1 0 125 13 6 0 18 0 10 0 1981247039 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216964 16633 2632 9 0 211470 0
[pid=21672/tid=21674] ppid=21670 vsize=867856 CPUtime=1.04
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 19561 467 1 0 89 9 6 0 16 0 10 0 1981247040 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4126420389 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867856 CPUtime=0.17
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 4600 467 0 0 10 1 6 0 16 0 10 0 1981247042 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867856 CPUtime=0.06
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 467 0 0 0 0 6 0 16 0 10 0 1981247042 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867856 CPUtime=0.06
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 8 467 0 0 0 0 6 0 16 0 10 0 1981247042 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867856 CPUtime=0.06
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 467 0 0 0 0 6 0 18 0 10 0 1981247044 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867856 CPUtime=0.32
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 857 467 0 0 25 1 6 0 15 0 10 0 1981247044 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867856 CPUtime=0.06
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 467 0 0 0 0 6 0 19 0 10 0 1981247044 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867856 CPUtime=0.06
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 9 467 0 0 0 0 6 0 15 0 10 0 1981247044 888684544 16633 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 867856
[startup+3.10188 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1653176/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867988 CPUtime=3.04
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 26277 590 1 0 283 14 6 1 18 0 9 0 1981247039 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216997 16709 2633 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867988 CPUtime=2.54
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 19927 590 1 0 237 10 6 1 25 0 9 0 1981247040 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4127090183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867988 CPUtime=0.18
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 4601 590 0 0 10 1 6 1 17 0 9 0 1981247042 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 8 590 0 0 0 0 6 1 16 0 9 0 1981247042 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867988 CPUtime=0.42
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 914 590 0 0 34 1 6 1 15 0 9 0 1981247044 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 15 0 9 0 1981247044 888819712 16709 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867988
[startup+6.30226 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1653112/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867988 CPUtime=6.21
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 27315 590 1 0 599 15 6 1 18 0 9 0 1981247039 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216997 16711 2633 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867988 CPUtime=5.7
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 20938 590 1 0 553 10 6 1 25 0 9 0 1981247040 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4126519903 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867988 CPUtime=0.18
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 4601 590 0 0 10 1 6 1 16 0 9 0 1981247042 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 8 590 0 0 0 0 6 1 16 0 9 0 1981247042 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867988 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 917 590 0 0 35 1 6 1 17 0 9 0 1981247044 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867988 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888819712 16711 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867988
[startup+12.702 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1644536/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=12.55
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 31764 590 1 0 1231 17 6 1 18 0 9 0 1981247039 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 20016 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=12.03
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24300 590 1 0 1184 12 6 1 25 0 9 0 1981247040 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4127089717 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.2
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 5685 590 0 0 11 2 6 1 17 0 9 0 1981247042 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 919 590 0 0 35 1 6 1 17 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867900
[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1639928/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=25.23
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 31767 590 1 0 2499 17 6 1 18 0 9 0 1981247039 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 20016 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=24.7
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24303 590 1 0 2451 12 6 1 25 0 9 0 1981247040 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4127089834 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.2
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 5685 590 0 0 11 2 6 1 16 0 9 0 1981247042 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 20016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867900
[startup+51.1025 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1635704/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=50.59
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32853 590 1 0 5034 18 6 1 18 0 9 0 1981247039 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21097 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=50.05
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24306 590 1 0 4986 12 6 1 25 0 9 0 1981247040 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4126375725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.21
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6768 590 0 0 12 2 6 1 16 0 9 0 1981247042 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21097 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
################
# More data... #
################
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.7
Current children cumulated vsize (KiB) 867900
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=755.13
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32904 590 1 0 75487 19 6 1 18 0 9 0 1981247039 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21108 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=754.5
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24346 590 1 0 75430 13 6 1 25 0 9 0 1981247040 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4127089717 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.3
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6778 590 0 0 21 2 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 755.13
Current children cumulated vsize (KiB) 867900
Solver just ended. Dumping a history of the last processes samples
[startup+767.902 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=760.68
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32904 590 1 0 76042 19 6 1 18 0 9 0 1981247039 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21108 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=760.04
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24346 590 1 0 75984 13 6 1 25 0 9 0 1981247040 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4126095728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.3
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6778 590 0 0 21 2 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.68
Current children cumulated vsize (KiB) 867900
[startup+774.303 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=767.02
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32904 590 1 0 76676 19 6 1 18 0 9 0 1981247039 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21108 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=766.39
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24346 590 1 0 76619 13 6 1 25 0 9 0 1981247040 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4126969592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.3
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6778 590 0 0 21 2 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 767.02
Current children cumulated vsize (KiB) 867900
[startup+777.502 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=770.19
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32904 590 1 0 76993 19 6 1 18 0 9 0 1981247039 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21108 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=769.56
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24346 590 1 0 76936 13 6 1 25 0 9 0 1981247040 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4125952048 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.3
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6778 590 0 0 21 2 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 770.19
Current children cumulated vsize (KiB) 867900
[startup+778.302 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=770.98
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32904 590 1 0 77072 19 6 1 18 0 9 0 1981247039 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21108 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=770.35
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24346 590 1 0 77015 13 6 1 25 0 9 0 1981247040 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4126971891 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.3
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6778 590 0 0 21 2 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 770.98
Current children cumulated vsize (KiB) 867900
[startup+778.702 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=867900 CPUtime=771.38
/proc/21672/stat : 21672 (java) S 21670 21672 21091 0 -1 0 32904 590 1 0 77112 19 6 1 18 0 9 0 1981247039 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 216975 21108 2615 9 0 211503 0
[pid=21672/tid=21674] ppid=21670 vsize=867900 CPUtime=770.75
/proc/21672/task/21674/stat : 21674 (java) R 21670 21672 21091 0 -1 64 24346 590 1 0 77055 13 6 1 25 0 9 0 1981247040 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4126375703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21675] ppid=21670 vsize=867900 CPUtime=0.3
/proc/21672/task/21675/stat : 21675 (java) S 21670 21672 21091 0 -1 64 6778 590 0 0 21 2 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21676] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21676/stat : 21676 (java) S 21670 21672 21091 0 -1 64 14 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21677] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21677/stat : 21677 (java) S 21670 21672 21091 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981247042 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21678] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21678/stat : 21678 (java) S 21670 21672 21091 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21679] ppid=21670 vsize=867900 CPUtime=0.43
/proc/21672/task/21679/stat : 21679 (java) S 21670 21672 21091 0 -1 64 920 590 0 0 35 1 6 1 16 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21680] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21680/stat : 21680 (java) S 21670 21672 21091 0 -1 64 2 590 0 0 0 0 6 1 19 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21672/tid=21681] ppid=21670 vsize=867900 CPUtime=0.07
/proc/21672/task/21681/stat : 21681 (java) S 21670 21672 21091 0 -1 64 33 590 0 0 0 0 6 1 15 0 9 0 1981247044 888729600 21108 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 771.38
Current children cumulated vsize (KiB) 867900
[startup+778.903 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 21685
/proc/meminfo: memFree=1635192/2055920 swapFree=4179760/4192956
[pid=21672] ppid=21670 vsize=0 CPUtime=771.52
/proc/21672/stat : 21672 (java) Z 21670 21672 21091 0 -1 12 32939 590 1 0 77125 20 6 1 16 0 2 0 1981247039 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21672/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 771.52
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 778.91
CPU time (s): 771.553
CPU user time (s): 771.33
CPU system time (s): 0.222966
CPU usage (%): 99.0554
Max. virtual memory (cumulated for all children) (KiB): 867988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 771.33
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33529
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= 17285
involuntary context switches= 33434
runsolver used 1.13983 second user time and 2.41763 second system time
The end
Begin job on node66 at 2008-07-02 20:19:33
IDJOB=1044259
IDBENCH=53527
IDSOLVER=363
FILE ID=node66/1044259-1215022773
PBS_JOBID= 7874337
Free space on /tmp= 66528 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-9_ext.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-1044259-1215022773/watcher-1044259-1215022773 -o /tmp/evaluation-result-1044259-1215022773/solver-1044259-1215022773 -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-1044259-1215022773.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e4f8b42ca6d148c9b16fcc1baf7ad15d
RANDOM SEED=1087656119
node66.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.213
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.213
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: 1710624 kB
Buffers: 47272 kB
Cached: 213012 kB
SwapCached: 7024 kB
Active: 175668 kB
Inactive: 100628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710624 kB
SwapTotal: 4192956 kB
SwapFree: 4179760 kB
Dirty: 2416 kB
Writeback: 0 kB
Mapped: 23648 kB
Slab: 54256 kB
Committed_AS: 4031060 kB
PageTables: 1824 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= 66524 MiB
End job on node66 at 2008-07-02 20:32:32