0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1080035-1215211646.xml
0.28/0.34
0.28/0.35 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.38 => wckTime=0.148 cpuTime=0.1 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
0.78/0.86 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.78/0.86 nbSharedExtensionStructures=0 nbConflictsStructures=59 nbSharedConflictsStructures=0
0.78/0.86 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=12 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.78/0.86 symmetryWckTime=0.043 symmetryCpuTime=0.02
0.78/0.87 => wckTime=0.631 cpuTime=0.51 mem=48M221
0.87/0.98
0.87/0.98 solver IterativeSystematicSolver being built...
0.97/1.06
0.97/1.06 INFO : Forward propagation technique limited
1.06/1.13 => wckTime=0.894 cpuTime=0.63 mem=29M629
1.16/1.27
1.26/1.33 preprocessing
1.26/1.33 nbConstraintChecks=0 nbValidityChecks=1427145 nbPropagations=188 nbRevisions=0 nbUselessRevisions=0
1.26/1.33 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.26/1.33 detectedInconsistency=no
1.26/1.33 => wckTime=0.145 cpuTime=0.12 mem=29M629
1.85/1.95
1.85/1.95 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M596)
298.74/301.67
298.74/301.67 search
298.74/301.67 run=21 nbConstraintChecks=1694471 nbValidityChecks=3837017976 minDepth=1 maxDepth=20 nbPropagations=7373856
298.74/301.67 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179502 nbFailedAssignments=107016 nbBacktracks=72340
298.74/301.67 nbVisitedNodes=337909 nbRestartNogoods=297 nbFoundSolutions=1 nbSEliminables=0.03 nbREliminables=3.83
298.74/301.67 nbIEliminables=10.28 nbDEliminables=0 nbPEliminables=0
298.74/301.67 => wckTime=300.534 cpuTime=297.61 mem=35M351
298.74/301.67
298.74/301.67 global
298.74/301.67 nbConstraintChecks=1694471 nbValidityChecks=3838445121 nbPropagations=7374044 nbRestartNogoods=297
298.74/301.67 solvingWckTime=300.538 solvingCpuTime=297.61 expiredTime=no totalExploration=no nbFoundSolutions=1
298.74/301.67 firstSolutionCpuTime=298.24 globalCpuTime=298.29
298.74/301.67 => wckTime=301.434 cpuTime=298.24 mem=35M351
298.74/301.67
298.74/301.67 s SATISFIABLE
298.74/301.67 v 7 6 11 12 6 2 15 1 15 1 1 14 1 7 4 18 3 0 5 1
298.74/301.67 d NODES 179502
298.74/301.67 d CHECKS 1694471
298.74/301.67
298.74/301.67 totalWckTime=301.49 totalCpuTime=298.29
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080035-1215211646/watcher-1080035-1215211646 -o /tmp/evaluation-result-1080035-1215211646/solver-1080035-1215211646 -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-1080035-1215211646.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 30467
/proc/meminfo: memFree=1655168/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=1616 CPUtime=0
/proc/30467/stat : 30467 (java) R 30465 30467 28792 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2000139224 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/30467/statm: 404 148 122 9 0 46 0
[startup+0.0711669 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 30467
/proc/meminfo: memFree=1655168/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=865856 CPUtime=0.06
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 3306 0 1 0 4 2 0 0 18 0 9 0 2000139224 886636544 2832 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216464 2832 1534 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101167 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 30467
/proc/meminfo: memFree=1655168/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=865884 CPUtime=0.09
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 3777 0 1 0 7 2 0 0 18 0 9 0 2000139224 886665216 3228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216471 3228 1711 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301188 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 30467
/proc/meminfo: memFree=1655168/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=866196 CPUtime=0.28
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 5626 0 1 0 25 3 0 0 18 0 9 0 2000139224 886984704 5040 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216549 5040 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.70123 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 30467
/proc/meminfo: memFree=1655168/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=866528 CPUtime=0.68
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 11970 0 1 0 62 6 0 0 18 0 9 0 2000139224 887324672 11330 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216632 11330 1977 9 0 211160 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866528
[startup+1.50231 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1590008/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867264 CPUtime=1.45
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28081 269 1 0 133 12 0 0 18 0 9 0 2000139224 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216816 18994 2631 9 0 211322 0
[pid=30467/tid=30469] ppid=30465 vsize=867264 CPUtime=1.16
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 19292 269 1 0 108 8 0 0 25 0 9 0 2000139225 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867264 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867264 CPUtime=0.16
/proc/30467/task/30474/stat : 30474 (java) R 30465 30467 28792 0 -1 64 510 269 0 0 16 0 0 0 16 0 9 0 2000139228 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 101977939 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888078336 18994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867264
[startup+3.10249 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1589176/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867264 CPUtime=3.04
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28105 269 1 0 292 12 0 0 18 0 9 0 2000139224 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216816 19011 2631 9 0 211322 0
[pid=30467/tid=30469] ppid=30465 vsize=867264 CPUtime=2.72
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 19298 269 1 0 264 8 0 0 25 0 9 0 2000139225 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4126746098 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867264 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 17 0 9 0 2000139226 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867264 CPUtime=0.19
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 528 269 0 0 19 0 0 0 15 0 9 0 2000139228 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888078336 19011 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867264 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888078336 19011 996147200 134512640 134550740 4294955968 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) 867264
[startup+6.30182 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588984/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=6.22
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28133 269 1 0 609 13 0 0 18 0 9 0 2000139224 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19025 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=5.86
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 19312 269 1 0 578 8 0 0 25 0 9 0 2000139225 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4126745867 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 17 0 9 0 2000139226 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.22
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 542 269 0 0 21 1 0 0 15 0 9 0 2000139228 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19025 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) 867396
[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588792/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=12.55
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28150 269 1 0 1242 13 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=12.19
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 19324 269 1 0 1211 8 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126802496 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 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) 867396
[startup+25.5028 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588728/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=25.24
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28188 269 1 0 2511 13 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=24.87
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 19362 269 1 0 2479 8 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126746050 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 17 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867396
[startup+51.1025 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588728/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=50.59
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28258 269 1 0 5046 13 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=50.23
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 19432 269 1 0 5014 9 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126746050 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
################
# More data... #
################
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28881 269 1 0 29136 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=291.14
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20055 269 1 0 29104 10 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126745893 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 291.51
Current children cumulated vsize (KiB) 867396
[startup+297.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588408/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=294.68
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28888 269 1 0 29453 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=294.31
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20062 269 1 0 29421 10 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126745942 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 294.68
Current children cumulated vsize (KiB) 867396
[startup+299.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588408/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=296.26
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28893 269 1 0 29611 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=295.91
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20067 269 1 0 29580 11 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126745893 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 296.26
Current children cumulated vsize (KiB) 867396
[startup+300.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588408/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=297.84
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28897 269 1 0 29769 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=297.49
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20071 269 1 0 29738 11 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126745971 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 297.84
Current children cumulated vsize (KiB) 867396
[startup+301.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588408/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=298.24
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28898 269 1 0 29809 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=297.89
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20072 269 1 0 29778 11 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126745877 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 298.24
Current children cumulated vsize (KiB) 867396
[startup+301.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588408/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=298.64
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28900 269 1 0 29849 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=298.28
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20074 269 1 0 29817 11 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126746510 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 298.64
Current children cumulated vsize (KiB) 867396
[startup+301.603 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 30480
/proc/meminfo: memFree=1588408/2055920 swapFree=4180448/4192956
[pid=30467] ppid=30465 vsize=867396 CPUtime=298.74
/proc/30467/stat : 30467 (java) S 30465 30467 28792 0 -1 0 28900 269 1 0 29859 15 0 0 18 0 9 0 2000139224 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30467/statm: 216849 19029 2631 9 0 211355 0
[pid=30467/tid=30469] ppid=30465 vsize=867396 CPUtime=298.38
/proc/30467/task/30469/stat : 30469 (java) R 30465 30467 28792 0 -1 64 20074 269 1 0 29827 11 0 0 25 0 9 0 2000139225 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4126735229 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30470] ppid=30465 vsize=867396 CPUtime=0.09
/proc/30467/task/30470/stat : 30470 (java) S 30465 30467 28792 0 -1 64 7441 269 0 0 8 1 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30471] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30471/stat : 30471 (java) S 30465 30467 28792 0 -1 64 15 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30472] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30472/stat : 30472 (java) S 30465 30467 28792 0 -1 64 8 269 0 0 0 0 0 0 16 0 9 0 2000139226 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30473] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30473/stat : 30473 (java) S 30465 30467 28792 0 -1 64 0 269 0 0 0 0 0 0 18 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30474] ppid=30465 vsize=867396 CPUtime=0.23
/proc/30467/task/30474/stat : 30474 (java) S 30465 30467 28792 0 -1 64 547 269 0 0 22 1 0 0 16 0 9 0 2000139228 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30475] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30475/stat : 30475 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 19 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30467/tid=30476] ppid=30465 vsize=867396 CPUtime=0
/proc/30467/task/30476/stat : 30476 (java) S 30465 30467 28792 0 -1 64 2 269 0 0 0 0 0 0 15 0 9 0 2000139229 888213504 19029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 298.74
Current children cumulated vsize (KiB) 867396
Child status: 0
Real time (s): 301.702
CPU time (s): 298.847
CPU user time (s): 298.668
CPU system time (s): 0.178972
CPU usage (%): 99.0537
Max. virtual memory (cumulated for all children) (KiB): 867396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.668
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29270
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= 7143
involuntary context switches= 19042
runsolver used 0.316951 second user time and 1.06784 second system time
The end
Begin job on node24 at 2008-07-05 00:47:27
IDJOB=1080035
IDBENCH=56930
IDSOLVER=364
FILE ID=node24/1080035-1215211646
PBS_JOBID= 7881734
Free space on /tmp= 66456 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-12_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-1080035-1215211646/watcher-1080035-1215211646 -o /tmp/evaluation-result-1080035-1215211646/solver-1080035-1215211646 -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-1080035-1215211646.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b8c2bd661dc6ef0ca0d01b71637dc540
RANDOM SEED=1622311760
node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1655648 kB
Buffers: 54420 kB
Cached: 259644 kB
SwapCached: 6556 kB
Active: 180432 kB
Inactive: 159308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655648 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 3284 kB
Writeback: 0 kB
Mapped: 41832 kB
Slab: 45508 kB
Committed_AS: 3596756 kB
PageTables: 1920 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66456 MiB
End job on node24 at 2008-07-05 00:52:28