0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.27/0.32
0.27/0.33 instance
0.27/0.33 name=HOME/instance-2093385-1247401215.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.37
0.27/0.37 variables being loaded...
0.47/0.50 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25 nbTotalValues=6961
0.47/0.50 => wckTime=0.261 cpuTime=0.17 mem=9M842
0.47/0.50
0.47/0.50 relations being loaded...
0.47/0.51
0.47/0.51 constraints being loaded...
1.45/1.55 nbConstraints=10167 nbRelationTypes=26 nbGlobalConstraints=25 nbSingletonDomainVariables=361
1.45/1.55 nbExtensionStructures=51 nbSharedExtensionStructures=10091 nbConflictsStructures=51
1.45/1.55 nbSharedConflictsStructures=10091 nbSharedBinaryRepresentations=1323 minDegree=20 maxDegree=49 minArity=2
1.45/1.55 avgArity=2.02 maxArity=12 nbGenerators=0 nbFusions=0 symmetryWckTime=0.426 symmetryCpuTime=0.23 nbCliques=25
1.45/1.55 => wckTime=1.311 cpuTime=0.81 mem=27M847
1.54/1.68
1.54/1.68 solver IterativeSystematicSolver being built...
1.64/1.76
1.64/1.76 INFO : Forward propagation technique limited
1.74/1.85 => wckTime=1.606 cpuTime=0.96 mem=31M860
1.84/1.92
1.84/1.92 preprocessing
1.84/1.92 nbConstraintChecks=102274 nbPropagations=625 nbRevisions=7804 nbUselessRevisions=2358 nbRemovedValues=5451
1.84/1.92 detectedInconsistency=no
1.84/1.92 => wckTime=0.072 cpuTime=0.05 mem=31M860
2.24/2.33
2.24/2.33 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=33M899)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093385-1247401215/watcher-2093385-1247401215 -o /tmp/evaluation-result-2093385-1247401215/solver-2093385-1247401215 -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-2093385-1247401215.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.54 0.51 0.25 3/80 30970
/proc/meminfo: memFree=1594224/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=18576 CPUtime=0
/proc/30970/stat : 30970 (runsolver) R 30968 30970 30726 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 27188931 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30970/statm: 4644 284 249 26 0 2626 0
[startup+0.102113 s]
/proc/loadavg: 1.54 0.51 0.25 3/80 30970
/proc/meminfo: memFree=1594224/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=865984 CPUtime=0.08
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 3725 0 1 0 6 2 0 0 18 0 9 0 27188931 886767616 3193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 216496 3193 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.202136 s]
/proc/loadavg: 1.54 0.51 0.25 3/80 30970
/proc/meminfo: memFree=1594224/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=866144 CPUtime=0.18
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 4709 0 1 0 15 3 0 0 18 0 9 0 27188931 886931456 4126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 216536 4126 1878 9 0 211014 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866144
[startup+0.302154 s]
/proc/loadavg: 1.54 0.51 0.25 3/80 30970
/proc/meminfo: memFree=1594224/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=866144 CPUtime=0.27
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 5659 0 1 0 24 3 0 0 18 0 9 0 27188931 886931456 5062 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 216536 5062 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866144
[startup+0.702231 s]
/proc/loadavg: 1.54 0.51 0.25 3/80 30970
/proc/meminfo: memFree=1594224/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=867548 CPUtime=0.67
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 8789 0 1 0 62 5 0 0 18 0 9 0 27188931 888369152 8151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 216887 8151 2005 9 0 211345 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867548
[startup+1.50139 s]
/proc/loadavg: 1.66 0.56 0.27 3/89 30979
/proc/meminfo: memFree=1526248/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868196 CPUtime=1.45
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 20794 621 1 0 118 13 13 1 18 0 10 0 27188931 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217049 18981 2040 9 0 211507 0
[pid=30970/tid=30972] ppid=30968 vsize=868196 CPUtime=1.11
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 16721 621 1 0 87 10 13 1 17 0 10 0 27188932 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4126997618 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868196 CPUtime=0.24
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 2444 621 0 0 9 1 13 1 17 0 10 0 27188934 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868196 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 16 621 0 0 0 0 13 1 16 0 10 0 27188934 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868196 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 5 621 0 0 0 0 13 1 16 0 10 0 27188934 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868196 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 621 0 0 0 0 13 1 18 0 10 0 27188936 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868196 CPUtime=0.35
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 779 621 0 0 21 0 13 1 16 0 10 0 27188936 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868196 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 621 0 0 0 0 13 1 19 0 10 0 27188936 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868196 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 12 621 0 0 0 0 13 1 15 0 10 0 27188936 889032704 18981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 868196
[startup+3.1017 s]
/proc/loadavg: 1.66 0.56 0.27 3/89 30983
/proc/meminfo: memFree=1517352/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868348 CPUtime=3.03
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 32434 745 1 0 274 15 13 1 18 0 9 0 27188931 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217087 21655 2660 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868348 CPUtime=2.44
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 22728 745 1 0 219 11 13 1 19 0 9 0 27188932 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4126381335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868348 CPUtime=0.34
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 7923 745 0 0 19 1 13 1 16 0 9 0 27188934 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 15 0 9 0 27188934 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 15 0 9 0 27188934 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868348 CPUtime=0.48
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 926 745 0 0 34 0 13 1 16 0 9 0 27188936 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 12 745 0 0 0 0 13 1 15 0 9 0 27188936 889188352 21655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 868348
[startup+6.30133 s]
/proc/loadavg: 1.69 0.58 0.28 3/89 30983
/proc/meminfo: memFree=1517160/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868348 CPUtime=6.2
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 34551 745 1 0 590 16 13 1 18 0 9 0 27188931 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217087 21657 2660 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868348 CPUtime=5.6
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 24821 745 1 0 535 11 13 1 25 0 9 0 27188932 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4127162284 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868348 CPUtime=0.34
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 7923 745 0 0 19 1 13 1 17 0 9 0 27188934 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 15 0 9 0 27188934 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 15 0 9 0 27188934 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868348 CPUtime=0.48
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 929 745 0 0 34 0 13 1 17 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 868348
[startup+12.7016 s]
/proc/loadavg: 1.71 0.60 0.28 3/89 30983
/proc/meminfo: memFree=1517096/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868348 CPUtime=12.54
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 38146 745 1 0 1223 17 13 1 18 0 9 0 27188931 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217087 21657 2660 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868348 CPUtime=11.93
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28416 745 1 0 1167 12 13 1 25 0 9 0 27188932 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4127131043 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868348 CPUtime=0.34
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 7923 745 0 0 19 1 13 1 16 0 9 0 27188934 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 15 0 9 0 27188934 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 15 0 9 0 27188934 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868348 CPUtime=0.48
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 929 745 0 0 34 0 13 1 16 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868348 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889188352 21657 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 868348
[startup+25.5021 s]
/proc/loadavg: 1.76 0.65 0.30 3/89 30983
/proc/meminfo: memFree=1512744/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=25.21
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 39537 745 1 0 2490 17 13 1 18 0 9 0 27188931 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 22740 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=24.61
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28700 745 1 0 2434 13 13 1 25 0 9 0 27188932 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4127135644 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.36
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 9030 745 0 0 20 2 13 1 16 0 9 0 27188934 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.48
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 929 745 0 0 34 0 13 1 16 0 9 0 27188936 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 22740 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 868260
[startup+51.1021 s]
/proc/loadavg: 1.85 0.78 0.35 3/89 30983
/proc/meminfo: memFree=1508328/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=50.57
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40653 745 1 0 5025 18 13 1 18 0 9 0 27188931 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23849 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=49.95
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28702 745 1 0 4968 13 13 1 25 0 9 0 27188932 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4126381365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.37
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10143 745 0 0 21 2 13 1 16 0 9 0 27188934 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 930 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.69
Current children cumulated vsize (KiB) 868260
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/89 30983
/proc/meminfo: memFree=1507560/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=1587.12
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40744 745 1 0 158675 23 13 1 18 0 9 0 27188931 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23860 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=1586.4
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28779 745 1 0 158609 17 13 1 25 0 9 0 27188932 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4126095863 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.46
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10156 745 0 0 29 3 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.12
Current children cumulated vsize (KiB) 868260
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/89 30983
/proc/meminfo: memFree=1507560/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=1646.55
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40747 745 1 0 164618 23 13 1 18 0 9 0 27188931 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23860 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=1645.83
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28782 745 1 0 164552 17 13 1 25 0 9 0 27188932 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4127173182 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.47
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10156 745 0 0 30 3 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.55
Current children cumulated vsize (KiB) 868260
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/89 30983
/proc/meminfo: memFree=1507432/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=1706
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40750 745 1 0 170562 24 13 1 18 0 9 0 27188931 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23860 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=1705.26
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28785 745 1 0 170495 17 13 1 25 0 9 0 27188932 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4127004003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.47
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10156 745 0 0 30 3 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706
Current children cumulated vsize (KiB) 868260
[startup+1782.3 s]
/proc/loadavg: 1.97 1.96 1.70 3/89 31024
/proc/meminfo: memFree=1459304/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=1765.92
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40753 745 1 0 176553 25 13 1 18 0 9 0 27188931 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23860 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=1765.19
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28788 745 1 0 176486 19 13 1 25 0 9 0 27188932 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4127135640 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.47
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10156 745 0 0 30 3 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.92
Current children cumulated vsize (KiB) 868260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.4 s]
/proc/loadavg: 1.98 1.96 1.71 3/89 31026
/proc/meminfo: memFree=1459240/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=1800
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40755 745 1 0 179961 25 13 1 18 0 9 0 27188931 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23860 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=1799.27
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28790 745 1 0 179894 19 13 1 25 0 9 0 27188932 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.48
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10156 745 0 0 31 3 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 868260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.4 s]
/proc/loadavg: 1.98 1.96 1.71 3/89 31026
/proc/meminfo: memFree=1459240/2055924 swapFree=4192812/4192956
[pid=30970] ppid=30968 vsize=868260 CPUtime=1800
/proc/30970/stat : 30970 (java) S 30968 30970 30726 0 -1 0 40755 745 1 0 179961 25 13 1 18 0 9 0 27188931 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30970/statm: 217065 23860 2638 9 0 211523 0
[pid=30970/tid=30972] ppid=30968 vsize=868260 CPUtime=1799.27
/proc/30970/task/30972/stat : 30972 (java) R 30968 30970 30726 0 -1 64 28790 745 1 0 179894 19 13 1 25 0 9 0 27188932 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30973] ppid=30968 vsize=868260 CPUtime=0.48
/proc/30970/task/30973/stat : 30973 (java) S 30968 30970 30726 0 -1 64 10156 745 0 0 31 3 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30970/tid=30974] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30974/stat : 30974 (java) S 30968 30970 30726 0 -1 64 20 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30975] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30975/stat : 30975 (java) S 30968 30970 30726 0 -1 64 8 745 0 0 0 0 13 1 16 0 9 0 27188934 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30976] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30976/stat : 30976 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 18 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30977] ppid=30968 vsize=868260 CPUtime=0.49
/proc/30970/task/30977/stat : 30977 (java) S 30968 30970 30726 0 -1 64 931 745 0 0 35 0 13 1 16 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30978] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30978/stat : 30978 (java) S 30968 30970 30726 0 -1 64 1 745 0 0 0 0 13 1 19 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30970/tid=30979] ppid=30968 vsize=868260 CPUtime=0.14
/proc/30970/task/30979/stat : 30979 (java) S 30968 30970 30726 0 -1 64 33 745 0 0 0 0 13 1 15 0 9 0 27188936 889098240 23860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 868260
Child status: 143
Real time (s): 1816.44
CPU time (s): 1800.07
CPU user time (s): 1799.78
CPU system time (s): 0.289955
CPU usage (%): 99.0986
Max. virtual memory (cumulated for all children) (KiB): 868360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41528
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= 38846
involuntary context switches= 77168
runsolver used 2.68459 second user time and 5.62514 second system time
The end
Begin job on node6 at 2009-07-12 14:20:15
IDJOB=2093385
IDBENCH=53546
IDSOLVER=773
FILE ID=node6/2093385-1247401215
PBS_JOBID= 9510631
Free space on /tmp= 66404 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-14_ext.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-2093385-1247401215/watcher-2093385-1247401215 -o /tmp/evaluation-result-2093385-1247401215/solver-2093385-1247401215 -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-2093385-1247401215.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 20a182e783cc61eec54b963da7b577b8
RANDOM SEED=1890575896
node6.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.263
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.263
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: 2055924 kB
MemFree: 1594704 kB
Buffers: 74224 kB
Cached: 248368 kB
SwapCached: 0 kB
Active: 211336 kB
Inactive: 167484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1594704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2764 kB
Writeback: 0 kB
Mapped: 76656 kB
Slab: 67612 kB
Committed_AS: 995152 kB
PageTables: 1968 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= 66396 MiB
End job on node6 at 2009-07-12 14:50:34