0.03/0.09
0.03/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-1044907-1215023021.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.38/0.47 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25 nbTotalValues=6961
0.38/0.47 => wckTime=0.209 cpuTime=0.15 mem=9M869
0.38/0.47
0.38/0.47 relations being loaded...
0.38/0.48
0.38/0.48 constraints being loaded...
1.45/1.51 nbConstraints=10167 nbRelationTypes=26 nbGlobalConstraints=25 nbSingletonDomainVariables=361
1.45/1.51 nbExtensionStructures=51 nbSharedExtensionStructures=10091 nbConflictsStructures=51
1.45/1.51 nbSharedConflictsStructures=10091 nbSharedBinaryRepresentations=1323 minDegree=20 maxDegree=49 minArity=2
1.45/1.51 avgArity=2.02 maxArity=12 nbGenerators=0 nbFusions=0 symmetryWckTime=0.41 symmetryCpuTime=0.22 nbCliques=25
1.45/1.51 => wckTime=1.254 cpuTime=0.78 mem=27M831
1.55/1.65
1.55/1.65 solver IterativeSystematicSolver being built...
1.67/1.70
1.67/1.70 INFO : Forward propagation technique limited
1.67/1.79 => wckTime=1.53 cpuTime=0.92 mem=31M883
6.77/6.89
6.77/6.89 preprocessing
6.77/6.89 nbConstraintChecks=697296 nbPropagations=16908 nbRevisions=197738 nbUselessRevisions=180653
6.77/6.89 nbSingletonTests=5841 nbEffectiveSingletonTests=15 nbACRemovals=5451 nbFoundSingletons=0 nbRemovedValues=5467
6.77/6.89 detectedInconsistency=no
6.77/6.89 => wckTime=5.095 cpuTime=5.05 mem=33M872
7.07/7.14
7.07/7.14 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=35M894)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044907-1215023021/watcher-1044907-1215023021 -o /tmp/evaluation-result-1044907-1215023021/solver-1044907-1215023021 -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-1044907-1215023021.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 15126
/proc/meminfo: memFree=1533344/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=10616 CPUtime=0
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1981277461 10870784 472 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 2654 472 209 9 0 1184 0
[pid=15126/tid=15127] ppid=15124 vsize=10616 CPUtime=0
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1981277462 10870784 472 996147200 134512640 134550740 4294955984 18446744073709551615 11435992 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0501981 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 15126
/proc/meminfo: memFree=1533344/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=861876 CPUtime=0.03
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 2363 0 1 0 2 1 0 0 18 0 5 0 1981277461 882561024 1950 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 215469 1951 898 9 0 210448 0
[pid=15126/tid=15127] ppid=15124 vsize=861876 CPUtime=0.02
/proc/15126/task/15127/stat : 15127 (java) D 15124 15126 14442 0 -1 64 1670 0 1 0 2 0 0 0 17 0 5 0 1981277462 882561024 1951 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.103787 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 15126
/proc/meminfo: memFree=1533344/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=866908 CPUtime=0.09
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 3690 0 1 0 7 2 0 0 18 0 9 0 1981277461 887713792 3165 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 216727 3165 1685 9 0 211282 0
[pid=15126/tid=15127] ppid=15124 vsize=866908 CPUtime=0.06
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 2773 0 1 0 5 1 0 0 20 0 9 0 1981277462 887713792 3165 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866908
[startup+0.301221 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 15126
/proc/meminfo: memFree=1533344/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=867308 CPUtime=0.28
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 5789 0 1 0 24 4 0 0 18 0 9 0 1981277461 888123392 5163 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 216827 5163 1951 9 0 211355 0
[pid=15126/tid=15127] ppid=15124 vsize=867308 CPUtime=0.22
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 4816 0 1 0 19 3 0 0 18 0 9 0 1981277462 888123392 5163 996147200 134512640 134550740 4294955984 18446744073709551615 104190597 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867308
[startup+0.701259 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 15126
/proc/meminfo: memFree=1533344/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868464 CPUtime=0.68
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 9212 0 1 0 61 7 0 0 18 0 9 0 1981277461 889307136 8582 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217116 8582 1975 9 0 211644 0
[pid=15126/tid=15127] ppid=15124 vsize=868464 CPUtime=0.5
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 7905 0 1 0 44 6 0 0 19 0 9 0 1981277462 889307136 8582 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 868464
[startup+1.50234 s]
/proc/loadavg: 2.00 2.00 1.96 4/89 15135
/proc/meminfo: memFree=1469656/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868788 CPUtime=1.45
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 21136 621 1 0 118 14 13 0 18 0 10 0 1981277461 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217197 18929 2013 9 0 211725 0
[pid=15126/tid=15127] ppid=15124 vsize=868788 CPUtime=1.08
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 17075 621 1 0 85 10 13 0 16 0 10 0 1981277462 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4127001273 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868788 CPUtime=0.22
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 2448 621 0 0 8 1 13 0 17 0 10 0 1981277464 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868788 CPUtime=0.13
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 13 621 0 0 0 0 13 0 16 0 10 0 1981277464 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868788 CPUtime=0.13
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 5 621 0 0 0 0 13 0 16 0 10 0 1981277464 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868788 CPUtime=0.13
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 621 0 0 0 0 13 0 18 0 10 0 1981277466 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868788 CPUtime=0.35
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 785 621 0 0 22 0 13 0 15 0 10 0 1981277466 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868788 CPUtime=0.13
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 621 0 0 0 0 13 0 19 0 10 0 1981277466 889638912 18929 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868788 CPUtime=0.13
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 9 621 0 0 0 0 13 0 15 0 10 0 1981277466 889638912 18929 996147200 134512640 134550740 4294955984 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) 868788
[startup+3.10248 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15139
/proc/meminfo: memFree=1457048/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868936 CPUtime=3.07
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 31580 744 1 0 276 17 13 1 18 0 9 0 1981277461 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217234 21567 2636 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868936 CPUtime=2.51
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 21966 744 1 0 226 11 13 1 20 0 9 0 1981277462 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4127122423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868936 CPUtime=0.35
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 7904 744 0 0 19 2 13 1 16 0 9 0 1981277464 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 15 0 9 0 1981277464 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 9 744 0 0 0 0 13 1 15 0 9 0 1981277464 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868936 CPUtime=0.44
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 870 744 0 0 29 1 13 1 16 0 9 0 1981277466 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 9 744 0 0 0 0 13 1 15 0 9 0 1981277466 889790464 21567 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 868936
[startup+6.30179 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15139
/proc/meminfo: memFree=1456984/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868936 CPUtime=6.27
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 31756 744 1 0 595 18 13 1 18 0 9 0 1981277461 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217234 21568 2636 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868936 CPUtime=5.71
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 22118 744 1 0 545 12 13 1 25 0 9 0 1981277462 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4127122423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868936 CPUtime=0.35
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 7904 744 0 0 19 2 13 1 16 0 9 0 1981277464 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 15 0 9 0 1981277464 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 9 744 0 0 0 0 13 1 15 0 9 0 1981277464 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868936 CPUtime=0.45
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 871 744 0 0 30 1 13 1 16 0 9 0 1981277466 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889790464 21568 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 868936
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15139
/proc/meminfo: memFree=1456664/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868936 CPUtime=12.66
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 36083 744 1 0 1233 19 13 1 18 0 9 0 1981277461 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217234 21599 2636 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868936 CPUtime=12.05
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 26371 744 1 0 1178 13 13 1 25 0 9 0 1981277462 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4127079840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868936 CPUtime=0.35
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 7904 744 0 0 19 2 13 1 16 0 9 0 1981277464 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 15 0 9 0 1981277464 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 9 744 0 0 0 0 13 1 15 0 9 0 1981277464 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868936 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 945 744 0 0 35 1 13 1 15 0 9 0 1981277466 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868936 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889790464 21599 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 868936
[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15139
/proc/meminfo: memFree=1452376/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=25.47
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 39502 744 1 0 2512 21 13 1 18 0 9 0 1981277461 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 22687 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=24.83
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28678 744 1 0 2455 14 13 1 25 0 9 0 1981277462 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.37
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 9014 744 0 0 20 3 13 1 16 0 9 0 1981277464 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 946 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 22687 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 868848
[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15139
/proc/meminfo: memFree=1447896/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=51.06
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40619 744 1 0 5070 22 13 1 18 0 9 0 1981277461 889700352 23798 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23798 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=50.41
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28680 744 1 0 5012 15 13 1 25 0 9 0 1981277462 889700352 23798 996147200 134512640 134550740 4294955984 18446744073709551615 4127095299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.38
################
# More data... #
################
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.27
Current children cumulated vsize (KiB) 868848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/102 15273
/proc/meminfo: memFree=1386928/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=1537.1
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40718 744 1 0 153666 30 13 1 18 0 9 0 1981277461 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23809 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=1536.36
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28763 744 1 0 153600 22 13 1 25 0 9 0 1981277462 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4127092149 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.47
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 10144 744 0 0 29 4 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.1
Current children cumulated vsize (KiB) 868848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 15273
/proc/meminfo: memFree=1386928/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=1595.94
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40721 744 1 0 159550 30 13 1 18 0 9 0 1981277461 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23809 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=1595.2
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28766 744 1 0 159484 22 13 1 25 0 9 0 1981277462 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4127092607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.48
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 10144 744 0 0 30 4 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.94
Current children cumulated vsize (KiB) 868848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 15273
/proc/meminfo: memFree=1386928/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=1654.78
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40724 744 1 0 165434 30 13 1 18 0 9 0 1981277461 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23809 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=1654.03
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28769 744 1 0 165367 22 13 1 25 0 9 0 1981277462 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4125952048 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.48
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 10144 744 0 0 30 4 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.78
Current children cumulated vsize (KiB) 868848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 15273
/proc/meminfo: memFree=1386928/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=1713.62
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40727 744 1 0 171318 30 13 1 18 0 9 0 1981277461 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23809 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=1712.87
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28772 744 1 0 171251 22 13 1 25 0 9 0 1981277462 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4126970131 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.49
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 10144 744 0 0 31 4 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23809 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.62
Current children cumulated vsize (KiB) 868848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 15273
/proc/meminfo: memFree=1386864/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=1772.45
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40731 744 1 0 177201 30 13 1 18 0 9 0 1981277461 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23810 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=1771.7
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28775 744 1 0 177134 22 13 1 25 0 9 0 1981277462 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4127096633 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.49
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 10145 744 0 0 31 4 13 1 16 0 9 0 1981277464 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.45
Current children cumulated vsize (KiB) 868848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 15273
/proc/meminfo: memFree=1386800/2055920 swapFree=4180024/4192956
[pid=15126] ppid=15124 vsize=868848 CPUtime=1800.01
/proc/15126/stat : 15126 (java) S 15124 15126 14442 0 -1 0 40733 744 1 0 179957 30 13 1 18 0 9 0 1981277461 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15126/statm: 217212 23810 2615 9 0 211740 0
[pid=15126/tid=15127] ppid=15124 vsize=868848 CPUtime=1799.26
/proc/15126/task/15127/stat : 15127 (java) R 15124 15126 14442 0 -1 64 28777 744 1 0 179890 22 13 1 25 0 9 0 1981277462 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4127095337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15129] ppid=15124 vsize=868848 CPUtime=0.49
/proc/15126/task/15129/stat : 15129 (java) S 15124 15126 14442 0 -1 64 10145 744 0 0 31 4 13 1 16 0 9 0 1981277464 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15130] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15130/stat : 15130 (java) S 15124 15126 14442 0 -1 64 17 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15131] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15131/stat : 15131 (java) S 15124 15126 14442 0 -1 64 10 744 0 0 0 0 13 1 16 0 9 0 1981277464 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15132] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15132/stat : 15132 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 18 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15133] ppid=15124 vsize=868848 CPUtime=0.5
/proc/15126/task/15133/stat : 15133 (java) S 15124 15126 14442 0 -1 64 947 744 0 0 35 1 13 1 16 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15126/tid=15134] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15134/stat : 15134 (java) S 15124 15126 14442 0 -1 64 1 744 0 0 0 0 13 1 19 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15126/tid=15135] ppid=15124 vsize=868848 CPUtime=0.14
/proc/15126/task/15135/stat : 15135 (java) S 15124 15126 14442 0 -1 64 32 744 0 0 0 0 13 1 15 0 9 0 1981277466 889700352 23810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1810.48
CPU time (s): 1800.11
CPU user time (s): 1799.77
CPU system time (s): 0.337948
CPU usage (%): 99.4273
Max. virtual memory (cumulated for all children) (KiB): 868952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41506
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= 38931
involuntary context switches= 55886
runsolver used 2.13767 second user time and 6.12607 second system time
The end
Begin job on node4 at 2008-07-02 20:23:41
IDJOB=1044907
IDBENCH=53546
IDSOLVER=364
FILE ID=node4/1044907-1215023021
PBS_JOBID= 7874462
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-14_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-1044907-1215023021/watcher-1044907-1215023021 -o /tmp/evaluation-result-1044907-1215023021/solver-1044907-1215023021 -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-1044907-1215023021.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 20a182e783cc61eec54b963da7b577b8
RANDOM SEED=1150504465
node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1533824 kB
Buffers: 60544 kB
Cached: 339704 kB
SwapCached: 7004 kB
Active: 193348 kB
Inactive: 250660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533824 kB
SwapTotal: 4192956 kB
SwapFree: 4180024 kB
Dirty: 2736 kB
Writeback: 0 kB
Mapped: 60136 kB
Slab: 63084 kB
Committed_AS: 3947540 kB
PageTables: 2004 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node4 at 2008-07-02 20:53:53