0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1070579-1215165929.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.58/0.60 nbVariables=2800 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=5600
0.58/0.60 => wckTime=0.358 cpuTime=0.22 mem=14M680
0.58/0.60
0.58/0.60 constraints being loaded...
4.92/5.06 nbConstraints=297 nbGlobalConstraints=297 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=7 minArity=35
4.92/5.06 avgArity=64.98 maxArity=2800 nbGenerators=147 nbFusions=0 symmetryWckTime=4.373 symmetryCpuTime=3.69
4.92/5.06 => wckTime=4.82 cpuTime=3.97 mem=27M454
5.02/5.13
5.02/5.13 solver IterativeSystematicSolver being built...
5.12/5.20
5.12/5.20 INFO : Forward propagation technique limited
5.21/5.38 => wckTime=5.138 cpuTime=4.18 mem=37M875
6.80/6.98
6.80/6.98 preprocessing
6.80/6.98 nbConstraintChecks=0 nbPropagations=5797 nbRevisions=0 nbUselessRevisions=0 nbSingletonTests=2911
6.80/6.98 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
6.80/6.98 => wckTime=1.592 cpuTime=1.54 mem=38M908
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070579-1215165929/watcher-1070579-1215165929 -o /tmp/evaluation-result-1070579-1215165929/solver-1070579-1215165929 -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-1070579-1215165929.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.06 2.02 4/80 16175
/proc/meminfo: memFree=1384248/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=1616 CPUtime=0
/proc/16175/stat : 16175 (java) D 16173 16175 15233 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 700559327 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16175/statm: 404 148 122 9 0 46 0
[startup+0.081727 s]
/proc/loadavg: 2.07 2.06 2.02 4/80 16175
/proc/meminfo: memFree=1384248/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=865856 CPUtime=0.06
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 3357 0 1 0 4 2 0 0 18 0 9 0 700559327 886636544 2871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216464 2871 1559 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101735 s]
/proc/loadavg: 2.07 2.06 2.02 4/80 16175
/proc/meminfo: memFree=1384248/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=865884 CPUtime=0.08
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 3676 0 1 0 6 2 0 0 18 0 9 0 700559327 886665216 3151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216471 3151 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301761 s]
/proc/loadavg: 2.07 2.06 2.02 4/80 16175
/proc/meminfo: memFree=1384248/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=866196 CPUtime=0.28
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 5618 0 1 0 24 4 0 0 18 0 9 0 700559327 886984704 5032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216549 5032 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701828 s]
/proc/loadavg: 2.07 2.06 2.02 4/80 16175
/proc/meminfo: memFree=1384248/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867436 CPUtime=0.68
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 9654 0 1 0 62 6 0 0 18 0 9 0 700559327 888254464 9015 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216859 9015 1987 9 0 211387 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867436
[startup+1.50296 s]
/proc/loadavg: 2.14 2.07 2.03 3/91 16186
/proc/meminfo: memFree=1351456/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867760 CPUtime=1.45
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 16179 437 1 0 86 9 50 0 18 0 10 0 700559327 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216940 12748 2001 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867760 CPUtime=1.22
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 14447 437 1 0 65 7 50 0 18 0 10 0 700559329 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4126949519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 56 437 0 0 0 0 50 0 16 0 10 0 700559331 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 10 437 0 0 0 0 50 0 19 0 10 0 700559331 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 4 437 0 0 0 0 50 0 20 0 10 0 700559331 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 437 0 0 0 0 50 0 18 0 10 0 700559333 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867760 CPUtime=0.7
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 857 437 0 0 20 0 50 0 16 0 10 0 700559333 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 437 0 0 0 0 50 0 19 0 10 0 700559333 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 6 437 0 0 0 0 50 0 15 0 10 0 700559333 888586240 12748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867760
[startup+3.10223 s]
/proc/loadavg: 2.14 2.07 2.03 3/89 16188
/proc/meminfo: memFree=1319016/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867760 CPUtime=3.04
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 26984 561 1 0 240 14 50 0 18 0 9 0 700559327 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216940 19685 2014 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867760 CPUtime=2.75
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20792 561 1 0 215 10 50 0 25 0 9 0 700559329 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4126956033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867760 CPUtime=0.55
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 4493 561 0 0 4 1 50 0 16 0 9 0 700559331 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 17 0 9 0 700559331 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867760 CPUtime=0.7
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 858 561 0 0 20 0 50 0 17 0 9 0 700559333 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867760 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 6 561 0 0 0 0 50 0 15 0 9 0 700559333 888586240 19685 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867760
[startup+6.30176 s]
/proc/loadavg: 2.13 2.07 2.03 3/89 16188
/proc/meminfo: memFree=1311336/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=6.21
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28797 561 1 0 556 15 50 0 18 0 9 0 700559327 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20673 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=5.77
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20982 561 1 0 517 10 50 0 25 0 9 0 700559329 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4127097516 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 17 0 9 0 700559331 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.77
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 934 561 0 0 27 0 50 0 15 0 9 0 700559333 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) R 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20673 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867848
[startup+12.7028 s]
/proc/loadavg: 2.12 2.07 2.03 3/89 16188
/proc/meminfo: memFree=1311080/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=12.54
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28863 561 1 0 1189 15 50 0 18 0 9 0 700559327 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20716 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=12.05
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20995 561 1 0 1144 11 50 0 25 0 9 0 700559329 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4127171582 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.83
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 987 561 0 0 33 0 50 0 15 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867848
[startup+25.502 s]
/proc/loadavg: 2.17 2.08 2.03 3/89 16188
/proc/meminfo: memFree=1311144/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=25.22
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28863 561 1 0 2457 15 50 0 18 0 9 0 700559327 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20716 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=24.73
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20995 561 1 0 2412 11 50 0 25 0 9 0 700559329 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4127171582 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.83
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 987 561 0 0 33 0 50 0 15 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867848
[startup+51.1013 s]
/proc/loadavg: 2.10 2.08 2.03 3/89 16188
/proc/meminfo: memFree=1311144/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=50.58
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 4993 15 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=50.09
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 4948 11 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127079584 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 17 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
################
# More data... #
################
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.19
Current children cumulated vsize (KiB) 867848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16308
/proc/meminfo: memFree=978544/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=1593.14
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 159237 27 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=1592.64
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 159192 22 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127171555 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.14
Current children cumulated vsize (KiB) 867848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 16308
/proc/meminfo: memFree=978544/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=1653.1
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 165233 27 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=1652.6
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 165188 22 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127171489 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.1
Current children cumulated vsize (KiB) 867848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16308
/proc/meminfo: memFree=978480/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=1713.06
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 171229 27 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=1712.57
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 171184 23 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127171529 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.06
Current children cumulated vsize (KiB) 867848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16308
/proc/meminfo: memFree=978416/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=1773.02
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 177225 27 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=1772.52
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 177179 23 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127171555 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.02
Current children cumulated vsize (KiB) 867848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16308
/proc/meminfo: memFree=978416/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=1800.01
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 179924 27 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=1799.51
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 179878 23 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127171539 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 867848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16308
/proc/meminfo: memFree=978416/2055920 swapFree=4156332/4192956
[pid=16175] ppid=16173 vsize=867848 CPUtime=1800.01
/proc/16175/stat : 16175 (java) S 16173 16175 15233 0 -1 0 28865 561 1 0 179924 27 50 0 18 0 9 0 700559327 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 216962 20717 2638 9 0 211468 0
[pid=16175/tid=16177] ppid=16173 vsize=867848 CPUtime=1799.51
/proc/16175/task/16177/stat : 16177 (java) R 16173 16175 15233 0 -1 64 20996 561 1 0 179878 23 50 0 25 0 9 0 700559329 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4127171539 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16175/tid=16178] ppid=16173 vsize=867848 CPUtime=0.63
/proc/16175/task/16178/stat : 16178 (java) S 16173 16175 15233 0 -1 64 6018 561 0 0 11 2 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16179] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16179/stat : 16179 (java) S 16173 16175 15233 0 -1 64 17 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16180] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16180/stat : 16180 (java) S 16173 16175 15233 0 -1 64 11 561 0 0 0 0 50 0 16 0 9 0 700559331 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16181] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16181/stat : 16181 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 18 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16182] ppid=16173 vsize=867848 CPUtime=0.84
/proc/16175/task/16182/stat : 16182 (java) S 16173 16175 15233 0 -1 64 988 561 0 0 34 0 50 0 16 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16183] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16183/stat : 16183 (java) S 16173 16175 15233 0 -1 64 1 561 0 0 0 0 50 0 19 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16175/tid=16184] ppid=16173 vsize=867848 CPUtime=0.5
/proc/16175/task/16184/stat : 16184 (java) S 16173 16175 15233 0 -1 64 28 561 0 0 0 0 50 0 15 0 9 0 700559333 888676352 20717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 867848
Child status: 143
Real time (s): 1809.38
CPU time (s): 1800.11
CPU user time (s): 1799.81
CPU system time (s): 0.301954
CPU usage (%): 99.4879
Max. virtual memory (cumulated for all children) (KiB): 870456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.301954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29456
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= 38222
involuntary context switches= 64109
runsolver used 2.05569 second user time and 6.18506 second system time
The end
Begin job on node58 at 2008-07-04 12:05:29
IDJOB=1070579
IDBENCH=55889
IDSOLVER=364
FILE ID=node58/1070579-1215165929
PBS_JOBID= 7881454
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-chnl35-40-pb-cnf-cr.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-1070579-1215165929/watcher-1070579-1215165929 -o /tmp/evaluation-result-1070579-1215165929/solver-1070579-1215165929 -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-1070579-1215165929.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4b50b0abb24ab2df621c1b0c0f06a4e8
RANDOM SEED=1434674887
node58.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.261
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.261
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: 1384728 kB
Buffers: 97104 kB
Cached: 417768 kB
SwapCached: 30964 kB
Active: 348068 kB
Inactive: 246424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1384728 kB
SwapTotal: 4192956 kB
SwapFree: 4156332 kB
Dirty: 2268 kB
Writeback: 0 kB
Mapped: 95516 kB
Slab: 61904 kB
Committed_AS: 1875288 kB
PageTables: 1860 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= 66536 MiB
End job on node58 at 2008-07-04 12:35:41