0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2097315-1247412055.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.39/0.47 nbVariables=676 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=17576
0.39/0.47 => wckTime=0.202 cpuTime=0.16 mem=9M843
0.39/0.47
0.39/0.47 predicates being loaded...
0.48/0.53
0.48/0.53 constraints being loaded...
12.35/12.50 nbConstraints=9125 nbGlobalConstraints=650 nbConvertedConstraints=8475 nbConvertConstraintsChecks=2693860
12.35/12.50 nbExtensionStructures=3985 nbSharedExtensionStructures=8470 nbConflictsStructures=4583
12.35/12.50 nbSharedConflictsStructures=8470 nbSharedBinaryRepresentations=207063 minDegree=26 maxDegree=30 minArity=2
12.35/12.50 avgArity=2.21 maxArity=54 nbGenerators=624 nbFusions=600 symmetryWckTime=9.138 symmetryCpuTime=2.93
12.35/12.50 nbCliques=26
12.35/12.50 => wckTime=12.236 cpuTime=5.71 mem=14M753
12.45/12.65
12.45/12.65 solver IterativeSystematicSolver being built...
12.55/12.72
12.55/12.72 INFO : Forward propagation technique limited
12.65/12.82 => wckTime=12.557 cpuTime=5.85 mem=33M47
12.75/12.95
12.75/12.95 preprocessing
12.75/12.95 nbConstraintChecks=51247 nbPropagations=1361 nbRevisions=2617 nbUselessRevisions=633 nbRemovedValues=15100
12.75/12.95 nbRemovedTuples=650 detectedInconsistency=no
12.75/12.95 => wckTime=0.122 cpuTime=0.1 mem=33M47
13.93/14.17
13.93/14.17 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=36M920)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097315-1247412055/watcher-2097315-1247412055 -o /tmp/evaluation-result-2097315-1247412055/solver-2097315-1247412055 -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-2097315-1247412055.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.12 2.07 2.02 4/82 2429
/proc/meminfo: memFree=1495528/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=10676 CPUtime=0
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 27896769 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 2669 474 207 9 0 1184 0
[pid=2429/tid=2430] ppid=2427 vsize=10676 CPUtime=0
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 27896770 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 7757784 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.090607 s]
/proc/loadavg: 2.12 2.07 2.02 4/82 2429
/proc/meminfo: memFree=1495528/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=865956 CPUtime=0.07
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 3609 0 1 0 6 1 0 0 18 0 9 0 27896769 886738944 3093 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 216489 3093 1648 9 0 210981 0
[pid=2429/tid=2430] ppid=2427 vsize=865956 CPUtime=0.06
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 2692 0 1 0 5 1 0 0 20 0 9 0 27896770 886738944 3093 996147200 134512640 134550932 4294955968 18446744073709551615 103795227 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865956
[startup+0.102604 s]
/proc/loadavg: 2.12 2.07 2.02 4/82 2429
/proc/meminfo: memFree=1495528/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=865984 CPUtime=0.08
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 3733 0 1 0 7 1 0 0 18 0 9 0 27896769 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 216496 3201 1700 9 0 210981 0
[pid=2429/tid=2430] ppid=2427 vsize=865984 CPUtime=0.06
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 2810 0 1 0 5 1 0 0 20 0 9 0 27896770 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301631 s]
/proc/loadavg: 2.12 2.07 2.02 4/82 2429
/proc/meminfo: memFree=1495528/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=866380 CPUtime=0.28
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 5820 0 1 0 25 3 0 0 18 0 9 0 27896769 887173120 5196 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 216595 5196 1976 9 0 211053 0
[pid=2429/tid=2430] ppid=2427 vsize=866380 CPUtime=0.23
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 4837 0 1 0 20 3 0 0 21 0 9 0 27896770 887173120 5196 996147200 134512640 134550932 4294955968 18446744073709551615 4125977815 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.70268 s]
/proc/loadavg: 2.12 2.07 2.02 4/82 2429
/proc/meminfo: memFree=1495528/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=867772 CPUtime=0.68
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 8558 0 1 0 62 6 0 0 18 0 9 0 27896769 888598528 7912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 216943 7912 2036 9 0 211379 0
[pid=2429/tid=2430] ppid=2427 vsize=867772 CPUtime=0.5
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 7197 0 1 0 45 5 0 0 23 0 9 0 27896770 888598528 7912 996147200 134512640 134550932 4294955968 18446744073709551615 4126858979 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867772
[startup+1.50278 s]
/proc/loadavg: 2.11 2.07 2.02 3/91 2438
/proc/meminfo: memFree=1455648/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=867772 CPUtime=1.47
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 15267 0 1 0 132 15 0 0 18 0 9 0 27896769 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 216943 14618 2041 9 0 211379 0
[pid=2429/tid=2430] ppid=2427 vsize=867772 CPUtime=1.23
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 13853 0 1 0 110 13 0 0 25 0 9 0 27896770 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4126945846 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=867772 CPUtime=0
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 27896772 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=867772 CPUtime=0
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27896772 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=867772 CPUtime=0
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27896772 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=867772 CPUtime=0
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27896774 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=867772 CPUtime=0.22
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 715 0 0 0 22 0 0 0 16 0 9 0 27896774 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=867772 CPUtime=0
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27896774 888598528 14618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=867772 CPUtime=0
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27896774 888598528 14618 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) 867772
[startup+3.10199 s]
/proc/loadavg: 2.11 2.07 2.02 3/91 2438
/proc/meminfo: memFree=1430240/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=867684 CPUtime=3.05
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 18873 0 1 0 264 41 0 0 18 0 9 0 27896769 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 216921 18198 2029 9 0 211379 0
[pid=2429/tid=2430] ppid=2427 vsize=867684 CPUtime=2.7
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 15832 0 1 0 231 39 0 0 25 0 9 0 27896770 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4126917150 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=867684 CPUtime=0.07
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 1606 0 0 0 7 0 0 0 16 0 9 0 27896772 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=867684 CPUtime=0
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27896772 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=867684 CPUtime=0
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27896772 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=867684 CPUtime=0
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27896774 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=867684 CPUtime=0.25
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 733 0 0 0 25 0 0 0 16 0 9 0 27896774 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=867684 CPUtime=0
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27896774 888508416 18198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=867684 CPUtime=0
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27896774 888508416 18198 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) 867684
[startup+6.3024 s]
/proc/loadavg: 2.11 2.07 2.02 3/93 2440
/proc/meminfo: memFree=1426704/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=868008 CPUtime=3.47
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 20028 0 1 0 299 48 0 0 18 0 10 0 27896769 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217002 18231 2032 9 0 211460 0
[pid=2440] ppid=2429 vsize=4680 CPUtime=2.75
/proc/2440/stat : 2440 (saucy) R 2429 2429 32416 0 -1 4194304 824 0 0 0 274 1 0 0 25 0 1 0 27897119 4792320 795 996147200 134512640 134531332 4294956000 18446744073709551615 134523693 0 4 0 0 0 0 0 17 1 0 0
/proc/2440/statm: 1170 795 104 4 0 846 0
[pid=2429/tid=2430] ppid=2427 vsize=868008 CPUtime=3.1
/proc/2429/task/2430/stat : 2430 (java) S 2427 2429 32416 0 -1 64 16232 0 1 0 265 45 0 0 15 0 10 0 27896770 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=868008 CPUtime=0.07
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 2190 0 0 0 7 0 0 0 16 0 10 0 27896772 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=868008 CPUtime=0
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 27896772 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=868008 CPUtime=0
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 27896772 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=868008 CPUtime=0
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 27896774 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=868008 CPUtime=0.26
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 780 0 0 0 26 0 0 0 15 0 10 0 27896774 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=868008 CPUtime=0
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 27896774 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=868008 CPUtime=0
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 61 0 0 0 0 0 0 0 15 0 10 0 27896774 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2439] ppid=2427 vsize=868008 CPUtime=0
/proc/2429/task/2439/stat : 2439 (java) S 2427 2429 32416 0 -1 64 64 0 0 0 0 0 0 0 25 0 10 0 27897119 888840192 18231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 872688
[startup+12.7012 s]
/proc/loadavg: 2.09 2.07 2.02 3/91 2442
/proc/meminfo: memFree=1429136/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=12.55
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 35401 1184 1 0 606 54 593 2 18 0 9 0 27896769 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23054 2659 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=11.88
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 20360 1184 1 0 546 47 593 2 19 0 9 0 27896770 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 17 0 9 0 27896772 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.28
/proc/2429/task/2436/stat : 2436 (java) R 2427 2429 32416 0 -1 64 1029 1184 0 0 32 1 593 2 16 0 9 0 27896774 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 102041397 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 869444
[startup+25.5029 s]
/proc/loadavg: 2.08 2.07 2.02 3/91 2442
/proc/meminfo: memFree=1412432/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=25.22
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37361 1184 1 0 1872 55 593 2 18 0 9 0 27896769 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23169 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=24.44
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22241 1184 1 0 1801 48 593 2 25 0 9 0 27896770 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4125952251 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.39
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1108 1184 0 0 43 1 593 2 16 0 9 0 27896774 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 869444
[startup+51.1022 s]
/proc/loadavg: 2.05 2.06 2.02 3/91 2442
/proc/meminfo: memFree=1412560/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=50.58
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37367 1184 1 0 4408 55 593 2 18 0 9 0 27896769 890310656 23169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.77
Current children cumulated vsize (KiB) 869444
[startup+1602.3 s]
/proc/loadavg: 2.44 2.12 2.04 3/91 2442
/proc/meminfo: memFree=1411984/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=1587.2
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37389 1184 1 0 158068 57 593 2 18 0 9 0 27896769 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23171 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=1586.41
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22267 1184 1 0 157996 50 593 2 25 0 9 0 27896770 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4127352375 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.2
Current children cumulated vsize (KiB) 869444
[startup+1662.3 s]
/proc/loadavg: 2.25 2.12 2.04 3/91 2442
/proc/meminfo: memFree=1411920/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=1646.64
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37389 1184 1 0 164012 57 593 2 18 0 9 0 27896769 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23171 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=1645.85
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22267 1184 1 0 163940 50 593 2 25 0 9 0 27896770 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4127362794 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.64
Current children cumulated vsize (KiB) 869444
[startup+1722.3 s]
/proc/loadavg: 2.13 2.11 2.04 3/91 2522
/proc/meminfo: memFree=1261576/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=1706.4
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37389 1184 1 0 169985 60 593 2 18 0 9 0 27896769 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23171 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=1705.61
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22267 1184 1 0 169913 53 593 2 25 0 9 0 27896770 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4127339005 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.4
Current children cumulated vsize (KiB) 869444
[startup+1782.3 s]
/proc/loadavg: 2.05 2.09 2.04 3/91 2561
/proc/meminfo: memFree=1440976/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=1766.26
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37389 1184 1 0 175970 61 593 2 18 0 9 0 27896769 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23171 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=1765.47
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22267 1184 1 0 175898 54 593 2 25 0 9 0 27896770 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4125952222 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.26
Current children cumulated vsize (KiB) 869444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.11 s]
/proc/loadavg: 2.02 2.08 2.03 3/91 2600
/proc/meminfo: memFree=1433856/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=1800.03
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37389 1184 1 0 179346 62 593 2 18 0 9 0 27896769 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23171 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=1799.23
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22267 1184 1 0 179274 54 593 2 25 0 9 0 27896770 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4127345733 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 869444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.11 s]
/proc/loadavg: 2.02 2.08 2.03 3/91 2600
/proc/meminfo: memFree=1433856/2055920 swapFree=4192812/4192956
[pid=2429] ppid=2427 vsize=869444 CPUtime=1800.03
/proc/2429/stat : 2429 (java) S 2427 2429 32416 0 -1 0 37389 1184 1 0 179346 62 593 2 18 0 9 0 27896769 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2429/statm: 217361 23171 2662 9 0 211797 0
[pid=2429/tid=2430] ppid=2427 vsize=869444 CPUtime=1799.23
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 32416 0 -1 64 22267 1184 1 0 179274 54 593 2 25 0 9 0 27896770 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4127345733 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2429/tid=2432] ppid=2427 vsize=869444 CPUtime=6.25
/proc/2429/task/2432/stat : 2432 (java) S 2427 2429 32416 0 -1 64 13098 1184 0 0 27 3 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2433] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2433/stat : 2433 (java) S 2427 2429 32416 0 -1 64 20 1184 0 0 0 0 593 2 16 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2434] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 32416 0 -1 64 11 1184 0 0 0 0 593 2 15 0 9 0 27896772 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2435] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 32416 0 -1 64 2 1184 0 0 0 0 593 2 18 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2436] ppid=2427 vsize=869444 CPUtime=6.4
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 32416 0 -1 64 1110 1184 0 0 44 1 593 2 17 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2437] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 32416 0 -1 64 0 1184 0 0 0 0 593 2 19 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2429/tid=2438] ppid=2427 vsize=869444 CPUtime=5.95
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 32416 0 -1 64 69 1184 0 0 0 0 593 2 15 0 9 0 27896774 890310656 23171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 869444
Child status: 143
Real time (s): 1816.15
CPU time (s): 1800.08
CPU user time (s): 1799.42
CPU system time (s): 0.659899
CPU usage (%): 99.1153
Max. virtual memory (cumulated for all children) (KiB): 873612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.659899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38602
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= 38994
involuntary context switches= 106592
runsolver used 1.9977 second user time and 6.27505 second system time
The end
Begin job on node40 at 2009-07-12 17:20:55
IDJOB=2097315
IDBENCH=57125
IDSOLVER=773
FILE ID=node40/2097315-1247412055
PBS_JOBID= 9510563
Free space on /tmp= 66256 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-26.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-2097315-1247412055/watcher-2097315-1247412055 -o /tmp/evaluation-result-2097315-1247412055/solver-2097315-1247412055 -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-2097315-1247412055.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce7f4058683062b14d9ebfb55192dac0
RANDOM SEED=1602547196
node40.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.213
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.213
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: 1496008 kB
Buffers: 87792 kB
Cached: 269616 kB
SwapCached: 0 kB
Active: 162788 kB
Inactive: 316436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1496008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3280 kB
Writeback: 0 kB
Mapped: 142476 kB
Slab: 65452 kB
Committed_AS: 1031712 kB
PageTables: 2076 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66252 MiB
End job on node40 at 2009-07-12 17:51:13