0.00/0.09
0.00/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-1094451-1215251281.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.28/0.39 nbVariables=23 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=69
0.28/0.39 => wckTime=0.143 cpuTime=0.11 mem=7M919
0.28/0.39
0.28/0.39 relations being loaded...
2.66/2.77
2.66/2.77 INFO : Contraction of relations, mem = 106M832
16.68/16.83
16.68/16.83 constraints being loaded...
25.72/25.95 nbConstraints=16 nbRelationTypes=16 nbGlobalConstraints=16 nbExtensionStructures=16
25.72/25.95 nbSharedExtensionStructures=0 nbConflictsStructures=16 nbSharedConflictsStructures=0
25.72/25.95 nbSharedBinaryRepresentations=0 minDegree=7 maxDegree=14 minArity=15 maxArity=15 nbGenerators=0 nbFusions=0
25.72/25.95 symmetryWckTime=0.151 symmetryCpuTime=0.02
25.72/25.95 => wckTime=25.701 cpuTime=19.51 mem=661M253
30.40/30.69
30.40/30.69 solver IterativeSystematicSolver being built...
30.51/30.75
30.51/30.75 INFO : Forward propagation technique limited
30.61/30.82 => wckTime=30.576 cpuTime=19.66 mem=533M879
31.19/31.41
31.19/31.41 preprocessing
31.19/31.41 nbConstraintChecks=0 nbValidityChecks=2400000 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0
31.19/31.41 nbRemovedValues=0 detectedInconsistency=no
31.19/31.41 => wckTime=0.588 cpuTime=0.57 mem=533M879
33.04/33.39
33.04/33.39 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=534M810)
181.89/183.02
181.89/183.02 search
181.89/183.02 run=17 nbConstraintChecks=19851 nbValidityChecks=771465565 minDepth=0 maxDepth=11 nbPropagations=631313
181.89/183.02 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54803 nbFailedAssignments=25018 nbBacktracks=29651
181.89/183.02 nbVisitedNodes=98898 nbRestartNogoods=100 nbSEliminables=0 nbREliminables=14.03 nbIEliminables=0.03
181.89/183.02 nbDEliminables=0 nbPEliminables=0
181.89/183.02 => wckTime=152.192 cpuTime=151.18 mem=536M539
181.89/183.02
181.89/183.02 global
181.89/183.02 nbConstraintChecks=19851 nbValidityChecks=773865565 nbPropagations=631336 nbRestartNogoods=100
181.89/183.02 solvingWckTime=152.196 solvingCpuTime=151.18 expiredTime=no totalExploration=yes nbFoundSolutions=0
181.89/183.02 globalCpuTime=170.9
181.89/183.02 => wckTime=182.773 cpuTime=170.84 mem=536M539
181.89/183.02
181.89/183.02 s UNSATISFIABLE
181.89/183.02 d NODES 54803
181.89/183.02 d CHECKS 19851
181.89/183.02
181.89/183.02 totalWckTime=182.831 totalCpuTime=170.91
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094451-1215251281/watcher-1094451-1215251281 -o /tmp/evaluation-result-1094451-1215251281/solver-1094451-1215251281 -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-1094451-1215251281.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.73 2.20 2.06 3/81 15847
/proc/meminfo: memFree=1574800/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=18572 CPUtime=0
/proc/15847/stat : 15847 (runsolver) R 15845 15847 14680 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 152516389 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 217871609127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15847/statm: 4643 292 257 25 0 2626 0
[startup+0.0141339 s]
/proc/loadavg: 2.73 2.20 2.06 3/81 15847
/proc/meminfo: memFree=1574800/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=1616 CPUtime=0
/proc/15847/stat : 15847 (java) D 15845 15847 14680 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 152516389 1654784 126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/15847/statm: 404 151 125 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616
[startup+0.101948 s]
/proc/loadavg: 2.73 2.20 2.06 3/81 15847
/proc/meminfo: memFree=1574800/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=865884 CPUtime=0.08
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 3681 0 1 0 6 2 0 0 18 0 9 0 152516389 886665216 3156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216471 3156 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301976 s]
/proc/loadavg: 2.73 2.20 2.06 3/81 15847
/proc/meminfo: memFree=1574800/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866196 CPUtime=0.28
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 5605 0 1 0 24 4 0 0 18 0 9 0 152516389 886984704 5019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216549 5019 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.702027 s]
/proc/loadavg: 2.73 2.20 2.06 3/81 15847
/proc/meminfo: memFree=1574800/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866408 CPUtime=0.68
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 17851 0 1 0 56 12 0 0 18 0 9 0 152516389 887201792 17220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216602 17220 1971 9 0 211130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408
[startup+1.50213 s]
/proc/loadavg: 2.73 2.20 2.06 3/90 15856
/proc/meminfo: memFree=1504712/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866560 CPUtime=1.47
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 28653 0 1 0 128 19 0 0 18 0 9 0 152516389 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216640 28019 1983 9 0 211168 0
[pid=15847/tid=15849] ppid=15845 vsize=866560 CPUtime=1.25
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 15667 0 1 0 115 10 0 0 25 0 9 0 152516391 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15850] ppid=15845 vsize=866560 CPUtime=0.12
/proc/15847/task/15850/stat : 15850 (java) R 15845 15847 14680 0 -1 64 11962 0 0 0 5 7 0 0 16 0 9 0 152516393 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 102514349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 152516393 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 152516393 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 152516395 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=866560 CPUtime=0.06
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 328 0 0 0 6 0 0 0 16 0 9 0 152516395 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15855] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 152516395 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 152516395 887357440 28019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866560
[startup+3.10231 s]
/proc/loadavg: 2.73 2.20 2.06 3/90 15856
/proc/meminfo: memFree=1449608/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866560 CPUtime=3.07
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 37413 0 1 0 281 26 0 0 18 0 9 0 152516389 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216640 36774 1984 9 0 211168 0
[pid=15847/tid=15849] ppid=15845 vsize=866560 CPUtime=2.68
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 15677 0 1 0 256 12 0 0 25 0 9 0 152516391 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15850] ppid=15845 vsize=866560 CPUtime=0.29
/proc/15847/task/15850/stat : 15850 (java) R 15845 15847 14680 0 -1 64 20706 0 0 0 17 12 0 0 16 0 9 0 152516393 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 102514349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 152516393 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 152516393 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 152516395 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=866560 CPUtime=0.07
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 334 0 0 0 7 0 0 0 16 0 9 0 152516395 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15855] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 152516395 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=866560 CPUtime=0
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 152516395 887357440 36774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866560
[startup+6.30168 s]
/proc/loadavg: 2.75 2.21 2.07 3/90 15856
/proc/meminfo: memFree=1370248/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866736 CPUtime=6.25
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 63414 0 1 0 583 42 0 0 18 0 9 0 152516389 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216684 60578 2606 9 0 211212 0
[pid=15847/tid=15849] ppid=15845 vsize=866736 CPUtime=4.39
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 15689 0 1 0 426 13 0 0 25 0 9 0 152516391 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4126568805 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15850] ppid=15845 vsize=866736 CPUtime=1.75
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 46622 0 0 0 148 27 0 0 17 0 9 0 152516393 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=866736 CPUtime=0
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 152516393 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=866736 CPUtime=0
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 152516393 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=866736 CPUtime=0
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 152516395 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=866736 CPUtime=0.08
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 407 0 0 0 8 0 0 0 16 0 9 0 152516395 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15855] ppid=15845 vsize=866736 CPUtime=0
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 152516395 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=866736 CPUtime=0
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 152516395 887537664 60578 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 866736
[startup+12.7024 s]
/proc/loadavg: 2.69 2.21 2.07 3/90 15856
/proc/meminfo: memFree=1185224/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866640 CPUtime=12.61
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 104003 0 1 0 1196 65 0 0 18 0 9 0 152516389 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216660 101132 2606 9 0 211188 0
[pid=15847/tid=15849] ppid=15845 vsize=866640 CPUtime=9.12
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 15700 0 1 0 896 16 0 0 25 0 9 0 152516391 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4126556726 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15850] ppid=15845 vsize=866640 CPUtime=3.37
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 87199 0 0 0 290 47 0 0 16 0 9 0 152516393 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 152516393 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 152516393 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 152516395 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=866640 CPUtime=0.09
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 408 0 0 0 9 0 0 0 17 0 9 0 152516395 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15855] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 152516395 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 152516395 887439360 101132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 866640
[startup+25.5019 s]
/proc/loadavg: 2.76 2.25 2.08 3/90 15856
/proc/meminfo: memFree=894216/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=866640 CPUtime=25.33
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 173778 0 1 0 2426 107 0 0 18 0 9 0 152516389 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216660 170882 2609 9 0 211188 0
[pid=15847/tid=15849] ppid=15845 vsize=866640 CPUtime=19.57
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 15750 0 1 0 1939 18 0 0 25 0 9 0 152516391 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4126611625 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15850] ppid=15845 vsize=866640 CPUtime=5.61
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 156899 0 0 0 474 87 0 0 16 0 9 0 152516393 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 152516393 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 152516393 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 152516395 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=866640 CPUtime=0.13
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 433 0 0 0 13 0 0 0 17 0 9 0 152516395 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15855] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 152516395 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=866640 CPUtime=0
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 152516395 887439360 170882 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 866640
[startup+51.1019 s]
/proc/loadavg: 2.50 2.23 2.08 3/90 15860
/proc/meminfo: memFree=863752/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=50.75
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 343745 270 1 0 4921 148 0 6 18 0 9 0 152516389 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178480 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=39.94
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21136 270 1 0 3968 20 0 6 25 0 9 0 152516391 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4126847700 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 590 270 0 0 25 1 0 6 17 0 9 0 152516395 887894016 178480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
################
# More data... #
################
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.3
Current children cumulated vsize (KiB) 867084
Solver just ended. Dumping a history of the last processes samples
[startup+166.302 s]
/proc/loadavg: 2.07 2.15 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=165.29
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 344000 270 1 0 16375 148 0 6 18 0 9 0 152516389 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178481 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=154.49
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21390 270 1 0 15422 21 0 6 25 0 9 0 152516391 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4126915633 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.29
Current children cumulated vsize (KiB) 867084
[startup+172.707 s]
/proc/loadavg: 2.06 2.15 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=171.65
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 344013 270 1 0 17011 148 0 6 18 0 9 0 152516389 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178481 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=160.85
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21403 270 1 0 16058 21 0 6 25 0 9 0 152516391 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4126831115 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.65
Current children cumulated vsize (KiB) 867084
[startup+179.102 s]
/proc/loadavg: 2.06 2.14 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=178.01
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 344028 270 1 0 17647 148 0 6 18 0 9 0 152516389 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178481 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=167.21
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21418 270 1 0 16694 21 0 6 25 0 9 0 152516391 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4126831428 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 178.01
Current children cumulated vsize (KiB) 867084
[startup+180.702 s]
/proc/loadavg: 2.05 2.14 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=179.6
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 344031 270 1 0 17806 148 0 6 18 0 9 0 152516389 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178481 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=168.81
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21421 270 1 0 16854 21 0 6 25 0 9 0 152516391 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4126831157 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 179.6
Current children cumulated vsize (KiB) 867084
[startup+182.302 s]
/proc/loadavg: 2.05 2.14 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=181.19
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 344035 270 1 0 17965 148 0 6 18 0 9 0 152516389 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178481 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=170.4
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21425 270 1 0 17013 21 0 6 25 0 9 0 152516391 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4126831237 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 181.19
Current children cumulated vsize (KiB) 867084
[startup+182.702 s]
/proc/loadavg: 2.05 2.14 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=867084 CPUtime=181.59
/proc/15847/stat : 15847 (java) S 15845 15847 14680 0 -1 0 344036 270 1 0 18005 148 0 6 18 0 9 0 152516389 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15847/statm: 216771 178481 2635 9 0 211277 0
[pid=15847/tid=15849] ppid=15845 vsize=867084 CPUtime=170.8
/proc/15847/task/15849/stat : 15849 (java) R 15845 15847 14680 0 -1 64 21426 270 1 0 17053 21 0 6 25 0 9 0 152516391 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4126831157 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15850] ppid=15845 vsize=867084 CPUtime=10.51
/proc/15847/task/15850/stat : 15850 (java) S 15845 15847 14680 0 -1 64 321146 270 0 0 926 119 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15851] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15851/stat : 15851 (java) S 15845 15847 14680 0 -1 64 18 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15852] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15852/stat : 15852 (java) S 15845 15847 14680 0 -1 64 15 270 0 0 0 0 0 6 16 0 9 0 152516393 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15853] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15853/stat : 15853 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 18 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15854] ppid=15845 vsize=867084 CPUtime=0.32
/proc/15847/task/15854/stat : 15854 (java) S 15845 15847 14680 0 -1 64 591 270 0 0 25 1 0 6 16 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15847/tid=15855] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15855/stat : 15855 (java) S 15845 15847 14680 0 -1 64 1 270 0 0 0 0 0 6 19 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15847/tid=15856] ppid=15845 vsize=867084 CPUtime=0.06
/proc/15847/task/15856/stat : 15856 (java) S 15845 15847 14680 0 -1 64 28 270 0 0 0 0 0 6 15 0 9 0 152516395 887894016 178481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 181.59
Current children cumulated vsize (KiB) 867084
[startup+183.102 s]
/proc/loadavg: 2.05 2.14 2.07 3/90 15860
/proc/meminfo: memFree=862152/2055920 swapFree=4192812/4192956
[pid=15847] ppid=15845 vsize=0 CPUtime=181.97
/proc/15847/stat : 15847 (java) Z 15845 15847 14680 0 -1 12 344157 270 1 0 18038 153 0 6 16 0 2 0 152516389 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15847/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.97
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 183.158
CPU time (s): 182.033
CPU user time (s): 180.384
CPU system time (s): 1.64975
CPU usage (%): 99.3859
Max. virtual memory (cumulated for all children) (KiB): 884312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.384
system time used= 1.64975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344427
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= 5069
involuntary context switches= 7207
runsolver used 0.281957 second user time and 0.999848 second system time
The end
Begin job on node28 at 2008-07-05 11:48:11
IDJOB=1094451
IDBENCH=58801
IDSOLVER=363
FILE ID=node28/1094451-1215251281
PBS_JOBID= 7882008
Free space on /tmp= 66432 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-9.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-1094451-1215251281/watcher-1094451-1215251281 -o /tmp/evaluation-result-1094451-1215251281/solver-1094451-1215251281 -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-1094451-1215251281.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 12b3271557cf33c0f0eb575756b1928b
RANDOM SEED=1848162487
node28.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.231
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.231
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: 1573744 kB
Buffers: 17224 kB
Cached: 242808 kB
SwapCached: 0 kB
Active: 366420 kB
Inactive: 64436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1573744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 72332 kB
Writeback: 32 kB
Mapped: 190988 kB
Slab: 35908 kB
Committed_AS: 1095260 kB
PageTables: 2184 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66428 MiB
End job on node28 at 2008-07-05 11:51:34