0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1056269-1215062606.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.36 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1072 nbTotalValues=107201
0.29/0.36 => wckTime=0.121 cpuTime=0.1 mem=9M878
0.29/0.36
0.29/0.36 predicates being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.98/1.08 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
0.98/1.08 nbConvertConstraintsChecks=62176 nbExtensionStructures=58 nbSharedExtensionStructures=42
0.98/1.08 nbConflictsStructures=58 nbSharedConflictsStructures=42 nbSharedBinaryRepresentations=62174 minDegree=20
0.98/1.08 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.219
0.98/1.08 symmetryCpuTime=0.16 nbCliques=10
0.98/1.08 => wckTime=0.838 cpuTime=0.62 mem=25M567
1.08/1.16
1.08/1.16 solver IterativeSystematicSolver being built...
1.17/1.22
1.17/1.23 INFO : Forward propagation technique limited
1.17/1.29 => wckTime=1.044 cpuTime=0.74 mem=26M907
1.27/1.33
1.27/1.33 preprocessing
1.27/1.33 nbConstraintChecks=107200 nbPropagations=103 nbRevisions=102 nbUselessRevisions=2 nbRemovedValues=17320
1.27/1.33 detectedInconsistency=no
1.27/1.33 => wckTime=0.037 cpuTime=0.03 mem=27M841
22.26/22.51
22.26/22.51 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=57M834)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056269-1215062606/watcher-1056269-1215062606 -o /tmp/evaluation-result-1056269-1215062606/solver-1056269-1215062606 -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-1056269-1215062606.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.06 2.03 2.01 4/81 15523
/proc/meminfo: memFree=1801136/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=1616 CPUtime=0
/proc/15523/stat : 15523 (java) D 15521 15523 10990 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1535927414 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/15523/statm: 404 146 120 9 0 46 0
[startup+0.0594611 s]
/proc/loadavg: 2.06 2.03 2.01 4/81 15523
/proc/meminfo: memFree=1801136/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=864076 CPUtime=0.04
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 2807 0 1 0 3 1 0 0 18 0 9 0 1535927414 884813824 2345 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 216019 2345 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.102466 s]
/proc/loadavg: 2.06 2.03 2.01 4/81 15523
/proc/meminfo: memFree=1801136/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=865884 CPUtime=0.09
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 3743 0 1 0 7 2 0 0 18 0 9 0 1535927414 886665216 3206 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 216471 3206 1697 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.3015 s]
/proc/loadavg: 2.06 2.03 2.01 4/81 15523
/proc/meminfo: memFree=1801136/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=866284 CPUtime=0.29
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 5990 0 1 0 24 5 0 0 18 0 9 0 1535927414 887074816 5364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 216571 5364 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701571 s]
/proc/loadavg: 2.06 2.03 2.01 4/81 15523
/proc/meminfo: memFree=1801136/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=867676 CPUtime=0.68
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 9492 0 1 0 61 7 0 0 18 0 9 0 1535927414 888500224 8850 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 216919 8850 2012 9 0 211425 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867676
[startup+1.5017 s]
/proc/loadavg: 2.13 2.05 2.01 4/92 15536
/proc/meminfo: memFree=1767960/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868000 CPUtime=1.47
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 20124 202 1 0 132 14 1 0 18 0 10 0 1535927414 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217000 12449 2632 9 0 211506 0
[pid=15536] ppid=15523 vsize=144 CPUtime=0
/proc/15536/stat : 15536 (rm) R 15523 15523 10990 0 -1 4194304 43 0 0 0 0 0 0 0 19 0 1 0 1535927506 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 248758990101 0 4 0 0 0 0 0 17 1 0 0
/proc/15536/statm: 36 22 16 8 0 3 0
[pid=15523/tid=15525] ppid=15521 vsize=868000 CPUtime=1.11
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 13909 202 1 0 99 11 1 0 18 0 10 0 1535927415 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4127127651 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868000 CPUtime=0.07
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 4485 202 0 0 6 0 1 0 17 0 10 0 1535927416 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868000 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 202 0 0 0 0 1 0 16 0 10 0 1535927416 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868000 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 202 0 0 0 0 1 0 16 0 10 0 1535927416 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868000 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 202 0 0 0 0 1 0 23 0 10 0 1535927418 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868000 CPUtime=0.26
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 901 202 0 0 25 0 1 0 15 0 10 0 1535927418 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868000 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 202 0 0 0 0 1 0 24 0 10 0 1535927418 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868000 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 5 202 0 0 0 0 1 0 15 0 10 0 1535927418 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15535] ppid=15521 vsize=868000 CPUtime=0.01
/proc/15523/task/15535/stat : 15535 (java) S 15521 15523 10990 0 -1 64 44 202 0 0 0 0 1 0 17 0 10 0 1535927506 888832000 12449 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868144
[startup+3.10198 s]
/proc/loadavg: 2.13 2.05 2.01 3/90 15536
/proc/meminfo: memFree=1757152/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=3.06
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 23226 325 1 0 289 16 1 0 18 0 9 0 1535927414 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 15538 2632 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=2.67
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 16989 325 1 0 253 13 1 0 25 0 9 0 1535927415 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4127153358 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.07
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 4485 325 0 0 6 0 1 0 17 0 9 0 1535927416 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.3
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 920 325 0 0 29 0 1 0 15 0 9 0 1535927418 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 5 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 15538 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868132
[startup+6.30253 s]
/proc/loadavg: 2.13 2.05 2.01 4/90 15536
/proc/meminfo: memFree=1742304/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=6.22
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 26151 325 1 0 604 17 1 0 18 0 9 0 1535927414 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 18419 2632 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=5.82
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 19866 325 1 0 567 14 1 0 17 0 9 0 1535927415 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4127105423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.07
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 4485 325 0 0 6 0 1 0 16 0 9 0 1535927416 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.31
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 940 325 0 0 30 0 1 0 15 0 9 0 1535927418 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 18419 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868132
[startup+12.7016 s]
/proc/loadavg: 2.11 2.05 2.01 3/90 15536
/proc/meminfo: memFree=1728224/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=12.56
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30373 325 1 0 1237 18 1 0 18 0 9 0 1535927414 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22363 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=12.1
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20364 325 1 0 1195 14 1 0 25 0 9 0 1535927415 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4127099324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.11
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8170 325 0 0 8 2 1 0 16 0 9 0 1535927416 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.34
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 979 325 0 0 33 0 1 0 15 0 9 0 1535927418 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22363 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868132
[startup+25.5028 s]
/proc/loadavg: 2.09 2.04 2.01 3/90 15536
/proc/meminfo: memFree=1721504/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=25.24
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30379 325 1 0 2505 18 1 0 18 0 9 0 1535927414 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22366 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=24.77
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20368 325 1 0 2462 14 1 0 25 0 9 0 1535927415 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4127100322 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.11
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8170 325 0 0 8 2 1 0 16 0 9 0 1535927416 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.34
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 981 325 0 0 33 0 1 0 16 0 9 0 1535927418 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868132
[startup+51.1022 s]
/proc/loadavg: 2.06 2.04 2.01 3/90 15536
/proc/meminfo: memFree=1721504/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=50.6
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30390 325 1 0 5040 19 1 0 18 0 9 0 1535927414 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22366 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=50.11
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20379 325 1 0 4996 14 1 0 25 0 9 0 1535927415 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4126859415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.12
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8170 325 0 0 9 2 1 0 16 0 9 0 1535927416 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22366 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1527.71
Current children cumulated vsize (KiB) 868132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 15538
/proc/meminfo: memFree=1719584/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=1587.14
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30737 325 1 0 158692 21 1 0 18 0 9 0 1535927414 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22506 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=1586.45
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20584 325 1 0 158629 15 1 0 25 0 9 0 1535927415 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4127105433 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.32
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8306 325 0 0 28 3 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1587.14
Current children cumulated vsize (KiB) 868132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 15538
/proc/meminfo: memFree=1719520/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=1646.57
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30748 325 1 0 164635 21 1 0 18 0 9 0 1535927414 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22506 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=1645.88
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20595 325 1 0 164571 16 1 0 25 0 9 0 1535927415 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4127100864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.33
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8306 325 0 0 29 3 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1646.57
Current children cumulated vsize (KiB) 868132
[startup+1722.3 s]
/proc/loadavg: 1.85 1.98 1.99 2/73 15562
/proc/meminfo: memFree=1769648/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=1706.06
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30757 325 1 0 170584 21 1 0 18 0 9 0 1535927414 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22506 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=1705.36
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20604 325 1 0 170519 16 1 0 25 0 9 0 1535927415 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4127113704 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.34
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8306 325 0 0 30 3 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1706.06
Current children cumulated vsize (KiB) 868132
[startup+1782.3 s]
/proc/loadavg: 1.31 1.80 1.92 2/73 15562
/proc/meminfo: memFree=1769984/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=1766.04
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30762 325 1 0 176581 22 1 0 18 0 9 0 1535927414 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22506 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=1765.33
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20609 325 1 0 176516 16 1 0 25 0 9 0 1535927415 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4127100879 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.34
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8306 325 0 0 30 3 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.04
Current children cumulated vsize (KiB) 868132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.3 s]
/proc/loadavg: 1.17 1.71 1.89 2/73 15562
/proc/meminfo: memFree=1769984/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=1800.03
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30765 325 1 0 179980 22 1 0 18 0 9 0 1535927414 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22506 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=1799.32
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20612 325 1 0 179915 16 1 0 25 0 9 0 1535927415 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4127103608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.34
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8306 325 0 0 30 3 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.3 s]
/proc/loadavg: 1.17 1.71 1.89 2/73 15562
/proc/meminfo: memFree=1769984/2055920 swapFree=4180384/4192956
[pid=15523] ppid=15521 vsize=868132 CPUtime=1800.03
/proc/15523/stat : 15523 (java) S 15521 15523 10990 0 -1 0 30765 325 1 0 179980 22 1 0 18 0 9 0 1535927414 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15523/statm: 217033 22506 2636 9 0 211539 0
[pid=15523/tid=15525] ppid=15521 vsize=868132 CPUtime=1799.32
/proc/15523/task/15525/stat : 15525 (java) R 15521 15523 10990 0 -1 64 20612 325 1 0 179915 16 1 0 25 0 9 0 1535927415 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4127103608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15526] ppid=15521 vsize=868132 CPUtime=0.34
/proc/15523/task/15526/stat : 15526 (java) S 15521 15523 10990 0 -1 64 8306 325 0 0 30 3 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15527] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15527/stat : 15527 (java) S 15521 15523 10990 0 -1 64 15 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15528] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15528/stat : 15528 (java) S 15521 15523 10990 0 -1 64 10 325 0 0 0 0 1 0 16 0 9 0 1535927416 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15529] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15529/stat : 15529 (java) S 15521 15523 10990 0 -1 64 0 325 0 0 0 0 1 0 23 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15530] ppid=15521 vsize=868132 CPUtime=0.35
/proc/15523/task/15530/stat : 15530 (java) S 15521 15523 10990 0 -1 64 987 325 0 0 34 0 1 0 16 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15523/tid=15531] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15531/stat : 15531 (java) S 15521 15523 10990 0 -1 64 2 325 0 0 0 0 1 0 24 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15523/tid=15532] ppid=15521 vsize=868132 CPUtime=0.01
/proc/15523/task/15532/stat : 15532 (java) S 15521 15523 10990 0 -1 64 33 325 0 0 0 0 1 0 15 0 9 0 1535927418 888967168 22506 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868132
Child status: 143
Real time (s): 1816.38
CPU time (s): 1800.12
CPU user time (s): 1799.88
CPU system time (s): 0.243962
CPU usage (%): 99.1052
Max. virtual memory (cumulated for all children) (KiB): 868144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31121
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= 39966
involuntary context switches= 77072
runsolver used 2.27565 second user time and 5.9041 second system time
The end
Begin job on node55 at 2008-07-03 07:23:26
IDJOB=1056269
IDBENCH=57641
IDSOLVER=363
FILE ID=node55/1056269-1215062606
PBS_JOBID= 7875065
Free space on /tmp= 66544 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-05-1071.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-1056269-1215062606/watcher-1056269-1215062606 -o /tmp/evaluation-result-1056269-1215062606/solver-1056269-1215062606 -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-1056269-1215062606.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= edcaa13bc864d407223412ca462d8cd5
RANDOM SEED=1604294131
node55.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.261
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.261
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: 1801616 kB
Buffers: 18200 kB
Cached: 117692 kB
SwapCached: 6636 kB
Active: 145320 kB
Inactive: 47964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1801616 kB
SwapTotal: 4192956 kB
SwapFree: 4180384 kB
Dirty: 2128 kB
Writeback: 0 kB
Mapped: 73448 kB
Slab: 46048 kB
Committed_AS: 3043332 kB
PageTables: 1896 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= 66544 MiB
End job on node55 at 2008-07-03 07:53:44