0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=esac.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-2098252-1247414303.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.39/0.45 nbVariables=607 nbDomainTypes=1 minDomainSize=6 maxDomainSize=6 nbTotalValues=3642
0.39/0.45 => wckTime=0.193 cpuTime=0.13 mem=9M843
0.39/0.45
0.39/0.45 predicates being loaded...
0.49/0.50
0.49/0.50 constraints being loaded...
2.06/2.15 nbConstraints=6339 nbGlobalConstraints=2 nbConvertedConstraints=6337 nbConvertConstraintsChecks=72
2.06/2.15 nbExtensionStructures=2 nbSharedExtensionStructures=6335 nbConflictsStructures=2
2.06/2.15 nbSharedConflictsStructures=6335 nbSharedBinaryRepresentations=6 minDegree=7 maxDegree=202 minArity=2
2.06/2.15 avgArity=2.15 maxArity=486 nbGenerators=2 nbFusions=1 symmetryWckTime=0.636 symmetryCpuTime=0.35
2.06/2.15 => wckTime=1.899 cpuTime=1.42 mem=24M32
2.16/2.27
2.16/2.27 solver IterativeSystematicSolver being built...
2.26/2.33
2.26/2.34 INFO : Forward propagation technique limited
2.36/2.43 => wckTime=2.175 cpuTime=1.56 mem=28M378
2.65/2.76
2.65/2.76 preprocessing
2.65/2.76 nbConstraintChecks=44854 nbPropagations=4117 nbRevisions=10154 nbUselessRevisions=7259 nbSingletonTests=650
2.65/2.76 nbEffectiveSingletonTests=0 nbACRemovals=3 nbFoundSingletons=0 nbRemovedValues=3 nbRemovedTuples=15
2.65/2.76 detectedInconsistency=no
2.65/2.76 => wckTime=0.327 cpuTime=0.3 mem=28M378
19.81/20.01
19.81/20.01 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=32M367)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098252-1247414303/watcher-2098252-1247414303 -o /tmp/evaluation-result-2098252-1247414303/solver-2098252-1247414303 -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-2098252-1247414303.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.02 2.03 2.00 4/80 4442
/proc/meminfo: memFree=1745576/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=152 CPUtime=0
/proc/4442/stat : 4442 (java) D 4440 4442 2471 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 28493906 155648 26 996147200 134512640 134550932 4294956128 18446744073709551615 7918372 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4442/statm: 38 26 19 9 0 4 0
[startup+0.106615 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 4442
/proc/meminfo: memFree=1745576/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=865984 CPUtime=0.09
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 3738 0 1 0 7 2 0 0 18 0 9 0 28493906 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 216496 3204 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.201618 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 4442
/proc/meminfo: memFree=1745576/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=866172 CPUtime=0.19
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 4732 0 1 0 16 3 0 0 18 0 9 0 28493906 886960128 4149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 216543 4150 1888 9 0 211021 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866172
[startup+0.301617 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 4442
/proc/meminfo: memFree=1745576/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=866412 CPUtime=0.28
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 5924 0 1 0 24 4 0 0 18 0 9 0 28493906 887205888 5290 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 216603 5291 1983 9 0 211061 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866412
[startup+0.701653 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 4442
/proc/meminfo: memFree=1745576/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=867704 CPUtime=0.68
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 9095 0 1 0 61 7 0 0 18 0 9 0 28493906 888528896 8449 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 216926 8450 2039 9 0 211362 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867704
[startup+1.50172 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 4451
/proc/meminfo: memFree=1704544/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=867704 CPUtime=1.48
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 15294 0 1 0 116 32 0 0 18 0 9 0 28493906 888528896 14645 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 216927 14646 2043 9 0 211363 0
[pid=4442/tid=4444] ppid=4440 vsize=867704 CPUtime=1.24
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 13877 0 1 0 94 30 0 0 21 0 9 0 28493908 888528896 14646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4442/tid=4445] ppid=4440 vsize=867708 CPUtime=0
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28493909 888532992 14646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=867704 CPUtime=0
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28493910 888528896 14647 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=867708 CPUtime=0
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 28493910 888532992 14647 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=867704 CPUtime=0
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28493912 888528896 14647 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=867704 CPUtime=0.22
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 720 0 0 0 21 1 0 0 16 0 9 0 28493912 888528896 14647 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4442/tid=4450] ppid=4440 vsize=867704 CPUtime=0
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28493912 888528896 14648 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=867704 CPUtime=0
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28493912 888528896 14648 996147200 134512640 134550932 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) 867704
[startup+3.10287 s]
/proc/loadavg: 2.02 2.03 2.00 4/91 4455
/proc/meminfo: memFree=1678280/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=3.04
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 38703 565 1 0 253 39 12 0 18 0 10 0 28493906 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20659 2661 9 0 211486 0
[pid=4455] ppid=4442 vsize=144 CPUtime=0
/proc/4455/stat : 4455 (rm) R 4442 4442 2471 0 -1 4194304 44 0 0 0 0 0 0 0 19 0 1 0 28494095 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 240574854421 0 4 0 0 0 0 0 17 1 0 0
/proc/4455/statm: 36 22 16 8 0 3 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=2.49
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 22425 565 1 0 203 34 12 0 16 0 10 0 28493908 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4127228517 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.31
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 565 0 0 17 2 12 0 16 0 10 0 28493909 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.12
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 565 0 0 0 0 12 0 15 0 10 0 28493910 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.12
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 565 0 0 0 0 12 0 15 0 10 0 28493910 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.12
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 565 0 0 0 0 12 0 18 0 10 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.45
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 987 565 0 0 32 1 12 0 15 0 10 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.12
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 565 0 0 0 0 12 0 19 0 10 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.12
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 14 565 0 0 0 0 12 0 15 0 10 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4454] ppid=4440 vsize=868200 CPUtime=0.12
/proc/4442/task/4454/stat : 4454 (java) S 4440 4442 2471 0 -1 64 45 565 0 0 0 0 12 0 17 0 10 0 28494095 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868344
[startup+6.30215 s]
/proc/loadavg: 2.18 2.06 2.01 3/89 4455
/proc/meminfo: memFree=1672592/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=6.23
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 38866 689 1 0 570 39 13 1 18 0 9 0 28493906 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20659 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=5.68
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 22557 689 1 0 520 34 13 1 21 0 9 0 28493908 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4127228521 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.47
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 987 689 0 0 32 1 13 1 15 0 9 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20659 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868200
[startup+12.7027 s]
/proc/loadavg: 2.16 2.06 2.01 3/89 4455
/proc/meminfo: memFree=1672536/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=12.58
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39223 689 1 0 1204 40 13 1 18 0 9 0 28493906 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20662 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=12.01
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 22904 689 1 0 1153 34 13 1 25 0 9 0 28493908 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4127228521 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.47
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 997 689 0 0 32 1 13 1 16 0 9 0 28493912 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 868200
[startup+25.5028 s]
/proc/loadavg: 2.13 2.05 2.01 3/89 4455
/proc/meminfo: memFree=1672664/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=25.25
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39607 689 1 0 2471 40 13 1 18 0 9 0 28493906 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20681 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=24.66
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23228 689 1 0 2417 35 13 1 25 0 9 0 28493908 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4127314622 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1057 689 0 0 36 1 13 1 15 0 9 0 28493912 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20681 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20681 996147200 134512640 134550932 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) 868200
[startup+51.1021 s]
/proc/loadavg: 2.08 2.05 2.01 3/89 4455
/proc/meminfo: memFree=1672536/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=50.61
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39619 689 1 0 5007 40 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=50.01
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23238 689 1 0 4952 35 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127250842 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
################
# More data... #
################
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.88
Current children cumulated vsize (KiB) 868200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 4461
/proc/meminfo: memFree=1671840/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=1587.32
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39642 689 1 0 158676 42 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=1586.72
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23261 689 1 0 158621 37 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127230205 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) R 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.32
Current children cumulated vsize (KiB) 868200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 4461
/proc/meminfo: memFree=1671840/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=1646.76
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39642 689 1 0 164620 42 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=1646.16
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23261 689 1 0 164565 37 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127228640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.76
Current children cumulated vsize (KiB) 868200
[startup+1722.3 s]
/proc/loadavg: 1.94 2.00 1.99 3/89 4535
/proc/meminfo: memFree=1626344/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=1706.38
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39642 689 1 0 170581 43 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=1705.78
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23261 689 1 0 170526 38 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127227658 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.38
Current children cumulated vsize (KiB) 868200
[startup+1782.3 s]
/proc/loadavg: 1.97 2.00 1.99 5/89 4535
/proc/meminfo: memFree=1626344/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=1766.36
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39642 689 1 0 176578 44 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=1765.75
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23261 689 1 0 176523 38 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127261855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.36
Current children cumulated vsize (KiB) 868200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816 s]
/proc/loadavg: 1.98 2.00 1.99 3/89 4535
/proc/meminfo: memFree=1626344/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=1800.05
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39642 689 1 0 179947 44 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=1799.45
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23261 689 1 0 179893 38 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127226811 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816 s]
/proc/loadavg: 1.98 2.00 1.99 3/89 4535
/proc/meminfo: memFree=1626344/2055920 swapFree=4192812/4192956
[pid=4442] ppid=4440 vsize=868200 CPUtime=1800.05
/proc/4442/stat : 4442 (java) S 4440 4442 2471 0 -1 0 39642 689 1 0 179947 44 13 1 18 0 9 0 28493906 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4442/statm: 217050 20682 2661 9 0 211486 0
[pid=4442/tid=4444] ppid=4440 vsize=868200 CPUtime=1799.45
/proc/4442/task/4444/stat : 4444 (java) R 4440 4442 2471 0 -1 64 23261 689 1 0 179893 38 13 1 25 0 9 0 28493908 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4127226811 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4442/tid=4445] ppid=4440 vsize=868200 CPUtime=0.33
/proc/4442/task/4445/stat : 4445 (java) S 4440 4442 2471 0 -1 64 14439 689 0 0 17 2 13 1 16 0 9 0 28493909 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4446] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4446/stat : 4446 (java) S 4440 4442 2471 0 -1 64 25 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4447] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4447/stat : 4447 (java) S 4440 4442 2471 0 -1 64 16 689 0 0 0 0 13 1 15 0 9 0 28493910 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4448] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4448/stat : 4448 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 18 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4449] ppid=4440 vsize=868200 CPUtime=0.51
/proc/4442/task/4449/stat : 4449 (java) S 4440 4442 2471 0 -1 64 1059 689 0 0 36 1 13 1 16 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4450] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4450/stat : 4450 (java) S 4440 4442 2471 0 -1 64 1 689 0 0 0 0 13 1 19 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4442/tid=4451] ppid=4440 vsize=868200 CPUtime=0.14
/proc/4442/task/4451/stat : 4451 (java) S 4440 4442 2471 0 -1 64 41 689 0 0 0 0 13 1 15 0 9 0 28493912 889036800 20682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868200
Child status: 143
Real time (s): 1816.06
CPU time (s): 1800.13
CPU user time (s): 1799.66
CPU system time (s): 0.470928
CPU usage (%): 99.1224
Max. virtual memory (cumulated for all children) (KiB): 868344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.470928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40362
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= 38373
involuntary context switches= 71594
runsolver used 2.43063 second user time and 5.83911 second system time
The end
Begin job on node50 at 2009-07-12 17:58:23
IDJOB=2098252
IDBENCH=58512
IDSOLVER=774
FILE ID=node50/2098252-1247414303
PBS_JOBID= 9510545
Free space on /tmp= 66428 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/graphColoring/insertion/k-insertion/normalized-1-insertions-6-6.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-2098252-1247414303/watcher-2098252-1247414303 -o /tmp/evaluation-result-2098252-1247414303/solver-2098252-1247414303 -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-2098252-1247414303.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a619a63f941f7bbdcfca2c9c1b977147
RANDOM SEED=611729395
node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1746056 kB
Buffers: 49844 kB
Cached: 148172 kB
SwapCached: 0 kB
Active: 147812 kB
Inactive: 100132 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2784 kB
Writeback: 0 kB
Mapped: 70384 kB
Slab: 47028 kB
Committed_AS: 1028364 kB
PageTables: 1944 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 node50 at 2009-07-12 18:28:41