0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-2096753-1247410668.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.39/0.40 nbVariables=383 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=9958
0.39/0.40 => wckTime=0.159 cpuTime=0.12 mem=9M843
0.39/0.40
0.39/0.40 relations being loaded...
0.39/0.48
0.39/0.48 predicates being loaded...
0.49/0.54
0.49/0.54 constraints being loaded...
0.89/0.95 Too large in ConstraintConflictsSTructure
0.89/0.98 Too large in ConstraintConflictsSTructure
0.99/1.02 Too large in ConstraintConflictsSTructure
2.26/2.31 nbConstraints=1870 nbRelationTypes=7 nbGlobalConstraints=135 nbExtensionStructures=7
2.26/2.31 nbSharedExtensionStructures=127 nbConflictsStructures=4 nbSharedConflictsStructures=76
2.26/2.31 nbUnbuiltConflictsStructures=10 nbSharedBinaryRepresentations=0 nbEvaluationManagers=7
2.26/2.31 nbSharedEvaluationManagers=1728 minDegree=13 maxDegree=83 minArity=3 avgArity=11.25 maxArity=372
2.26/2.31 nbGenerators=1 nbFusions=0 symmetryWckTime=0.441 symmetryCpuTime=0.25
2.26/2.31 => wckTime=2.066 cpuTime=1.57 mem=35M993
2.36/2.43
2.36/2.43 solver IterativeSystematicSolver being built...
2.66/2.79
2.66/2.80 INFO : Forward propagation technique limited
2.76/2.87 => wckTime=2.629 cpuTime=1.9 mem=85M775
3.06/3.19
3.06/3.19 preprocessing
3.06/3.19 nbConstraintChecks=0 nbValidityChecks=1471298 nbPropagations=424 nbRevisions=0 nbUselessRevisions=0
3.06/3.19 nbRemovedValues=559 detectedInconsistency=no
3.06/3.19 => wckTime=0.315 cpuTime=0.2 mem=60M43
4.24/4.35
4.24/4.37 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=62M7)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096753-1247410668/watcher-2096753-1247410668 -o /tmp/evaluation-result-2096753-1247410668/solver-2096753-1247410668 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096753-1247410668.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 26834
/proc/meminfo: memFree=1612008/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=272 CPUtime=0
/proc/26834/stat : 26834 (java) D 26832 26834 25920 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28133159 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 10027812 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/26834/statm: 68 37 28 9 0 6 0
[startup+0.0430479 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 26834
/proc/meminfo: memFree=1612008/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=861936 CPUtime=0.03
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 2393 0 1 0 2 1 0 0 18 0 5 0 28133159 882622464 1971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 215484 1971 905 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.101051 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 26834
/proc/meminfo: memFree=1612008/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=865980 CPUtime=0.08
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 3802 0 1 0 7 1 0 0 18 0 9 0 28133159 886763520 3253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 216495 3254 1718 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301072 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 26834
/proc/meminfo: memFree=1612008/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=866380 CPUtime=0.29
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 6082 0 1 0 26 3 0 0 18 0 9 0 28133159 887173120 5449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 216595 5449 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701107 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 26834
/proc/meminfo: memFree=1612008/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=867612 CPUtime=0.69
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 10640 0 1 0 63 6 0 0 18 0 9 0 28133159 888434688 9994 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 216903 9995 2039 9 0 211339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867612
[startup+1.50218 s]
/proc/loadavg: 1.93 1.98 1.99 4/89 26843
/proc/meminfo: memFree=1557728/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=867692 CPUtime=1.49
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 19927 0 1 0 134 15 0 0 18 0 9 0 28133159 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 216923 19253 2033 9 0 211381 0
[pid=26834/tid=26836] ppid=26832 vsize=867692 CPUtime=1.2
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 15832 0 1 0 107 13 0 0 25 0 9 0 28133160 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=867692 CPUtime=0.04
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 2676 0 0 0 4 0 0 0 17 0 9 0 28133162 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=867696 CPUtime=0
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28133162 888520704 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26839] ppid=26832 vsize=867692 CPUtime=0
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28133162 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26840] ppid=26832 vsize=867692 CPUtime=0
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28133164 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=867692 CPUtime=0.22
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 716 0 0 0 22 0 0 0 15 0 9 0 28133164 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26842] ppid=26832 vsize=867692 CPUtime=0
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28133164 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=867692 CPUtime=0
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28133164 888516608 19253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867692
[startup+3.10232 s]
/proc/loadavg: 1.93 1.98 1.99 3/91 26845
/proc/meminfo: memFree=1529936/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=3.06
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53379 595 1 0 264 28 13 1 18 0 10 0 28133159 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33516 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=2.33
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29180 595 1 0 200 19 13 1 16 0 10 0 28133160 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4127269540 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) R 26832 26834 25920 0 -1 64 22407 595 0 0 31 6 13 1 17 0 10 0 28133162 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 595 0 0 0 0 13 1 15 0 10 0 28133162 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 595 0 0 0 0 13 1 15 0 10 0 28133162 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 595 0 0 0 0 13 1 24 0 10 0 28133164 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.46
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 944 595 0 0 31 1 13 1 15 0 10 0 28133164 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 595 0 0 0 0 13 1 25 0 10 0 28133164 888942592 33516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 13 595 0 0 0 0 13 1 15 0 10 0 28133164 888942592 33516 996147200 134512640 134550932 4294955968 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) 868108
[startup+6.30161 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 26847
/proc/meminfo: memFree=1487576/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=6.22
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53713 718 1 0 579 29 13 1 18 0 9 0 28133159 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33562 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=5.42
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29425 718 1 0 508 20 13 1 17 0 9 0 28133160 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4127281318 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.53
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1002 718 0 0 38 1 13 1 15 0 9 0 28133164 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33562 996147200 134512640 134550932 4294955968 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) 868108
[startup+12.7022 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 26847
/proc/meminfo: memFree=1487328/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=12.56
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53734 718 1 0 1213 29 13 1 18 0 9 0 28133159 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33578 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=11.72
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29429 718 1 0 1138 20 13 1 25 0 9 0 28133160 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4127281262 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.57
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1019 718 0 0 42 1 13 1 16 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 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) 868108
[startup+25.5014 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26847
/proc/meminfo: memFree=1487456/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=25.23
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53735 718 1 0 2480 29 13 1 18 0 9 0 28133159 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33578 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=24.4
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29430 718 1 0 2406 20 13 1 25 0 9 0 28133160 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4127359514 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.57
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1019 718 0 0 42 1 13 1 16 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33578 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868108
[startup+51.1017 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 26847
/proc/meminfo: memFree=1487328/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=50.59
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53737 718 1 0 5016 29 13 1 18 0 9 0 28133159 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33580 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=49.75
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29430 718 1 0 4941 20 13 1 25 0 9 0 28133160 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4127292670 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1021 718 0 0 43 1 13 1 15 0 9 0 28133164 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33580 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.34
Current children cumulated vsize (KiB) 868108
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 26894
/proc/meminfo: memFree=1471640/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=1590.31
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53742 718 1 0 158986 31 13 1 18 0 9 0 28133159 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33581 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=1589.46
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29433 718 1 0 158911 21 13 1 25 0 9 0 28133160 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4126095967 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.31
Current children cumulated vsize (KiB) 868108
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 26894
/proc/meminfo: memFree=1471640/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=1650.29
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53742 718 1 0 164984 31 13 1 18 0 9 0 28133159 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33581 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=1649.44
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29433 718 1 0 164909 21 13 1 25 0 9 0 28133160 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4127299269 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.29
Current children cumulated vsize (KiB) 868108
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/89 26894
/proc/meminfo: memFree=1471576/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=1710.26
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53742 718 1 0 170981 31 13 1 18 0 9 0 28133159 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33581 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=1709.42
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29433 718 1 0 170907 21 13 1 25 0 9 0 28133160 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4127370477 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.26
Current children cumulated vsize (KiB) 868108
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/89 26894
/proc/meminfo: memFree=1471448/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=1770.24
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53742 718 1 0 176979 31 13 1 18 0 9 0 28133159 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33581 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=1769.4
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29433 718 1 0 176904 22 13 1 25 0 9 0 28133160 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4127281099 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.24
Current children cumulated vsize (KiB) 868108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.1 s]
/proc/loadavg: 2.22 2.07 2.01 3/89 26894
/proc/meminfo: memFree=1471448/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=1800.03
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53742 718 1 0 179958 31 13 1 18 0 9 0 28133159 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33581 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=1799.19
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29433 718 1 0 179883 22 13 1 25 0 9 0 28133160 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4126383021 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 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) 868108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.1 s]
/proc/loadavg: 2.22 2.07 2.01 3/89 26894
/proc/meminfo: memFree=1471448/2055920 swapFree=4192812/4192956
[pid=26834] ppid=26832 vsize=868108 CPUtime=1800.03
/proc/26834/stat : 26834 (java) S 26832 26834 25920 0 -1 0 53742 718 1 0 179958 31 13 1 18 0 9 0 28133159 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26834/statm: 217027 33581 2639 9 0 211485 0
[pid=26834/tid=26836] ppid=26832 vsize=868108 CPUtime=1799.19
/proc/26834/task/26836/stat : 26836 (java) R 26832 26834 25920 0 -1 64 29433 718 1 0 179883 22 13 1 25 0 9 0 28133160 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4126383021 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26837] ppid=26832 vsize=868108 CPUtime=0.51
/proc/26834/task/26837/stat : 26837 (java) S 26832 26834 25920 0 -1 64 22407 718 0 0 31 6 13 1 16 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26838] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26838/stat : 26838 (java) S 26832 26834 25920 0 -1 64 22 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26839] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26839/stat : 26839 (java) S 26832 26834 25920 0 -1 64 9 718 0 0 0 0 13 1 15 0 9 0 28133162 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26840] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26840/stat : 26840 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 24 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26841] ppid=26832 vsize=868108 CPUtime=0.58
/proc/26834/task/26841/stat : 26841 (java) S 26832 26834 25920 0 -1 64 1023 718 0 0 43 1 13 1 16 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26834/tid=26842] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26842/stat : 26842 (java) S 26832 26834 25920 0 -1 64 1 718 0 0 0 0 13 1 25 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26834/tid=26843] ppid=26832 vsize=868108 CPUtime=0.14
/proc/26834/task/26843/stat : 26843 (java) S 26832 26834 25920 0 -1 64 40 718 0 0 0 0 13 1 15 0 9 0 28133164 888942592 33581 996147200 134512640 134550932 4294955968 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) 868108
Child status: 143
Real time (s): 1812.14
CPU time (s): 1800.1
CPU user time (s): 1799.74
CPU system time (s): 0.356945
CPU usage (%): 99.3354
Max. virtual memory (cumulated for all children) (KiB): 869972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54490
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= 38539
involuntary context switches= 66572
runsolver used 2.55761 second user time and 5.69913 second system time
The end
Begin job on node25 at 2009-07-12 16:57:48
IDJOB=2096753
IDBENCH=56620
IDSOLVER=773
FILE ID=node25/2096753-1247410668
PBS_JOBID= 9510594
Free space on /tmp= 66312 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-21-10.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2096753-1247410668/watcher-2096753-1247410668 -o /tmp/evaluation-result-2096753-1247410668/solver-2096753-1247410668 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096753-1247410668.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7bcb9756efafd11bd2e8436c9abc02f0
RANDOM SEED=223929495
node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1612488 kB
Buffers: 63656 kB
Cached: 210316 kB
SwapCached: 0 kB
Active: 252988 kB
Inactive: 124764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1612488 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3128 kB
Writeback: 0 kB
Mapped: 124276 kB
Slab: 50676 kB
Committed_AS: 985620 kB
PageTables: 2064 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= 66312 MiB
End job on node25 at 2009-07-12 17:28:02