0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.29/0.30
0.29/0.30 instance
0.29/0.30 name=HOME/instance-2097261-1247411995.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.39
0.29/0.39 variables being loaded...
0.38/0.47 nbVariables=225 nbDomainTypes=225 minDomainSize=1149 maxDomainSize=1247 nbTotalValues=269449
0.38/0.48 => wckTime=0.209 cpuTime=0.15 mem=13M837
0.38/0.48
0.38/0.48 predicates being loaded...
0.48/0.54
0.48/0.54 constraints being loaded...
1.96/2.04 nbConstraints=1800 nbGlobalConstraints=1798 nbConvertedConstraints=2 nbConvertConstraintsChecks=2880764
1.96/2.04 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
1.96/2.04 nbSharedBinaryRepresentations=188 minDegree=16 maxDegree=17 minArity=2 avgArity=2.11 maxArity=15
1.96/2.04 nbGenerators=0 nbFusions=0 symmetryWckTime=0.386 symmetryCpuTime=0.33 nbCliques=15
1.96/2.04 => wckTime=1.773 cpuTime=1.51 mem=36M429
2.05/2.15
2.05/2.15 solver IterativeSystematicSolver being built...
2.15/2.22
2.15/2.22 INFO : Forward propagation technique limited
2.26/2.31 => wckTime=2.045 cpuTime=1.64 mem=36M808
2.45/2.51
2.45/2.51 preprocessing
2.45/2.51 nbConstraintChecks=61471 nbPropagations=523 nbRevisions=7 nbUselessRevisions=0 nbRemovedValues=158914
2.45/2.51 detectedInconsistency=no
2.45/2.51 => wckTime=0.185 cpuTime=0.16 mem=52M867
16.81/17.01
16.81/17.01 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=42M358)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097261-1247411995/watcher-2097261-1247411995 -o /tmp/evaluation-result-2097261-1247411995/solver-2097261-1247411995 -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-2097261-1247411995.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 846
/proc/meminfo: memFree=1719328/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=1616 CPUtime=0
/proc/846/stat : 846 (java) D 844 846 31778 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28266598 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/846/statm: 404 148 122 9 0 46 0
[startup+0.109336 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 846
/proc/meminfo: memFree=1719328/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=865984 CPUtime=0.09
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 3748 0 1 0 7 2 0 0 18 0 9 0 28266598 886767616 3214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 216496 3214 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.201358 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 846
/proc/meminfo: memFree=1719328/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=866144 CPUtime=0.18
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 4605 0 1 0 15 3 0 0 18 0 9 0 28266598 886931456 4024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 216536 4024 1886 9 0 211014 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866144
[startup+0.301382 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 846
/proc/meminfo: memFree=1719328/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=866380 CPUtime=0.29
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 5789 0 1 0 25 4 0 0 18 0 9 0 28266598 887173120 5171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 216595 5171 1965 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701464 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 846
/proc/meminfo: memFree=1719328/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=867776 CPUtime=0.68
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 9776 0 1 0 61 7 0 0 18 0 9 0 28266598 888602624 9130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 216944 9130 2036 9 0 211380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867776
[startup+1.50263 s]
/proc/loadavg: 1.92 1.98 1.99 4/89 855
/proc/meminfo: memFree=1685144/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=867776 CPUtime=1.47
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 12309 0 1 0 134 13 0 0 18 0 9 0 28266598 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 216944 11660 2041 9 0 211380 0
[pid=846/tid=848] ppid=844 vsize=867776 CPUtime=1.25
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 10913 0 1 0 113 12 0 0 25 0 9 0 28266600 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4126467463 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=849] ppid=844 vsize=867776 CPUtime=0
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28266601 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=850] ppid=844 vsize=867776 CPUtime=0
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28266601 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=867776 CPUtime=0
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28266601 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=867776 CPUtime=0
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28266604 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=867776 CPUtime=0.21
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 698 0 0 0 21 0 0 0 15 0 9 0 28266604 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=867776 CPUtime=0
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28266604 888602624 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=867776 CPUtime=0
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28266604 888602624 11660 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) 867776
[startup+3.10298 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 859
/proc/meminfo: memFree=1664536/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=3.04
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 33717 370 1 0 279 24 1 0 18 0 9 0 28266598 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 23091 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=2.54
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 21379 370 1 0 234 19 1 0 25 0 9 0 28266600 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=0.14
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 10546 370 0 0 11 2 1 0 16 0 9 0 28266601 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.35
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 949 370 0 0 34 0 1 0 15 0 9 0 28266604 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 9 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 23091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868528
[startup+6.30267 s]
/proc/loadavg: 1.93 1.98 1.99 4/89 859
/proc/meminfo: memFree=1628952/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=6.21
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 35822 370 1 0 595 25 1 0 18 0 9 0 28266598 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 25148 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=5.65
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 21391 370 1 0 545 19 1 0 25 0 9 0 28266600 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4126864401 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=0.17
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 12589 370 0 0 13 3 1 0 16 0 9 0 28266601 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.37
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 971 370 0 0 36 0 1 0 15 0 9 0 28266604 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 25148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868528
[startup+12.702 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 859
/proc/meminfo: memFree=1627096/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=12.55
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 36185 370 1 0 1228 26 1 0 18 0 9 0 28266598 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 25484 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=11.91
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 21401 370 1 0 1171 19 1 0 25 0 9 0 28266600 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4127211347 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=0.22
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 12918 370 0 0 18 3 1 0 16 0 9 0 28266601 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.39
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 995 370 0 0 38 0 1 0 16 0 9 0 28266604 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 25484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 25484 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) 868528
[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 859
/proc/meminfo: memFree=1625880/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=25.23
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 36533 370 1 0 2496 26 1 0 18 0 9 0 28266598 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 25812 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=24.5
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 21419 370 1 0 2430 19 1 0 25 0 9 0 28266600 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4127211385 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=0.3
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13243 370 0 0 25 4 1 0 16 0 9 0 28266601 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.41
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1000 370 0 0 39 1 1 0 16 0 9 0 28266604 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 25812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868528
[startup+51.1023 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 859
/proc/meminfo: memFree=1624920/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=50.58
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 36803 370 1 0 5030 27 1 0 18 0 9 0 28266598 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26047 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=49.8
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 21453 370 1 0 4959 20 1 0 25 0 9 0 28266600 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4127210649 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=0.36
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13477 370 0 0 31 4 1 0 16 0 9 0 28266601 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.41
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1002 370 0 0 39 1 1 0 16 0 9 0 28266604 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.49
Current children cumulated vsize (KiB) 868528
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/89 900
/proc/meminfo: memFree=1683280/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=1598.46
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 39267 370 1 0 159787 58 1 0 18 0 9 0 28266598 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26107 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=1593.98
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 23856 370 1 0 159365 32 1 0 25 0 9 0 28266600 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4127210574 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=4.04
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13533 370 0 0 381 22 1 0 16 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.46
Current children cumulated vsize (KiB) 868528
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/89 900
/proc/meminfo: memFree=1683216/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=1658.42
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 39363 370 1 0 165782 59 1 0 18 0 9 0 28266598 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26107 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=1653.82
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 23952 370 1 0 165348 33 1 0 25 0 9 0 28266600 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4127210674 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=4.17
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13533 370 0 0 393 23 1 0 16 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.42
Current children cumulated vsize (KiB) 868528
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/89 900
/proc/meminfo: memFree=1683216/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=1718.4
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 39432 370 1 0 171779 60 1 0 18 0 9 0 28266598 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26107 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=1713.71
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 24021 370 1 0 171337 33 1 0 25 0 9 0 28266600 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4127087857 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=4.26
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13533 370 0 0 401 24 1 0 16 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.4
Current children cumulated vsize (KiB) 868528
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/89 900
/proc/meminfo: memFree=1683152/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=1778.37
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 39517 370 1 0 177775 61 1 0 18 0 9 0 28266598 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26118 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=1773.58
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 24095 370 1 0 177323 34 1 0 25 0 9 0 28266600 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4126686168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=4.36
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13544 370 0 0 411 24 1 0 16 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.37
Current children cumulated vsize (KiB) 868528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804 s]
/proc/loadavg: 2.12 2.07 2.01 3/89 900
/proc/meminfo: memFree=1683152/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=1800.07
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 39546 370 1 0 179944 62 1 0 18 0 9 0 28266598 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26118 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=1795.24
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 24124 370 1 0 179489 34 1 0 25 0 9 0 28266600 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4127205790 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=4.39
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13544 370 0 0 414 24 1 0 16 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804 s]
/proc/loadavg: 2.12 2.07 2.01 3/89 900
/proc/meminfo: memFree=1683152/2055920 swapFree=4192812/4192956
[pid=846] ppid=844 vsize=868528 CPUtime=1800.07
/proc/846/stat : 846 (java) S 844 846 31778 0 -1 0 39546 370 1 0 179944 62 1 0 18 0 9 0 28266598 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/846/statm: 217132 26118 2662 9 0 211568 0
[pid=846/tid=848] ppid=844 vsize=868528 CPUtime=1795.24
/proc/846/task/848/stat : 848 (java) R 844 846 31778 0 -1 64 24124 370 1 0 179489 34 1 0 25 0 9 0 28266600 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4127205790 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=849] ppid=844 vsize=868528 CPUtime=4.39
/proc/846/task/849/stat : 849 (java) S 844 846 31778 0 -1 64 13544 370 0 0 414 24 1 0 16 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=846/tid=850] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/850/stat : 850 (java) S 844 846 31778 0 -1 64 19 370 0 0 0 0 1 0 16 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=851] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/851/stat : 851 (java) S 844 846 31778 0 -1 64 10 370 0 0 0 0 1 0 15 0 9 0 28266601 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=852] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/852/stat : 852 (java) S 844 846 31778 0 -1 64 2 370 0 0 0 0 1 0 18 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=853] ppid=844 vsize=868528 CPUtime=0.42
/proc/846/task/853/stat : 853 (java) S 844 846 31778 0 -1 64 1007 370 0 0 40 1 1 0 16 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=854] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/854/stat : 854 (java) S 844 846 31778 0 -1 64 0 370 0 0 0 0 1 0 19 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=846/tid=855] ppid=844 vsize=868528 CPUtime=0.01
/proc/846/task/855/stat : 855 (java) S 844 846 31778 0 -1 64 37 370 0 0 0 0 1 0 15 0 9 0 28266604 889372672 26118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868528
Child status: 143
Real time (s): 1804.07
CPU time (s): 1800.15
CPU user time (s): 1799.5
CPU system time (s): 0.646901
CPU usage (%): 99.7828
Max. virtual memory (cumulated for all children) (KiB): 868564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.646901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39945
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= 61281
involuntary context switches= 72855
runsolver used 1.9497 second user time and 6.27205 second system time
The end
Begin job on node10 at 2009-07-12 17:19:55
IDJOB=2097261
IDBENCH=57071
IDSOLVER=773
FILE ID=node10/2097261-1247411995
PBS_JOBID= 9510623
Free space on /tmp= 66416 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-100-5.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-2097261-1247411995/watcher-2097261-1247411995 -o /tmp/evaluation-result-2097261-1247411995/solver-2097261-1247411995 -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-2097261-1247411995.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1b1d2d2d7706319bf2fd92a5865476d2
RANDOM SEED=694985400
node10.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.279
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.279
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: 1719808 kB
Buffers: 47168 kB
Cached: 124600 kB
SwapCached: 0 kB
Active: 205272 kB
Inactive: 71708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2280 kB
Writeback: 0 kB
Mapped: 125684 kB
Slab: 44244 kB
Committed_AS: 1003680 kB
PageTables: 1928 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= 66416 MiB
End job on node10 at 2009-07-12 17:50:02