0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1068352-1215153554.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.29/0.35 nbVariables=110 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=2860
0.29/0.35 => wckTime=0.115 cpuTime=0.1 mem=7M919
0.29/0.35
0.29/0.35 relations being loaded...
0.49/0.56
0.49/0.56 constraints being loaded...
0.59/0.64 Too large in ConstraintConflictsSTructure
0.59/0.69 Too large in ConstraintConflictsSTructure
0.69/0.75 nbConstraints=21 nbRelationTypes=2 nbGlobalConstraints=21 nbExtensionStructures=2
0.69/0.79 nbSharedExtensionStructures=19 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=0 minDegree=2
0.69/0.79 maxDegree=2 minArity=10 avgArity=10.48 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.052
0.69/0.79 symmetryCpuTime=0.03
0.69/0.79 => wckTime=0.515 cpuTime=0.43 mem=44M204
0.77/0.84
0.77/0.85 solver IterativeSystematicSolver being built...
0.87/0.92
0.87/0.92 INFO : Forward propagation technique limited
0.87/0.99 => wckTime=0.755 cpuTime=0.56 mem=29M889
3.07/3.14
3.07/3.14 preprocessing
3.07/3.14 nbConstraintChecks=0 nbValidityChecks=19437455 nbPropagations=2818 nbRevisions=0 nbUselessRevisions=0
3.07/3.14 nbSingletonTests=126 nbEffectiveSingletonTests=0 nbACRemovals=68 nbFoundSingletons=0 nbRemovedValues=68
3.07/3.14 detectedInconsistency=no
3.07/3.14 => wckTime=2.142 cpuTime=2.07 mem=30M780
8.71/8.83
8.71/8.83 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M688)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068352-1215153554/watcher-1068352-1215153554 -o /tmp/evaluation-result-1068352-1215153554/solver-1068352-1215153554 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1068352-1215153554.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 1.99 4/74 24907
/proc/meminfo: memFree=1599528/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=272 CPUtime=0
/proc/24907/stat : 24907 (java) D 24905 24907 21536 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 1545027591 278528 37 996147200 134512640 134550740 4294955968 18446744073709551615 9274148 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/24907/statm: 404 126 100 9 0 46 0
[startup+0.0920701 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 24907
/proc/meminfo: memFree=1599528/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=865884 CPUtime=0.07
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 3673 0 1 0 5 2 0 0 18 0 9 0 1545027591 886665216 3148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216471 3152 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865884
[startup+0.101068 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 24907
/proc/meminfo: memFree=1599528/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=865884 CPUtime=0.09
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 3794 0 1 0 7 2 0 0 18 0 9 0 1545027591 886665216 3245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216471 3245 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301088 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 24907
/proc/meminfo: memFree=1599528/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=866400 CPUtime=0.29
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 6050 0 1 0 25 4 0 0 18 0 9 0 1545027591 887193600 5424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216600 5424 1958 9 0 211128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866400
[startup+0.701133 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 24907
/proc/meminfo: memFree=1599528/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=866520 CPUtime=0.69
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 14891 0 1 0 61 8 0 0 18 0 9 0 1545027591 887316480 14251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216630 14259 1985 9 0 211158 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866520
[startup+1.50223 s]
/proc/loadavg: 1.92 1.98 1.99 4/85 24920
/proc/meminfo: memFree=1536528/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=866932 CPUtime=1.48
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 26590 270 1 0 134 13 0 1 18 0 9 0 1545027591 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216733 18268 2631 9 0 211239 0
[pid=24907/tid=24908] ppid=24905 vsize=866932 CPUtime=1.21
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 18829 270 1 0 111 9 0 1 21 0 9 0 1545027592 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4126779531 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24910] ppid=24905 vsize=866932 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=866932 CPUtime=0.17
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 525 270 0 0 16 0 0 1 15 0 9 0 1545027596 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887738368 18268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866932
[startup+3.10242 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 24920
/proc/meminfo: memFree=1536280/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=866932 CPUtime=3.07
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 26597 270 1 0 293 13 0 1 18 0 9 0 1545027591 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216733 18273 2631 9 0 211239 0
[pid=24907/tid=24908] ppid=24905 vsize=866932 CPUtime=2.79
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 18829 270 1 0 269 9 0 1 25 0 9 0 1545027592 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4126779731 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24910] ppid=24905 vsize=866932 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 17 0 9 0 1545027594 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=866932 CPUtime=0.18
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 532 270 0 0 17 0 0 1 15 0 9 0 1545027596 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=866932 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887738368 18273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866932
[startup+6.30178 s]
/proc/loadavg: 1.93 1.98 1.99 3/83 24920
/proc/meminfo: memFree=1536024/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=6.24
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 26891 270 1 0 610 13 0 1 18 0 9 0 1545027591 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18291 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=5.93
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19110 270 1 0 583 9 0 1 25 0 9 0 1545027592 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4126779714 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 17 0 9 0 1545027594 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.21
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 545 270 0 0 20 0 0 1 15 0 9 0 1545027596 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867052
[startup+12.7025 s]
/proc/loadavg: 1.93 1.98 1.99 3/84 24921
/proc/meminfo: memFree=1535888/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=12.57
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 26918 270 1 0 1243 13 0 1 18 0 9 0 1545027591 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18295 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=12.26
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19133 270 1 0 1216 9 0 1 25 0 9 0 1545027592 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4126779714 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.22
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 549 270 0 0 21 0 0 1 15 0 9 0 1545027596 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867052
[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/84 24921
/proc/meminfo: memFree=1535824/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=25.25
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 26944 270 1 0 2511 13 0 1 18 0 9 0 1545027591 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18305 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=24.91
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19144 270 1 0 2481 9 0 1 25 0 9 0 1545027592 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4126779955 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.24
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 564 270 0 0 23 0 0 1 16 0 9 0 1545027596 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867052
[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.99 3/84 24921
/proc/meminfo: memFree=1535824/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=50.61
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 26970 270 1 0 5046 14 0 1 18 0 9 0 1545027591 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18311 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=50.25
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19162 270 1 0 5015 9 0 1 25 0 9 0 1545027592 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4126779647 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.25
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 572 270 0 0 24 0 0 1 16 0 9 0 1545027596 887861248 18311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
################
# More data... #
################
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.16
Current children cumulated vsize (KiB) 867052
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 24978
/proc/meminfo: memFree=1468304/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=1593.1
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 27435 270 1 0 159288 21 0 1 18 0 9 0 1545027591 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18314 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=1592.73
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19621 270 1 0 159256 16 0 1 25 0 9 0 1545027592 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4126769227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.1
Current children cumulated vsize (KiB) 867052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 24978
/proc/meminfo: memFree=1441936/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=1653.03
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 27462 270 1 0 165281 21 0 1 18 0 9 0 1545027591 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18314 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=1652.67
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19648 270 1 0 165249 17 0 1 25 0 9 0 1545027592 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4126800932 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.03
Current children cumulated vsize (KiB) 867052
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 24978
/proc/meminfo: memFree=1442000/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=1712.97
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 27487 270 1 0 171275 21 0 1 18 0 9 0 1545027591 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18314 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=1712.61
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19673 270 1 0 171243 17 0 1 25 0 9 0 1545027592 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4126779734 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.97
Current children cumulated vsize (KiB) 867052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 24978
/proc/meminfo: memFree=1441936/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=1772.91
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 27531 270 1 0 177269 21 0 1 18 0 9 0 1545027591 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18314 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=1772.55
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19717 270 1 0 177237 17 0 1 25 0 9 0 1545027592 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4126841057 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.91
Current children cumulated vsize (KiB) 867052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 24978
/proc/meminfo: memFree=1441936/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=1800.09
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 27556 270 1 0 179987 21 0 1 18 0 9 0 1545027591 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18314 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=1799.73
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19742 270 1 0 179955 17 0 1 25 0 9 0 1545027592 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4126779840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 867052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 24978
/proc/meminfo: memFree=1441936/2055920 swapFree=4097888/4192956
[pid=24907] ppid=24905 vsize=867052 CPUtime=1800.09
/proc/24907/stat : 24907 (java) S 24905 24907 21536 0 -1 0 27556 270 1 0 179987 21 0 1 18 0 9 0 1545027591 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24907/statm: 216763 18314 2631 9 0 211269 0
[pid=24907/tid=24908] ppid=24905 vsize=867052 CPUtime=1799.73
/proc/24907/task/24908/stat : 24908 (java) R 24905 24907 21536 0 -1 64 19742 270 1 0 179955 17 0 1 25 0 9 0 1545027592 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4126779840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24907/tid=24910] ppid=24905 vsize=867052 CPUtime=0.08
/proc/24907/task/24910/stat : 24910 (java) S 24905 24907 21536 0 -1 64 6401 270 0 0 6 1 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24911] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24911/stat : 24911 (java) S 24905 24907 21536 0 -1 64 15 270 0 0 0 0 0 1 16 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24912] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24912/stat : 24912 (java) S 24905 24907 21536 0 -1 64 8 270 0 0 0 0 0 1 15 0 9 0 1545027594 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24913] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24913/stat : 24913 (java) S 24905 24907 21536 0 -1 64 0 270 0 0 0 0 0 1 18 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24914] ppid=24905 vsize=867052 CPUtime=0.26
/proc/24907/task/24914/stat : 24914 (java) S 24905 24907 21536 0 -1 64 578 270 0 0 25 0 0 1 16 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24915] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24915/stat : 24915 (java) S 24905 24907 21536 0 -1 64 2 270 0 0 0 0 0 1 19 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24907/tid=24916] ppid=24905 vsize=867052 CPUtime=0.01
/proc/24907/task/24916/stat : 24916 (java) S 24905 24907 21536 0 -1 64 6 270 0 0 0 0 0 1 15 0 9 0 1545027596 887861248 18314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 867052
Child status: 143
Real time (s): 1809.59
CPU time (s): 1800.18
CPU user time (s): 1799.94
CPU system time (s): 0.243962
CPU usage (%): 99.4805
Max. virtual memory (cumulated for all children) (KiB): 867052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27860
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= 37913
involuntary context switches= 58324
runsolver used 2.39164 second user time and 5.86111 second system time
The end
Begin job on node32 at 2008-07-04 08:39:14
IDJOB=1068352
IDBENCH=55510
IDSOLVER=364
FILE ID=node32/1068352-1215153554
PBS_JOBID= 7877317
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg10-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068352-1215153554/watcher-1068352-1215153554 -o /tmp/evaluation-result-1068352-1215153554/solver-1068352-1215153554 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1068352-1215153554.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7036052caed6c16652ecdb620a34b2a1
RANDOM SEED=1059833009
node32.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.218
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.218
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: 1600008 kB
Buffers: 19500 kB
Cached: 110948 kB
SwapCached: 88308 kB
Active: 361848 kB
Inactive: 41632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1600008 kB
SwapTotal: 4192956 kB
SwapFree: 4097888 kB
Dirty: 3432 kB
Writeback: 0 kB
Mapped: 279276 kB
Slab: 36888 kB
Committed_AS: 3529116 kB
PageTables: 2680 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66504 MiB
End job on node32 at 2008-07-04 09:09:26