0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097320-1247412060.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.48/0.55 nbVariables=1089 nbDomainTypes=1 minDomainSize=33 maxDomainSize=33 nbTotalValues=35937
0.48/0.55 => wckTime=0.307 cpuTime=0.2 mem=10M818
0.48/0.55
0.48/0.55 predicates being loaded...
0.57/0.61
0.57/0.61 constraints being loaded...
30.37/30.77 nbConstraints=18451 nbGlobalConstraints=995 nbConvertedConstraints=17456 nbConvertConstraintsChecks=8869905
30.37/30.77 nbExtensionStructures=8145 nbSharedExtensionStructures=17451 nbConflictsStructures=9105
30.37/30.77 nbSharedConflictsStructures=17451 nbSharedBinaryRepresentations=537371 minDegree=33 maxDegree=35 minArity=2
30.37/30.77 avgArity=2.06 maxArity=33 nbGenerators=962 nbFusions=962 symmetryWckTime=25.592 symmetryCpuTime=4.94
30.37/30.77 nbCliques=33
30.37/30.77 => wckTime=30.527 cpuTime=9.36 mem=42M229
30.68/31.01
30.68/31.01 solver IterativeSystematicSolver being built...
30.68/31.08
30.68/31.08 INFO : Forward propagation technique limited
30.86/31.22 => wckTime=30.977 cpuTime=9.52 mem=46M858
31.56/31.99
31.56/31.99 preprocessing
31.56/31.99 nbConstraintChecks=459448 nbPropagations=12638 nbRevisions=149119 nbUselessRevisions=140003
31.56/31.99 nbSingletonTests=1924 nbEffectiveSingletonTests=0 nbACRemovals=30878 nbFoundSingletons=0 nbRemovedValues=30878
31.56/31.99 nbRemovedTuples=1056 detectedInconsistency=no
31.56/31.99 => wckTime=0.764 cpuTime=0.71 mem=46M858
34.03/34.44
34.03/34.44 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=52M976)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097320-1247412060/watcher-2097320-1247412060 -o /tmp/evaluation-result-2097320-1247412060/solver-2097320-1247412060 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097320-1247412060.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: 2.00 1.98 1.99 4/80 3995
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=18576 CPUtime=0
/proc/3995/stat : 3995 (runsolver) R 3993 3995 32668 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28270240 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 213116316967 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3995/statm: 4644 284 249 26 0 2626 0
[startup+0.0827909 s]
/proc/loadavg: 2.00 1.98 1.99 4/80 3995
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=864148 CPUtime=0.06
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 3134 0 1 0 5 1 0 0 18 0 9 0 28270240 884887552 2619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 216037 2619 1241 9 0 210930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864148
[startup+0.102793 s]
/proc/loadavg: 2.00 1.98 1.99 4/80 3995
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=865984 CPUtime=0.08
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 3787 0 1 0 7 1 0 0 18 0 9 0 28270240 886767616 3238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 216496 3238 1708 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302833 s]
/proc/loadavg: 2.00 1.98 1.99 4/80 3995
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=866296 CPUtime=0.28
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 5701 0 1 0 26 2 0 0 18 0 9 0 28270240 887087104 5104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 216574 5104 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.70191 s]
/proc/loadavg: 2.00 1.98 1.99 4/80 3995
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=867812 CPUtime=0.68
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 8628 0 1 0 63 5 0 0 18 0 9 0 28270240 888639488 7982 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 216953 7982 2036 9 0 211389 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867812
[startup+1.50106 s]
/proc/loadavg: 2.08 2.00 2.00 3/89 4004
/proc/meminfo: memFree=1712024/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=867724 CPUtime=1.47
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 19135 0 1 0 136 11 0 0 18 0 9 0 28270240 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 216931 18463 2028 9 0 211389 0
[pid=3995/tid=3997] ppid=3993 vsize=867724 CPUtime=1.18
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 15799 0 1 0 110 8 0 0 25 0 9 0 28270241 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 102640191 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3998] ppid=3993 vsize=867724 CPUtime=0.09
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 1961 0 0 0 8 1 0 0 16 0 9 0 28270243 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=867724 CPUtime=0
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28270243 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=867724 CPUtime=0
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28270243 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4001] ppid=3993 vsize=867724 CPUtime=0
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28270245 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=867724 CPUtime=0.18
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 673 0 0 0 17 1 0 0 16 0 9 0 28270245 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=867724 CPUtime=0
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28270245 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=867724 CPUtime=0
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28270245 888549376 18463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867724
[startup+3.10136 s]
/proc/loadavg: 2.08 2.00 2.00 3/89 4004
/proc/meminfo: memFree=1684632/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=867728 CPUtime=3.06
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 19234 0 1 0 266 40 0 0 18 0 9 0 28270240 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 216932 18559 2031 9 0 211390 0
[pid=3995/tid=3997] ppid=3993 vsize=867728 CPUtime=2.68
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 15832 0 1 0 232 36 0 0 25 0 9 0 28270241 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3998] ppid=3993 vsize=867728 CPUtime=0.09
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 1961 0 0 0 8 1 0 0 16 0 9 0 28270243 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=867728 CPUtime=0
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28270243 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=867728 CPUtime=0
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28270243 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4001] ppid=3993 vsize=867728 CPUtime=0
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28270245 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=867728 CPUtime=0.26
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 739 0 0 0 25 1 0 0 15 0 9 0 28270245 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=867728 CPUtime=0
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28270245 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=867728 CPUtime=0
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28270245 888553472 18559 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867728
[startup+6.30196 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 4004
/proc/meminfo: memFree=1661912/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868048 CPUtime=5.38
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 24959 0 1 0 453 85 0 0 18 0 10 0 28270240 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217012 24030 2035 9 0 211470 0
[pid=3995/tid=3997] ppid=3993 vsize=868048 CPUtime=4.74
/proc/3995/task/3997/stat : 3997 (java) S 3993 3995 32668 0 -1 64 16039 0 1 0 395 79 0 0 15 0 10 0 28270241 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868048 CPUtime=0.33
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 7396 0 0 0 30 3 0 0 18 0 10 0 28270243 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28270243 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28270243 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 28270245 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868048 CPUtime=0.27
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 749 0 0 0 26 1 0 0 15 0 10 0 28270245 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 28270245 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4004/stat : 4004 (java) R 3993 3995 32668 0 -1 64 8 0 0 0 0 0 0 0 15 0 10 0 28270245 888881152 24030 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 868048
[startup+12.7022 s]
/proc/loadavg: 2.07 2.00 2.00 3/91 4006
/proc/meminfo: memFree=1655816/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868048 CPUtime=5.4
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 25501 0 1 0 455 85 0 0 18 0 10 0 28270240 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217012 24031 2035 9 0 211470 0
[pid=4006] ppid=3995 vsize=7948 CPUtime=7.15
/proc/4006/stat : 4006 (saucy) R 3995 3995 32668 0 -1 4194304 1475 0 0 0 713 2 0 0 25 0 1 0 28270785 8138752 1441 996147200 134512640 134531332 4294956000 18446744073709551615 134523105 0 4 0 0 0 0 0 17 1 0 0
/proc/4006/statm: 1987 1441 104 4 0 1663 0
[pid=3995/tid=3997] ppid=3993 vsize=868048 CPUtime=4.77
/proc/3995/task/3997/stat : 3997 (java) S 3993 3995 32668 0 -1 64 16481 0 1 0 397 80 0 0 15 0 10 0 28270241 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868048 CPUtime=0.33
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 7442 0 0 0 30 3 0 0 16 0 10 0 28270243 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28270243 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28270243 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868048 CPUtime=0.28
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 800 0 0 0 27 1 0 0 16 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4005] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4005/stat : 4005 (java) S 3993 3995 32668 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 28270785 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 875996
[startup+25.5026 s]
/proc/loadavg: 2.05 2.00 2.00 3/91 4006
/proc/meminfo: memFree=1654984/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868048 CPUtime=5.43
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 25923 0 1 0 457 86 0 0 18 0 10 0 28270240 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217012 24031 2035 9 0 211470 0
[pid=4006] ppid=3995 vsize=8872 CPUtime=19.8
/proc/4006/stat : 4006 (saucy) R 3995 3995 32668 0 -1 4194304 1706 0 0 0 1978 2 0 0 25 0 1 0 28270785 9084928 1672 996147200 134512640 134531332 4294956000 18446744073709551615 134523061 0 4 0 0 0 0 0 17 1 0 0
/proc/4006/statm: 2218 1672 104 4 0 1894 0
[pid=3995/tid=3997] ppid=3993 vsize=868048 CPUtime=4.79
/proc/3995/task/3997/stat : 3997 (java) S 3993 3995 32668 0 -1 64 16903 0 1 0 399 80 0 0 15 0 10 0 28270241 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868048 CPUtime=0.33
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 7442 0 0 0 30 3 0 0 16 0 10 0 28270243 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28270243 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28270243 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868048 CPUtime=0.28
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 800 0 0 0 27 1 0 0 16 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 28270245 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4005] ppid=3993 vsize=868048 CPUtime=0
/proc/3995/task/4005/stat : 4005 (java) S 3993 3995 32668 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 28270785 888881152 24031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 876920
[startup+51.1024 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 4008
/proc/meminfo: memFree=1656456/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=50.57
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 42999 1836 1 0 2947 91 2016 3 18 0 9 0 28270240 889303040 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26107 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=49.49
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 25968 1836 1 0 2847 83 2016 3 25 0 9 0 28270241 889303040 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4127430661 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.36
Current children cumulated vsize (KiB) 868460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4047
/proc/meminfo: memFree=1548104/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=1592.33
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 43042 1836 1 0 157121 93 2016 3 18 0 9 0 28270240 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26108 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=1591.26
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 26010 1836 1 0 157022 85 2016 3 25 0 9 0 28270241 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4125952176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 21 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.33
Current children cumulated vsize (KiB) 868460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4047
/proc/meminfo: memFree=1548104/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=1652.3
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 43042 1836 1 0 163118 93 2016 3 18 0 9 0 28270240 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26108 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=1651.23
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 26010 1836 1 0 163019 85 2016 3 25 0 9 0 28270241 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4127435409 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 21 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.3
Current children cumulated vsize (KiB) 868460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4047
/proc/meminfo: memFree=1547976/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=1712.27
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 43042 1836 1 0 169115 93 2016 3 18 0 9 0 28270240 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26108 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=1711.2
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 26010 1836 1 0 169016 85 2016 3 25 0 9 0 28270241 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4127237575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 21 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.27
Current children cumulated vsize (KiB) 868460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4047
/proc/meminfo: memFree=1547912/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=1772.24
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 43042 1836 1 0 175112 93 2016 3 18 0 9 0 28270240 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26108 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=1771.18
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 26010 1836 1 0 175013 86 2016 3 25 0 9 0 28270241 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4127531808 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 21 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.24
Current children cumulated vsize (KiB) 868460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4049
/proc/meminfo: memFree=1547848/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=1800.03
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 43042 1836 1 0 177891 93 2016 3 18 0 9 0 28270240 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26108 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=1798.97
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 26010 1836 1 0 177792 86 2016 3 25 0 9 0 28270241 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4127530707 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 21 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4049
/proc/meminfo: memFree=1547848/2055920 swapFree=4192812/4192956
[pid=3995] ppid=3993 vsize=868460 CPUtime=1800.03
/proc/3995/stat : 3995 (java) S 3993 3995 32668 0 -1 0 43042 1836 1 0 177891 93 2016 3 18 0 9 0 28270240 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3995/statm: 217115 26108 2661 9 0 211551 0
[pid=3995/tid=3997] ppid=3993 vsize=868460 CPUtime=1798.97
/proc/3995/task/3997/stat : 3997 (java) R 3993 3995 32668 0 -1 64 26010 1836 1 0 177792 86 2016 3 25 0 9 0 28270241 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4127530707 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=3998] ppid=3993 vsize=868460 CPUtime=20.75
/proc/3995/task/3998/stat : 3998 (java) S 3993 3995 32668 0 -1 64 14979 1836 0 0 52 4 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=3999] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/3999/stat : 3999 (java) S 3993 3995 32668 0 -1 64 21 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4000] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4000/stat : 4000 (java) S 3993 3995 32668 0 -1 64 10 1836 0 0 0 0 2016 3 16 0 9 0 28270243 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3995/tid=4001] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4001/stat : 4001 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 18 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4002] ppid=3993 vsize=868460 CPUtime=20.66
/proc/3995/task/4002/stat : 4002 (java) S 3993 3995 32668 0 -1 64 1204 1836 0 0 46 1 2016 3 17 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4003] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4003/stat : 4003 (java) S 3993 3995 32668 0 -1 64 1 1836 0 0 0 0 2016 3 19 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3995/tid=4004] ppid=3993 vsize=868460 CPUtime=20.19
/proc/3995/task/4004/stat : 4004 (java) S 3993 3995 32668 0 -1 64 16 1836 0 0 0 0 2016 3 15 0 9 0 28270245 889303040 26108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868460
Child status: 143
Real time (s): 1810.18
CPU time (s): 1800.14
CPU user time (s): 1799.15
CPU system time (s): 0.994848
CPU usage (%): 99.4452
Max. virtual memory (cumulated for all children) (KiB): 876920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44910
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= 38700
involuntary context switches= 46988
runsolver used 2.94955 second user time and 5.29719 second system time
The end
Begin job on node37 at 2009-07-12 17:21:01
IDJOB=2097320
IDBENCH=57127
IDSOLVER=774
FILE ID=node37/2097320-1247412060
PBS_JOBID= 9510569
Free space on /tmp= 66428 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-33.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097320-1247412060/watcher-2097320-1247412060 -o /tmp/evaluation-result-2097320-1247412060/solver-2097320-1247412060 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097320-1247412060.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a33ade48f1369c9e2e6c8441d1f4ca57
RANDOM SEED=1107140081
node37.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.260
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.260
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: 1751744 kB
Buffers: 36472 kB
Cached: 123328 kB
SwapCached: 0 kB
Active: 178888 kB
Inactive: 71392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6976 kB
Writeback: 0 kB
Mapped: 110916 kB
Slab: 38988 kB
Committed_AS: 1022748 kB
PageTables: 1916 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= 66424 MiB
End job on node37 at 2009-07-12 17:51:13