0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2094152-1247402949.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.38 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.28/0.38 => wckTime=0.147 cpuTime=0.11 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
0.98/1.02
0.98/1.02 constraints being loaded...
1.27/1.36 nbConstraints=73 nbRelationTypes=73 nbGlobalConstraints=73 nbExtensionStructures=73
1.27/1.36 nbSharedExtensionStructures=0 nbConflictsStructures=73 nbSharedConflictsStructures=0
1.27/1.36 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=13 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
1.27/1.36 symmetryWckTime=0.049 symmetryCpuTime=0.01
1.27/1.36 => wckTime=1.125 cpuTime=0.92 mem=49M710
1.46/1.52
1.46/1.53 solver IterativeSystematicSolver being built...
1.46/1.60
1.56/1.61 INFO : Forward propagation technique limited
1.56/1.67 => wckTime=1.429 cpuTime=1.05 mem=41M438
1.86/1.94
1.86/1.94 preprocessing
1.86/1.94 nbConstraintChecks=0 nbValidityChecks=3452953 nbPropagations=249 nbRevisions=0 nbUselessRevisions=0
1.86/1.94 nbSingletonTests=35 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.86/1.94 detectedInconsistency=no
1.86/1.94 => wckTime=0.27 cpuTime=0.25 mem=41M438
3.05/3.17
3.05/3.17 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=42M439)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094152-1247402949/watcher-2094152-1247402949 -o /tmp/evaluation-result-2094152-1247402949/solver-2094152-1247402949 -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-2094152-1247402949.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.03 2.03 1.75 4/80 27701
/proc/meminfo: memFree=1777264/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=1616 CPUtime=0
/proc/27701/stat : 27701 (java) D 27699 27701 27359 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 27358653 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/27701/statm: 404 148 122 9 0 46 0
[startup+0.043874 s]
/proc/loadavg: 2.03 2.03 1.75 4/80 27701
/proc/meminfo: memFree=1777264/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=861936 CPUtime=0.02
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 2296 0 1 0 1 1 0 0 18 0 5 0 27358653 882622464 1896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 215484 1898 867 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.107054 s]
/proc/loadavg: 2.03 2.03 1.75 4/80 27701
/proc/meminfo: memFree=1777264/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=865984 CPUtime=0.09
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 3877 0 1 0 7 2 0 0 18 0 9 0 27358653 886767616 3317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216496 3317 1743 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301073 s]
/proc/loadavg: 2.03 2.03 1.75 4/80 27701
/proc/meminfo: memFree=1777264/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=866296 CPUtime=0.28
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 5699 0 1 0 25 3 0 0 18 0 9 0 27358653 887087104 5102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216574 5102 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701118 s]
/proc/loadavg: 2.03 2.03 1.75 4/80 27701
/proc/meminfo: memFree=1777264/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=866500 CPUtime=0.68
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 10934 0 1 0 63 5 0 0 18 0 9 0 27358653 887296000 10296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216625 10296 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50221 s]
/proc/loadavg: 2.02 2.02 1.75 4/89 27710
/proc/meminfo: memFree=1710440/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867280 CPUtime=1.46
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 28960 147 1 0 135 11 0 0 18 0 10 0 27358653 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216820 21378 2632 9 0 211278 0
[pid=27701/tid=27703] ppid=27699 vsize=867280 CPUtime=1.14
/proc/27701/task/27703/stat : 27703 (java) S 27699 27701 27359 0 -1 64 16434 147 1 0 107 7 0 0 24 0 10 0 27358654 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867280 CPUtime=0.18
/proc/27701/task/27704/stat : 27704 (java) R 27699 27701 27359 0 -1 64 11336 147 0 0 16 2 0 0 16 0 10 0 27358655 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 104191077 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867280 CPUtime=0
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 16 147 0 0 0 0 0 0 16 0 10 0 27358656 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867280 CPUtime=0
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 5 147 0 0 0 0 0 0 16 0 10 0 27358656 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867280 CPUtime=0
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 147 0 0 0 0 0 0 18 0 10 0 27358658 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867280 CPUtime=0.1
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 365 147 0 0 10 0 0 0 16 0 10 0 27358658 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867280 CPUtime=0
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 147 0 0 0 0 0 0 19 0 10 0 27358658 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867280 CPUtime=0
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 8 147 0 0 0 0 0 0 15 0 10 0 27358658 888094720 21378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867280
[startup+3.10238 s]
/proc/loadavg: 2.02 2.02 1.75 3/89 27714
/proc/meminfo: memFree=1690472/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867368 CPUtime=3.05
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 35210 272 1 0 290 14 0 1 18 0 9 0 27358653 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216842 24222 2659 9 0 211278 0
[pid=27701/tid=27703] ppid=27699 vsize=867368 CPUtime=2.63
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 19830 272 1 0 253 9 0 1 20 0 9 0 27358654 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4126777408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867368 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867368 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867368 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867368 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867368 CPUtime=0.19
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 527 272 0 0 18 0 0 1 15 0 9 0 27358658 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867368 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867368 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27358658 888184832 24222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867368
[startup+6.30172 s]
/proc/loadavg: 2.02 2.02 1.75 3/89 27714
/proc/meminfo: memFree=1690216/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=6.22
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 35225 272 1 0 607 14 0 1 18 0 9 0 27358653 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24230 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=5.78
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 19833 272 1 0 568 9 0 1 25 0 9 0 27358654 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4126789074 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.2
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 538 272 0 0 19 0 0 1 16 0 9 0 27358658 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24230 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) 867500
[startup+12.7014 s]
/proc/loadavg: 2.02 2.02 1.75 3/89 27714
/proc/meminfo: memFree=1690152/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=12.56
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 35259 272 1 0 1240 15 0 1 18 0 9 0 27358653 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24244 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=12.09
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 19850 272 1 0 1199 9 0 1 25 0 9 0 27358654 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4126777380 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 17 0 9 0 27358655 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 555 272 0 0 23 0 0 1 15 0 9 0 27358658 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24244 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) 867500
[startup+25.5028 s]
/proc/loadavg: 2.02 2.02 1.75 3/89 27714
/proc/meminfo: memFree=1690216/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=25.24
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 35291 272 1 0 2508 15 0 1 18 0 9 0 27358653 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24245 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=24.77
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 19881 272 1 0 2466 10 0 1 25 0 9 0 27358654 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4126789074 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 556 272 0 0 23 0 0 1 15 0 9 0 27358658 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24245 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) 867500
[startup+51.1025 s]
/proc/loadavg: 2.01 2.02 1.76 3/89 27714
/proc/meminfo: memFree=1690216/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=50.6
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 35326 272 1 0 5044 15 0 1 18 0 9 0 27358653 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24245 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=50.13
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 19916 272 1 0 5002 10 0 1 25 0 9 0 27358654 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4126789074 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 556 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24245 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.55
Current children cumulated vsize (KiB) 867500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27997
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=1598.54
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 37365 272 1 0 159827 26 0 1 18 0 9 0 27358653 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24247 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=1598.06
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 21953 272 1 0 159785 20 0 1 25 0 9 0 27358654 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4126789074 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.54
Current children cumulated vsize (KiB) 867500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27997
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=1658.51
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 37439 272 1 0 165824 26 0 1 18 0 9 0 27358653 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24247 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=1658.04
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 22027 272 1 0 165782 21 0 1 25 0 9 0 27358654 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4126789107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.51
Current children cumulated vsize (KiB) 867500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27997
/proc/meminfo: memFree=1612968/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=1718.49
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 37513 272 1 0 171822 26 0 1 18 0 9 0 27358653 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24247 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=1718.01
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 22101 272 1 0 171779 21 0 1 25 0 9 0 27358654 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4126789074 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.49
Current children cumulated vsize (KiB) 867500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27997
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=1778.46
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 37587 272 1 0 177819 26 0 1 18 0 9 0 27358653 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24247 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=1777.99
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 22175 272 1 0 177777 21 0 1 25 0 9 0 27358654 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4126777459 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.46
Current children cumulated vsize (KiB) 867500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27997
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=1800.06
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 37589 272 1 0 179979 26 0 1 18 0 9 0 27358653 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24247 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=1799.59
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 22177 272 1 0 179937 21 0 1 25 0 9 0 27358654 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4126788891 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 867500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27997
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=27701] ppid=27699 vsize=867500 CPUtime=1800.06
/proc/27701/stat : 27701 (java) S 27699 27701 27359 0 -1 0 37589 272 1 0 179979 26 0 1 18 0 9 0 27358653 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27701/statm: 216875 24247 2659 9 0 211311 0
[pid=27701/tid=27703] ppid=27699 vsize=867500 CPUtime=1799.59
/proc/27701/task/27703/stat : 27703 (java) R 27699 27701 27359 0 -1 64 22177 272 1 0 179937 21 0 1 25 0 9 0 27358654 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4126788891 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27704] ppid=27699 vsize=867500 CPUtime=0.21
/proc/27701/task/27704/stat : 27704 (java) S 27699 27701 27359 0 -1 64 14016 272 0 0 17 3 0 1 16 0 9 0 27358655 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27705] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27705/stat : 27705 (java) S 27699 27701 27359 0 -1 64 20 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27706] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27706/stat : 27706 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358656 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27707] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27707/stat : 27707 (java) S 27699 27701 27359 0 -1 64 2 272 0 0 0 0 0 1 18 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27708] ppid=27699 vsize=867500 CPUtime=0.24
/proc/27701/task/27708/stat : 27708 (java) S 27699 27701 27359 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27701/tid=27709] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27709/stat : 27709 (java) S 27699 27701 27359 0 -1 64 0 272 0 0 0 0 0 1 19 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27701/tid=27710] ppid=27699 vsize=867500 CPUtime=0.01
/proc/27701/task/27710/stat : 27710 (java) S 27699 27701 27359 0 -1 64 9 272 0 0 0 0 0 1 15 0 9 0 27358658 888320000 24247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 867500
Child status: 143
Real time (s): 1803.97
CPU time (s): 1800.13
CPU user time (s): 1799.83
CPU system time (s): 0.297954
CPU usage (%): 99.7875
Max. virtual memory (cumulated for all children) (KiB): 867500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37889
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= 37384
involuntary context switches= 48357
runsolver used 2.58161 second user time and 5.63414 second system time
The end
Begin job on node47 at 2009-07-12 14:49:09
IDJOB=2094152
IDBENCH=53991
IDSOLVER=774
FILE ID=node47/2094152-1247402949
PBS_JOBID= 9510552
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094152-1247402949/watcher-2094152-1247402949 -o /tmp/evaluation-result-2094152-1247402949/solver-2094152-1247402949 -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-2094152-1247402949.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ef4675340b19bfbe211bf603a135da68
RANDOM SEED=1204311293
node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1777744 kB
Buffers: 32192 kB
Cached: 128424 kB
SwapCached: 0 kB
Active: 160240 kB
Inactive: 63432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1777744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4800 kB
Writeback: 0 kB
Mapped: 83384 kB
Slab: 39528 kB
Committed_AS: 994984 kB
PageTables: 1976 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= 66460 MiB
End job on node47 at 2009-07-12 15:19:15