0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1101781-1215294343.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.28/0.37 => wckTime=0.11 cpuTime=0.09 mem=7M919
0.28/0.37
0.28/0.37 relations being loaded...
0.38/0.49
0.38/0.49 constraints being loaded...
0.58/0.69 nbConstraints=340 nbRelationTypes=340 nbExtensionStructures=340 nbSharedExtensionStructures=0
0.58/0.69 nbConflictsStructures=340 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2987 minDegree=11
0.58/0.69 maxDegree=23 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.06 symmetryCpuTime=0.03
0.58/0.69 => wckTime=0.433 cpuTime=0.29 mem=18M761
0.67/0.76
0.67/0.76 solver IterativeSystematicSolver being built...
0.87/0.91 => wckTime=0.645 cpuTime=0.41 mem=21M204
0.87/0.97
0.87/0.97 preprocessing
0.87/0.97 nbConstraintChecks=69469 nbPropagations=933 nbRevisions=7212 nbUselessRevisions=6048 nbSingletonTests=52
0.87/0.97 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.87/0.97 => wckTime=0.059 cpuTime=0.04 mem=21M204
0.96/1.09
0.96/1.09 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M212)
124.01/125.17
124.01/125.17 search
124.01/125.17 run=22 nbConstraintChecks=684079072 minDepth=0 maxDepth=40 nbPropagations=29262890 nbRevisions=410452249
124.01/125.17 nbUselessRevisions=331164534 nbAssignments=468122 nbFailedAssignments=192292 nbInferredBacktracks=1
124.01/125.17 nbBacktracks=275605 nbVisitedNodes=821320 nbRestartNogoods=219 nbFoundSolutions=1 nbSEliminables=8.38
124.01/125.17 nbREliminables=1.47 nbIEliminables=0.11 nbDEliminables=0 nbPEliminables=0
124.01/125.17 => wckTime=124.259 cpuTime=123.11 mem=22M212
124.01/125.17
124.01/125.17 global
124.01/125.17 nbConstraintChecks=684148541 nbPropagations=29263823 nbRevisions=410459461 nbUselessRevisions=331170582
124.01/125.17 nbRestartNogoods=219 solvingWckTime=124.262 solvingCpuTime=123.11 expiredTime=no totalExploration=no
124.01/125.17 nbFoundSolutions=1 firstSolutionCpuTime=123.52 globalCpuTime=123.57
124.01/125.17 => wckTime=124.91 cpuTime=123.52 mem=22M212
124.01/125.17
124.01/125.17 s SATISFIABLE
124.01/125.17 v 7 8 15 17 11 5 1 2 7 18 10 6 3 18 17 2 4 7 4 8 13 18 16 14 15 11 10 17 0 8 4 4 17 0 10 11 12 4 3 8
124.01/125.17 d NODES 468122
124.01/125.17 d CHECKS 684148541
124.01/125.17
124.01/125.17 totalWckTime=124.982 totalCpuTime=123.58
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101781-1215294343/watcher-1101781-1215294343 -o /tmp/evaluation-result-1101781-1215294343/solver-1101781-1215294343 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1101781-1215294343.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.11 2.03 2.01 3/73 5218
/proc/meminfo: memFree=1681856/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=10616 CPUtime=0
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2008406560 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 2654 472 209 9 0 1184 0
[pid=5218/tid=5219] ppid=5216 vsize=10616 CPUtime=0
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2008406562 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 5156824 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0305581 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 5218
/proc/meminfo: memFree=1681856/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=861876 CPUtime=0.01
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 1879 0 1 0 0 1 0 0 18 0 5 0 2008406560 882561024 1566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 215469 1566 695 9 0 210448 0
[pid=5218/tid=5219] ppid=5216 vsize=861876 CPUtime=0
/proc/5218/task/5219/stat : 5219 (java) S 5216 5218 4835 0 -1 64 1190 0 1 0 0 0 0 0 19 0 5 0 2008406562 882561024 1566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876
[startup+0.101616 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 5218
/proc/meminfo: memFree=1681856/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=865884 CPUtime=0.08
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 3720 0 1 0 6 2 0 0 18 0 9 0 2008406560 886665216 3184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216471 3184 1688 9 0 211026 0
[pid=5218/tid=5219] ppid=5216 vsize=865884 CPUtime=0.06
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 2810 0 1 0 5 1 0 0 18 0 9 0 2008406562 886665216 3184 996147200 134512640 134550740 4294955968 18446744073709551615 104284409 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301641 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 5218
/proc/meminfo: memFree=1681856/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=866284 CPUtime=0.28
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 5783 0 1 0 24 4 0 0 18 0 9 0 2008406560 887074816 5157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216571 5157 1951 9 0 211099 0
[pid=5218/tid=5219] ppid=5216 vsize=866284 CPUtime=0.22
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 4808 0 1 0 19 3 0 0 19 0 9 0 2008406562 887074816 5157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701704 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 5218
/proc/meminfo: memFree=1681856/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867652 CPUtime=0.67
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 10407 288 1 0 60 7 0 0 18 0 9 0 2008406560 888475648 8497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216913 8497 2016 9 0 211441 0
[pid=5218/tid=5219] ppid=5216 vsize=867652 CPUtime=0.49
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 8808 288 1 0 44 5 0 0 21 0 9 0 2008406562 888475648 8497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867652
[startup+1.50282 s]
/proc/loadavg: 2.11 2.03 2.01 3/82 5231
/proc/meminfo: memFree=1649400/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=1.46
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17038 288 1 0 136 10 0 0 18 0 9 0 2008406560 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10712 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=1.12
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11877 288 1 0 105 7 0 0 25 0 9 0 2008406562 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4126860040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.25
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 712 288 0 0 25 0 0 0 15 0 9 0 2008406566 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 5 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867864
[startup+3.10205 s]
/proc/loadavg: 2.11 2.03 2.01 3/82 5231
/proc/meminfo: memFree=1649016/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=3.05
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17052 288 1 0 295 10 0 0 18 0 9 0 2008406560 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10724 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=2.7
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11882 288 1 0 263 7 0 0 25 0 9 0 2008406562 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4126095719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 17 0 9 0 2008406563 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 5 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867864
[startup+6.30152 s]
/proc/loadavg: 2.10 2.03 2.00 3/82 5231
/proc/meminfo: memFree=1648824/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=6.22
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17068 288 1 0 612 10 0 0 18 0 9 0 2008406560 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10725 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=5.87
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11884 288 1 0 580 7 0 0 25 0 9 0 2008406562 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4126457513 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867864
[startup+12.7025 s]
/proc/loadavg: 2.10 2.03 2.00 3/82 5231
/proc/meminfo: memFree=1648696/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=12.57
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17070 288 1 0 1247 10 0 0 18 0 9 0 2008406560 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10727 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=12.21
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11886 288 1 0 1214 7 0 0 25 0 9 0 2008406562 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4126874297 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867864
[startup+25.5014 s]
/proc/loadavg: 2.07 2.03 2.00 3/82 5231
/proc/meminfo: memFree=1648760/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=25.25
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17073 288 1 0 2515 10 0 0 18 0 9 0 2008406560 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10729 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=24.9
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11889 288 1 0 2483 7 0 0 25 0 9 0 2008406562 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4126864499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867864
[startup+51.1011 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1648824/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=50.64
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17074 288 1 0 5054 10 0 0 18 0 9 0 2008406560 888692736 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10730 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=50.28
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11890 288 1 0 5021 7 0 0 25 0 9 0 2008406562 888692736 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4126864480 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
################
# More data... #
################
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 867864
Solver just ended. Dumping a history of the last processes samples
[startup+115.103 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1648184/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=114.09
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17076 288 1 0 11399 10 0 0 18 0 9 0 2008406560 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10732 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=113.74
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11892 288 1 0 11367 7 0 0 25 0 9 0 2008406562 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4126873059 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 114.09
Current children cumulated vsize (KiB) 867864
[startup+121.502 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1647096/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=120.44
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17076 288 1 0 12034 10 0 0 18 0 9 0 2008406560 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10732 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=120.08
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11892 288 1 0 12001 7 0 0 25 0 9 0 2008406562 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4126861975 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.44
Current children cumulated vsize (KiB) 867864
[startup+123.102 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1646712/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=122.02
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17076 288 1 0 12192 10 0 0 18 0 9 0 2008406560 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10732 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=121.67
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11892 288 1 0 12160 7 0 0 25 0 9 0 2008406562 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4126870912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 122.02
Current children cumulated vsize (KiB) 867864
[startup+123.903 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1646712/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=122.82
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17076 288 1 0 12272 10 0 0 18 0 9 0 2008406560 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10732 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=122.46
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11892 288 1 0 12239 7 0 0 25 0 9 0 2008406562 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4126860223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 122.82
Current children cumulated vsize (KiB) 867864
[startup+124.703 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1646456/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=123.61
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17076 288 1 0 12351 10 0 0 18 0 9 0 2008406560 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10732 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=123.25
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11892 288 1 0 12318 7 0 0 25 0 9 0 2008406562 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4126864469 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.61
Current children cumulated vsize (KiB) 867864
[startup+125.102 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1646456/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=867864 CPUtime=124.01
/proc/5218/stat : 5218 (java) S 5216 5218 4835 0 -1 0 17076 288 1 0 12391 10 0 0 18 0 9 0 2008406560 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 216966 10732 2633 9 0 211472 0
[pid=5218/tid=5219] ppid=5216 vsize=867864 CPUtime=123.65
/proc/5218/task/5219/stat : 5219 (java) R 5216 5218 4835 0 -1 64 11892 288 1 0 12358 7 0 0 25 0 9 0 2008406562 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4126864488 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5221] ppid=5216 vsize=867864 CPUtime=0.04
/proc/5218/task/5221/stat : 5221 (java) S 5216 5218 4835 0 -1 64 3608 288 0 0 4 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5222] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5222/stat : 5222 (java) S 5216 5218 4835 0 -1 64 16 288 0 0 0 0 0 0 16 0 9 0 2008406563 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5223] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5223/stat : 5223 (java) S 5216 5218 4835 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 2008406564 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5224] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5224/stat : 5224 (java) S 5216 5218 4835 0 -1 64 0 288 0 0 0 0 0 0 18 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5225] ppid=5216 vsize=867864 CPUtime=0.27
/proc/5218/task/5225/stat : 5225 (java) S 5216 5218 4835 0 -1 64 721 288 0 0 27 0 0 0 16 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5226] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5226/stat : 5226 (java) S 5216 5218 4835 0 -1 64 2 288 0 0 0 0 0 0 19 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5218/tid=5227] ppid=5216 vsize=867864 CPUtime=0
/proc/5218/task/5227/stat : 5227 (java) S 5216 5218 4835 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 2008406566 888692736 10732 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.01
Current children cumulated vsize (KiB) 867864
[startup+125.202 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 5231
/proc/meminfo: memFree=1646456/2055920 swapFree=4180424/4192956
[pid=5218] ppid=5216 vsize=0 CPUtime=124.09
/proc/5218/stat : 5218 (java) Z 5216 5218 4835 0 -1 12 17206 288 1 0 12398 11 0 0 16 0 2 0 2008406560 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5218/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 124.09
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 125.204
CPU time (s): 124.111
CPU user time (s): 123.99
CPU system time (s): 0.120981
CPU usage (%): 99.1273
Max. virtual memory (cumulated for all children) (KiB): 867864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.99
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17494
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= 3881
involuntary context switches= 6556
runsolver used 0.141978 second user time and 0.444932 second system time
The end
Begin job on node52 at 2008-07-05 23:45:43
IDJOB=1101781
IDBENCH=60065
IDSOLVER=364
FILE ID=node52/1101781-1215294343
PBS_JOBID= 7882370
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101781-1215294343/watcher-1101781-1215294343 -o /tmp/evaluation-result-1101781-1215294343/solver-1101781-1215294343 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1101781-1215294343.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ce40ed4691a90a2ac4217ea7b5e30eda
RANDOM SEED=671703496
node52.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.265
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.265
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: 1682272 kB
Buffers: 56592 kB
Cached: 203156 kB
SwapCached: 6268 kB
Active: 207948 kB
Inactive: 110140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682272 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 65072 kB
Slab: 40588 kB
Committed_AS: 4033100 kB
PageTables: 1984 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= 66548 MiB
End job on node52 at 2008-07-05 23:47:48