0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1064410-1215141244.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.37 nbVariables=77 nbDomainTypes=5 minDomainSize=1 maxDomainSize=41 nbTotalValues=1477
0.28/0.37 => wckTime=0.127 cpuTime=0.13 mem=7M919
0.28/0.37
0.28/0.37 predicates being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
1.37/1.49 nbConstraints=350 nbSingletonDomainVariables=2 nbConflictsStructures=44 nbSharedConflictsStructures=6
1.37/1.49 nbUnbuiltConflictsStructures=255 nbSharedBinaryRepresentations=0 nbEvaluationManagers=299
1.37/1.49 nbSharedEvaluationManagers=51 minDegree=25 maxDegree=26 minArity=3 avgArity=5.57 maxArity=6 nbGenerators=0
1.37/1.49 nbFusions=0 symmetryWckTime=0.093 symmetryCpuTime=0.05
1.37/1.49 => wckTime=1.249 cpuTime=1.01 mem=8M613
1.46/1.55
1.46/1.55 solver IterativeSystematicSolver being built...
1.56/1.66
1.56/1.66 INFO : Forward propagation technique limited
1.66/1.72 => wckTime=1.481 cpuTime=1.15 mem=26M812
1.66/1.74
1.66/1.74 preprocessing
1.66/1.74 nbConstraintChecks=276 nbPropagations=77 nbRevisions=54 nbUselessRevisions=4 nbRemovedValues=136
1.66/1.74 detectedInconsistency=no
1.66/1.74 => wckTime=0.015 cpuTime=0.01 mem=26M812
3.84/3.97
3.84/3.97 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M813)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064410-1215141244/watcher-1064410-1215141244 -o /tmp/evaluation-result-1064410-1215141244/solver-1064410-1215141244 -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-1064410-1215141244.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: 1.92 1.98 2.07 4/89 25834
/proc/meminfo: memFree=1751760/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=18572 CPUtime=0
/proc/25834/stat : 25834 (runsolver) R 25832 25834 23976 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1993091526 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 251601153319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25834/statm: 4643 292 257 25 0 2626 0
[startup+0.105801 s]
/proc/loadavg: 1.92 1.98 2.07 4/89 25834
/proc/meminfo: memFree=1751760/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=865884 CPUtime=0.08
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 3807 0 1 0 7 1 0 0 18 0 9 0 1993091526 886665216 3258 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216471 3258 1723 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.20181 s]
/proc/loadavg: 1.92 1.98 2.07 4/89 25834
/proc/meminfo: memFree=1751760/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=866048 CPUtime=0.18
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 4636 0 1 0 15 3 0 0 18 0 9 0 1993091526 886833152 4063 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216512 4063 1858 9 0 211060 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.301825 s]
/proc/loadavg: 1.92 1.98 2.07 4/89 25834
/proc/meminfo: memFree=1751760/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=866260 CPUtime=0.28
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 5844 0 1 0 24 4 0 0 18 0 9 0 1993091526 887050240 5218 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216565 5218 1955 9 0 211093 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866260
[startup+0.70187 s]
/proc/loadavg: 1.92 1.98 2.07 4/89 25834
/proc/meminfo: memFree=1751760/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867076 CPUtime=0.68
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 7998 0 1 0 63 5 0 0 18 0 9 0 1993091526 887885824 7358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216769 7358 2008 9 0 211275 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867076
[startup+1.50196 s]
/proc/loadavg: 1.92 1.98 2.07 3/98 25843
/proc/meminfo: memFree=1710984/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867764 CPUtime=1.46
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 19205 315 1 0 132 13 0 1 18 0 9 0 1993091526 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216941 16961 2060 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867764 CPUtime=1.22
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 16529 315 1 0 110 11 0 1 24 0 9 0 1993091528 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867764 CPUtime=0.03
/proc/25834/task/25837/stat : 25837 (java) R 25832 25834 23976 0 -1 64 1171 315 0 0 2 0 0 1 16 0 9 0 1993091529 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867764 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 13 315 0 0 0 0 0 1 16 0 9 0 1993091529 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867764 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 5 315 0 0 0 0 0 1 16 0 9 0 1993091529 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867764 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867764 CPUtime=0.2
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 664 315 0 0 19 0 0 1 16 0 9 0 1993091531 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867764 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867764 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091532 888590336 16961 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867764
[startup+3.10114 s]
/proc/loadavg: 1.92 1.98 2.07 3/98 25847
/proc/meminfo: memFree=1688456/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=3.05
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27369 315 1 0 289 15 0 1 18 0 9 0 1993091526 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18249 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=2.67
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22694 315 1 0 254 12 0 1 25 0 9 0 1993091528 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4125976525 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 17 0 9 0 1993091529 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.28
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 769 315 0 0 27 0 0 1 16 0 9 0 1993091531 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867852
[startup+6.30249 s]
/proc/loadavg: 1.93 1.98 2.07 3/98 25847
/proc/meminfo: memFree=1688264/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=6.23
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27411 315 1 0 607 15 0 1 18 0 9 0 1993091526 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18256 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=5.85
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22718 315 1 0 572 12 0 1 25 0 9 0 1993091528 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4126770231 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 17 0 9 0 1993091529 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.29
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 777 315 0 0 28 0 0 1 15 0 9 0 1993091531 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18256 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867852
[startup+12.7022 s]
/proc/loadavg: 1.93 1.98 2.07 3/98 25847
/proc/meminfo: memFree=1688016/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=12.6
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27458 315 1 0 1244 15 0 1 18 0 9 0 1993091526 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18266 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=12.19
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22722 315 1 0 1206 12 0 1 25 0 9 0 1993091528 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4126789124 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 17 0 9 0 1993091529 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 820 315 0 0 31 0 0 1 17 0 9 0 1993091531 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867852
[startup+25.5016 s]
/proc/loadavg: 1.95 1.98 2.07 3/98 25847
/proc/meminfo: memFree=1688016/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=25.34
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27463 315 1 0 2517 16 0 1 18 0 9 0 1993091526 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18267 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=24.93
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22725 315 1 0 2479 13 0 1 25 0 9 0 1993091528 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4126757992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 822 315 0 0 31 0 0 1 15 0 9 0 1993091531 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18267 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867852
[startup+51.1015 s]
/proc/loadavg: 1.96 1.98 2.07 3/98 25847
/proc/meminfo: memFree=1687952/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=50.82
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27471 315 1 0 5065 16 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=50.41
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22729 315 1 0 5027 13 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4126770242 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 17 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
################
# More data... #
################
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.46
Current children cumulated vsize (KiB) 867852
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/98 25933
/proc/meminfo: memFree=1739208/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=1595.17
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27487 315 1 0 159498 18 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=1594.75
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22745 315 1 0 159459 15 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4126791001 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.17
Current children cumulated vsize (KiB) 867852
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/98 25933
/proc/meminfo: memFree=1739208/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=1654.88
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27487 315 1 0 165469 18 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=1654.46
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22745 315 1 0 165430 15 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4127062160 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.88
Current children cumulated vsize (KiB) 867852
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/98 25933
/proc/meminfo: memFree=1739144/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=1714.59
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27487 315 1 0 171440 18 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=1714.17
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22745 315 1 0 171401 15 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4126770279 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.59
Current children cumulated vsize (KiB) 867852
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/98 25933
/proc/meminfo: memFree=1738952/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=1774.3
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27487 315 1 0 177411 18 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=1773.88
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22745 315 1 0 177372 15 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4126791009 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.3
Current children cumulated vsize (KiB) 867852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.2 s]
/proc/loadavg: 2.10 2.05 2.00 3/98 25933
/proc/meminfo: memFree=1738952/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=1800.07
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27487 315 1 0 179988 18 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=1799.66
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22745 315 1 0 179950 15 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4126789623 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 867852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.2 s]
/proc/loadavg: 2.10 2.05 2.00 3/98 25933
/proc/meminfo: memFree=1738952/2055920 swapFree=4176356/4192956
[pid=25834] ppid=25832 vsize=867852 CPUtime=1800.07
/proc/25834/stat : 25834 (java) S 25832 25834 23976 0 -1 0 27487 315 1 0 179988 18 0 1 18 0 9 0 1993091526 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25834/statm: 216963 18270 2636 9 0 211469 0
[pid=25834/tid=25836] ppid=25832 vsize=867852 CPUtime=1799.66
/proc/25834/task/25836/stat : 25836 (java) R 25832 25834 23976 0 -1 64 22745 315 1 0 179950 15 0 1 25 0 9 0 1993091528 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4126789623 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25837] ppid=25832 vsize=867852 CPUtime=0.07
/proc/25834/task/25837/stat : 25837 (java) S 25832 25834 23976 0 -1 64 3058 315 0 0 6 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25838] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25838/stat : 25838 (java) S 25832 25834 23976 0 -1 64 17 315 0 0 0 0 0 1 16 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25839] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25839/stat : 25839 (java) S 25832 25834 23976 0 -1 64 8 315 0 0 0 0 0 1 15 0 9 0 1993091529 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25840] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25840/stat : 25840 (java) S 25832 25834 23976 0 -1 64 0 315 0 0 0 0 0 1 18 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25841] ppid=25832 vsize=867852 CPUtime=0.32
/proc/25834/task/25841/stat : 25841 (java) S 25832 25834 23976 0 -1 64 826 315 0 0 31 0 0 1 16 0 9 0 1993091531 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25842] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25842/stat : 25842 (java) S 25832 25834 23976 0 -1 64 2 315 0 0 0 0 0 1 19 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25834/tid=25843] ppid=25832 vsize=867852 CPUtime=0.01
/proc/25834/task/25843/stat : 25843 (java) S 25832 25834 23976 0 -1 64 18 315 0 0 0 0 0 1 15 0 9 0 1993091532 888680448 18270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 867852
Child status: 143
Real time (s): 1808.24
CPU time (s): 1800.13
CPU user time (s): 1799.92
CPU system time (s): 0.213967
CPU usage (%): 99.5516
Max. virtual memory (cumulated for all children) (KiB): 867852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.213967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27836
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= 37754
involuntary context switches= 53649
runsolver used 2.18367 second user time and 6.05208 second system time
The end
Begin job on node91 at 2008-07-04 05:14:04
IDJOB=1064410
IDBENCH=54945
IDSOLVER=363
FILE ID=node91/1064410-1215141244
PBS_JOBID= 7877326
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/tdsp/normalized-C2-1-15.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-1064410-1215141244/watcher-1064410-1215141244 -o /tmp/evaluation-result-1064410-1215141244/solver-1064410-1215141244 -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-1064410-1215141244.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 40fd1462beb1882ea3b8d112ab0c1152
RANDOM SEED=1889996940
node91.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1752240 kB
Buffers: 10808 kB
Cached: 105484 kB
SwapCached: 7740 kB
Active: 220588 kB
Inactive: 37496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1752240 kB
SwapTotal: 4192956 kB
SwapFree: 4176356 kB
Dirty: 2092 kB
Writeback: 0 kB
Mapped: 154852 kB
Slab: 29932 kB
Committed_AS: 13099328 kB
PageTables: 2508 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= 66552 MiB
End job on node91 at 2008-07-04 05:44:15