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=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2094639-1247404781.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.38/0.42 nbVariables=139 nbDomainTypes=2 minDomainSize=69 maxDomainSize=70 nbTotalValues=9661
0.38/0.42 => wckTime=0.172 cpuTime=0.13 mem=8M867
0.38/0.42
0.38/0.42 predicates being loaded...
0.38/0.49
0.38/0.49 constraints being loaded...
1.76/1.81 nbConstraints=4833 nbGlobalConstraints=3 nbConvertedConstraints=4761 nbConvertConstraintsChecks=14561
1.76/1.81 nbExtensionStructures=3 nbSharedExtensionStructures=4758 nbConflictsStructures=3
1.76/1.81 nbSharedConflictsStructures=4758 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=139
1.76/1.81 nbEvaluationManagers=1 nbSharedEvaluationManagers=68 minDegree=70 maxDegree=73 minArity=2 avgArity=2.07
1.76/1.81 maxArity=138 nbGenerators=1 nbFusions=1 symmetryWckTime=0.315 symmetryCpuTime=0.18 nbCliques=2
1.76/1.81 => wckTime=1.564 cpuTime=1.2 mem=41M844
1.86/1.94
1.86/1.94 solver IterativeSystematicSolver being built...
1.96/2.03
1.96/2.03 INFO : Forward propagation technique limited
2.06/2.11 => wckTime=1.859 cpuTime=1.33 mem=26M39
2.16/2.27
2.16/2.27 preprocessing
2.16/2.27 nbConstraintChecks=350188 nbValidityChecks=5177 nbPropagations=140 nbRevisions=213 nbUselessRevisions=211
2.16/2.27 nbRemovedValues=2 nbRemovedTuples=2415 detectedInconsistency=no
2.16/2.27 => wckTime=0.167 cpuTime=0.15 mem=26M998
32.48/32.83
32.48/32.83 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M973)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094639-1247404781/watcher-2094639-1247404781 -o /tmp/evaluation-result-2094639-1247404781/solver-2094639-1247404781 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094639-1247404781.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: 1.95 2.01 1.93 4/80 31116
/proc/meminfo: memFree=1697584/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=1616 CPUtime=0
/proc/31116/stat : 31116 (java) D 31114 31116 30599 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 27544992 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31116/statm: 404 148 122 9 0 46 0
[startup+0.0766849 s]
/proc/loadavg: 1.95 2.01 1.93 4/80 31116
/proc/meminfo: memFree=1697584/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=864024 CPUtime=0.06
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 2919 0 1 0 4 2 0 0 18 0 9 0 27544992 884760576 2429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 216006 2429 1151 9 0 210899 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864024
[startup+0.101675 s]
/proc/loadavg: 1.95 2.01 1.93 4/80 31116
/proc/meminfo: memFree=1697584/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=865984 CPUtime=0.08
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 3721 0 1 0 6 2 0 0 18 0 9 0 27544992 886767616 3189 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 216496 3189 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301621 s]
/proc/loadavg: 1.95 2.01 1.93 4/80 31116
/proc/meminfo: memFree=1697584/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=866144 CPUtime=0.28
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 5660 0 1 0 24 4 0 0 18 0 9 0 27544992 886931456 5063 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 216536 5063 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866144
[startup+0.701505 s]
/proc/loadavg: 1.95 2.01 1.93 4/80 31116
/proc/meminfo: memFree=1697584/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=867784 CPUtime=0.68
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 8089 0 1 0 62 6 0 0 18 0 9 0 27544992 888610816 7443 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 216946 7443 2036 9 0 211382 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867784
[startup+1.50128 s]
/proc/loadavg: 1.95 2.01 1.93 3/89 31125
/proc/meminfo: memFree=1663912/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=867784 CPUtime=1.47
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 13479 0 1 0 119 28 0 0 18 0 9 0 27544992 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 216946 12829 2043 9 0 211382 0
[pid=31116/tid=31118] ppid=31114 vsize=867784 CPUtime=1.23
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 12052 0 1 0 96 27 0 0 25 0 9 0 27544993 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4126875840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31119] ppid=31114 vsize=867784 CPUtime=0
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 27544995 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=867784 CPUtime=0
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27544995 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=867784 CPUtime=0
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27544995 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=867784 CPUtime=0
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27544997 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=867784 CPUtime=0.22
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 728 0 0 0 22 0 0 0 16 0 9 0 27544997 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=867784 CPUtime=0
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27544997 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=867784 CPUtime=0
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 0 0 0 0 0 0 0 0 16 0 9 0 27544997 888610816 12829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867784
[startup+3.10181 s]
/proc/loadavg: 1.95 2.01 1.93 3/89 31129
/proc/meminfo: memFree=1640936/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=3.04
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 26961 590 1 0 265 31 7 1 18 0 9 0 27544992 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16712 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=2.55
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 18968 590 1 0 219 28 7 1 25 0 9 0 27544993 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4127277861 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 17 0 9 0 27544995 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.41
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 971 590 0 0 33 0 7 1 15 0 9 0 27544997 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 10 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16712 996147200 134512640 134550932 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) 868544
[startup+6.30289 s]
/proc/loadavg: 1.96 2.01 1.93 3/89 31129
/proc/meminfo: memFree=1640552/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=6.22
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27001 590 1 0 583 31 7 1 18 0 9 0 27544992 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16717 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=5.72
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 18974 590 1 0 536 28 7 1 25 0 9 0 27544993 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4127224055 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.42
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 976 590 0 0 34 0 7 1 15 0 9 0 27544997 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868544
[startup+12.701 s]
/proc/loadavg: 1.96 2.01 1.93 3/89 31129
/proc/meminfo: memFree=1640360/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=12.56
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27060 590 1 0 1216 32 7 1 18 0 9 0 27544992 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16723 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=12.05
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 18984 590 1 0 1168 29 7 1 25 0 9 0 27544993 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4127094408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.44
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1025 590 0 0 36 0 7 1 16 0 9 0 27544997 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868544
[startup+25.5024 s]
/proc/loadavg: 1.97 2.01 1.93 3/89 31129
/proc/meminfo: memFree=1640424/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=25.24
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27087 590 1 0 2484 32 7 1 18 0 9 0 27544992 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16727 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=24.72
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19007 590 1 0 2435 29 7 1 25 0 9 0 27544993 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4126905768 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.44
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1029 590 0 0 36 0 7 1 15 0 9 0 27544997 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868544
[startup+51.102 s]
/proc/loadavg: 1.98 2.01 1.93 3/89 31129
/proc/meminfo: memFree=1640424/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=50.61
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27137 590 1 0 5021 32 7 1 18 0 9 0 27544992 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16735 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=50.07
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19039 590 1 0 4970 29 7 1 25 0 9 0 27544993 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4127094391 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.46
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1047 590 0 0 38 0 7 1 15 0 9 0 27544997 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.47
Current children cumulated vsize (KiB) 868544
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 31170
/proc/meminfo: memFree=1598376/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=1593.47
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27180 590 1 0 159303 36 7 1 18 0 9 0 27544992 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16743 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=1592.9
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19066 590 1 0 159250 32 7 1 25 0 9 0 27544993 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4127094391 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.47
Current children cumulated vsize (KiB) 868544
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 31170
/proc/meminfo: memFree=1598248/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=1653.47
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27180 590 1 0 165303 36 7 1 18 0 9 0 27544992 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16743 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=1652.9
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19066 590 1 0 165250 32 7 1 25 0 9 0 27544993 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4127094384 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.47
Current children cumulated vsize (KiB) 868544
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/89 31170
/proc/meminfo: memFree=1598184/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=1713.46
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27180 590 1 0 171302 36 7 1 18 0 9 0 27544992 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16743 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=1712.9
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19066 590 1 0 171249 33 7 1 25 0 9 0 27544993 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4127223426 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.46
Current children cumulated vsize (KiB) 868544
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 31170
/proc/meminfo: memFree=1598120/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=1773.46
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27180 590 1 0 177302 36 7 1 18 0 9 0 27544992 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16743 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=1772.9
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19066 590 1 0 177249 33 7 1 25 0 9 0 27544993 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4127223492 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.46
Current children cumulated vsize (KiB) 868544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31171
/proc/meminfo: memFree=1597992/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=1800.07
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27180 590 1 0 179963 36 7 1 18 0 9 0 27544992 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16743 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=1799.51
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19066 590 1 0 179910 33 7 1 25 0 9 0 27544993 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4127249432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31171
/proc/meminfo: memFree=1597992/2055920 swapFree=4192812/4192956
[pid=31116] ppid=31114 vsize=868544 CPUtime=1800.07
/proc/31116/stat : 31116 (java) S 31114 31116 30599 0 -1 0 27180 590 1 0 179963 36 7 1 18 0 9 0 27544992 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31116/statm: 217136 16743 2659 9 0 211572 0
[pid=31116/tid=31118] ppid=31114 vsize=868544 CPUtime=1799.51
/proc/31116/task/31118/stat : 31118 (java) R 31114 31116 30599 0 -1 64 19066 590 1 0 179910 33 7 1 25 0 9 0 27544993 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4127249432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31116/tid=31119] ppid=31114 vsize=868544 CPUtime=0.19
/proc/31116/task/31119/stat : 31119 (java) S 31114 31116 30599 0 -1 64 6170 590 0 0 11 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31120] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31120/stat : 31120 (java) S 31114 31116 30599 0 -1 64 19 590 0 0 0 0 7 1 17 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31121] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31121/stat : 31121 (java) S 31114 31116 30599 0 -1 64 12 590 0 0 0 0 7 1 16 0 9 0 27544995 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31122] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31122/stat : 31122 (java) S 31114 31116 30599 0 -1 64 2 590 0 0 0 0 7 1 18 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31123] ppid=31114 vsize=868544 CPUtime=0.48
/proc/31116/task/31123/stat : 31123 (java) S 31114 31116 30599 0 -1 64 1063 590 0 0 40 0 7 1 16 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31124] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31124/stat : 31124 (java) S 31114 31116 30599 0 -1 64 0 590 0 0 0 0 7 1 19 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31116/tid=31125] ppid=31114 vsize=868544 CPUtime=0.08
/proc/31116/task/31125/stat : 31125 (java) S 31114 31116 30599 0 -1 64 39 590 0 0 0 0 7 1 15 0 9 0 27544997 889389056 16743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868544
Child status: 143
Real time (s): 1808.96
CPU time (s): 1800.14
CPU user time (s): 1799.75
CPU system time (s): 0.387941
CPU usage (%): 99.5122
Max. virtual memory (cumulated for all children) (KiB): 868580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.387941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27800
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= 38295
involuntary context switches= 67406
runsolver used 2.30865 second user time and 5.9271 second system time
The end
Begin job on node16 at 2009-07-12 15:19:41
IDJOB=2094639
IDBENCH=54447
IDSOLVER=773
FILE ID=node16/2094639-1247404781
PBS_JOBID= 9510612
Free space on /tmp= 66456 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-70.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094639-1247404781/watcher-2094639-1247404781 -o /tmp/evaluation-result-2094639-1247404781/solver-2094639-1247404781 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094639-1247404781.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 42673f380bfac3cdabf246f9ec4e88d8
RANDOM SEED=1685456817
node16.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: 1698064 kB
Buffers: 34904 kB
Cached: 134620 kB
SwapCached: 0 kB
Active: 225012 kB
Inactive: 76008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1698064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2664 kB
Writeback: 0 kB
Mapped: 151932 kB
Slab: 41952 kB
Committed_AS: 992244 kB
PageTables: 2076 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= 66452 MiB
End job on node16 at 2009-07-12 15:49:52