0.07/0.08
0.07/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2097705-1247413838.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.29/0.36 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1071 nbTotalValues=107101
0.29/0.36 => wckTime=0.124 cpuTime=0.11 mem=9M846
0.29/0.36
0.29/0.36 predicates being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.97/1.07 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
0.97/1.07 nbConvertConstraintsChecks=62118 nbExtensionStructures=58 nbSharedExtensionStructures=42
0.97/1.07 nbConflictsStructures=58 nbSharedConflictsStructures=42 nbSharedBinaryRepresentations=62116 minDegree=20
0.97/1.07 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.216
0.97/1.07 symmetryCpuTime=0.15 nbCliques=10
0.97/1.07 => wckTime=0.835 cpuTime=0.62 mem=25M568
1.07/1.15
1.07/1.15 solver IterativeSystematicSolver being built...
1.16/1.22
1.16/1.22 INFO : Forward propagation technique limited
1.16/1.28 => wckTime=1.046 cpuTime=0.73 mem=26M927
1.27/1.33
1.27/1.33 preprocessing
1.27/1.33 nbConstraintChecks=107100 nbPropagations=103 nbRevisions=102 nbUselessRevisions=2 nbRemovedValues=17350
1.27/1.33 detectedInconsistency=no
1.27/1.33 => wckTime=0.038 cpuTime=0.03 mem=27M861
11.77/11.90
11.77/11.90 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=53M726)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097705-1247413838/watcher-2097705-1247413838 -o /tmp/evaluation-result-2097705-1247413838/solver-2097705-1247413838 -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-2097705-1247413838.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.05 2.09 2.04 4/82 2587
/proc/meminfo: memFree=1513368/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=272 CPUtime=0
/proc/2587/stat : 2587 (java) D 2585 2587 32442 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28075129 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 6910756 0 2147483391 4096 0 18446744072099863542 0 0 17 0 0 0
/proc/2587/statm: 68 37 28 9 0 6 0
[startup+0.0832031 s]
/proc/loadavg: 2.05 2.09 2.04 4/82 2587
/proc/meminfo: memFree=1513368/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=865940 CPUtime=0.07
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 3647 0 1 0 6 1 0 0 18 0 9 0 28075129 886722560 3130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 216485 3131 1673 9 0 210970 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865940
[startup+0.1012 s]
/proc/loadavg: 2.05 2.09 2.04 4/82 2587
/proc/meminfo: memFree=1513368/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=865940 CPUtime=0.09
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 3807 0 1 0 8 1 0 0 18 0 9 0 28075129 886722560 3258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 216485 3258 1718 9 0 210970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865940
[startup+0.301226 s]
/proc/loadavg: 2.05 2.09 2.04 4/82 2587
/proc/meminfo: memFree=1513368/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=866432 CPUtime=0.29
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 6117 0 1 0 25 4 0 0 18 0 9 0 28075129 887226368 5483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 216608 5484 1987 9 0 211066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866432
[startup+0.701279 s]
/proc/loadavg: 2.05 2.09 2.04 4/82 2587
/proc/meminfo: memFree=1513368/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=867700 CPUtime=0.69
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 9618 0 1 0 63 6 0 0 18 0 9 0 28075129 888524800 8970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 216925 8970 2039 9 0 211361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867700
[startup+1.50138 s]
/proc/loadavg: 2.05 2.09 2.04 6/94 2600
/proc/meminfo: memFree=1479672/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1.47
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 20455 326 1 0 132 14 1 0 18 0 9 0 28075129 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 12553 2658 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1.11
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 14179 326 1 0 100 10 1 0 21 0 9 0 28075130 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4127169183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.08
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 4516 326 0 0 6 1 1 0 17 0 9 0 28075131 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.27
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 918 326 0 0 25 1 1 0 15 0 9 0 28075133 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 6 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 12553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868464
[startup+3.10259 s]
/proc/loadavg: 2.04 2.09 2.04 3/91 2600
/proc/meminfo: memFree=1468992/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=3.06
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 23543 326 1 0 289 16 1 0 18 0 9 0 28075129 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 15629 2658 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=2.67
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 17246 326 1 0 254 12 1 0 25 0 9 0 28075130 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.08
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 4516 326 0 0 6 1 1 0 17 0 9 0 28075131 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.3
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 939 326 0 0 28 1 1 0 15 0 9 0 28075133 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 6 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 15629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868464
[startup+6.303 s]
/proc/loadavg: 2.04 2.09 2.04 3/91 2600
/proc/meminfo: memFree=1440320/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=6.22
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 28836 326 1 0 603 18 1 0 18 0 9 0 28075129 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 20753 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=5.78
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20483 326 1 0 564 13 1 0 17 0 9 0 28075130 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4127176218 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.1
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 6522 326 0 0 7 2 1 0 16 0 9 0 28075131 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.33
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 959 326 0 0 31 1 1 0 15 0 9 0 28075133 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 20753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868464
[startup+12.7018 s]
/proc/loadavg: 2.04 2.09 2.04 3/91 2600
/proc/meminfo: memFree=1440128/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=12.56
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 28873 326 1 0 1236 19 1 0 18 0 9 0 28075129 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 20760 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=12.1
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20485 326 1 0 1195 14 1 0 25 0 9 0 28075130 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4126095885 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.1
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 6522 326 0 0 7 2 1 0 16 0 9 0 28075131 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 994 326 0 0 32 1 1 0 16 0 9 0 28075133 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 20760 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868464
[startup+25.5015 s]
/proc/loadavg: 2.03 2.08 2.03 3/91 2600
/proc/meminfo: memFree=1433856/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=25.22
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30445 326 1 0 2502 19 1 0 18 0 9 0 28075129 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22326 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=24.75
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20490 326 1 0 2460 14 1 0 25 0 9 0 28075130 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4127195308 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.11
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8089 326 0 0 8 2 1 0 16 0 9 0 28075131 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 994 326 0 0 32 1 1 0 15 0 9 0 28075133 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22326 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868464
[startup+51.1018 s]
/proc/loadavg: 2.02 2.07 2.03 3/91 2641
/proc/meminfo: memFree=1444808/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=50.73
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30448 326 1 0 5052 20 1 0 18 0 9 0 28075129 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22327 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=50.25
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20492 326 1 0 5010 14 1 0 25 0 9 0 28075130 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4127039552 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.11
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8089 326 0 0 8 2 1 0 16 0 9 0 28075131 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 995 326 0 0 32 1 1 0 17 0 9 0 28075133 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 868464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/91 2649
/proc/meminfo: memFree=1437192/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1601.31
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30832 326 1 0 160102 28 1 0 18 0 9 0 28075129 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22479 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1600.61
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20723 326 1 0 160040 20 1 0 25 0 9 0 28075130 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4127146788 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.33
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8238 326 0 0 27 5 1 0 16 0 9 0 28075131 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.31
Current children cumulated vsize (KiB) 868464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/91 2649
/proc/meminfo: memFree=1437192/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1661.29
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30834 326 1 0 166100 28 1 0 18 0 9 0 28075129 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22479 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1660.58
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20725 326 1 0 166037 20 1 0 25 0 9 0 28075130 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4127141192 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8238 326 0 0 28 5 1 0 16 0 9 0 28075131 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 868464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 2649
/proc/meminfo: memFree=1437256/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1721.26
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30835 326 1 0 172097 28 1 0 18 0 9 0 28075129 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22479 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1720.56
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20726 326 1 0 172035 20 1 0 25 0 9 0 28075130 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4127137280 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8238 326 0 0 28 5 1 0 16 0 9 0 28075131 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.26
Current children cumulated vsize (KiB) 868464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 2649
/proc/meminfo: memFree=1437128/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1781.24
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30837 326 1 0 178095 28 1 0 18 0 9 0 28075129 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22479 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1780.53
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20728 326 1 0 178032 20 1 0 25 0 9 0 28075130 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4127148979 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8238 326 0 0 28 5 1 0 16 0 9 0 28075131 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.24
Current children cumulated vsize (KiB) 868464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 2649
/proc/meminfo: memFree=1437128/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1800.04
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30837 326 1 0 179975 28 1 0 18 0 9 0 28075129 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22479 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1799.33
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20728 326 1 0 179912 20 1 0 25 0 9 0 28075130 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4127145905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8238 326 0 0 28 5 1 0 16 0 9 0 28075131 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 868464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 2649
/proc/meminfo: memFree=1437128/2055920 swapFree=4192812/4192956
[pid=2587] ppid=2585 vsize=868464 CPUtime=1800.04
/proc/2587/stat : 2587 (java) S 2585 2587 32442 0 -1 0 30837 326 1 0 179975 28 1 0 18 0 9 0 28075129 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2587/statm: 217116 22479 2661 9 0 211552 0
[pid=2587/tid=2589] ppid=2585 vsize=868464 CPUtime=1799.33
/proc/2587/task/2589/stat : 2589 (java) R 2585 2587 32442 0 -1 64 20728 326 1 0 179912 20 1 0 25 0 9 0 28075130 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4127145905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2590] ppid=2585 vsize=868464 CPUtime=0.34
/proc/2587/task/2590/stat : 2590 (java) S 2585 2587 32442 0 -1 64 8238 326 0 0 28 5 1 0 16 0 9 0 28075131 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2591] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2591/stat : 2591 (java) S 2585 2587 32442 0 -1 64 18 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2592] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2592/stat : 2592 (java) S 2585 2587 32442 0 -1 64 10 326 0 0 0 0 1 0 16 0 9 0 28075132 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2587/tid=2593] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2593/stat : 2593 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2594] ppid=2585 vsize=868464 CPUtime=0.35
/proc/2587/task/2594/stat : 2594 (java) S 2585 2587 32442 0 -1 64 999 326 0 0 33 1 1 0 16 0 9 0 28075133 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2595] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2595/stat : 2595 (java) S 2585 2587 32442 0 -1 64 1 326 0 0 0 0 1 0 25 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2587/tid=2596] ppid=2585 vsize=868464 CPUtime=0.01
/proc/2587/task/2596/stat : 2596 (java) S 2585 2587 32442 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28075134 889307136 22479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 868464
Child status: 143
Real time (s): 1801.14
CPU time (s): 1800.09
CPU user time (s): 1799.78
CPU system time (s): 0.307953
CPU usage (%): 99.9417
Max. virtual memory (cumulated for all children) (KiB): 868508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.307953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31191
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= 40163
involuntary context switches= 44590
runsolver used 2.17567 second user time and 6.05508 second system time
The end
Begin job on node40 at 2009-07-12 17:50:38
IDJOB=2097705
IDBENCH=57639
IDSOLVER=773
FILE ID=node40/2097705-1247413838
PBS_JOBID= 9510564
Free space on /tmp= 66256 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-05-1070.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-2097705-1247413838/watcher-2097705-1247413838 -o /tmp/evaluation-result-2097705-1247413838/solver-2097705-1247413838 -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-2097705-1247413838.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 76853a39367362e3e4e459176be1a8ba
RANDOM SEED=1837939958
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: 1513848 kB
Buffers: 88156 kB
Cached: 273400 kB
SwapCached: 0 kB
Active: 141664 kB
Inactive: 319808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1513848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2380 kB
Writeback: 0 kB
Mapped: 120648 kB
Slab: 65448 kB
Committed_AS: 1032840 kB
PageTables: 2040 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 18:20:42