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.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097637-1247413738.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.38 => wckTime=0.144 cpuTime=0.1 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
3.35/3.45
3.35/3.45 INFO : Contraction of relations, mem = 107M827
5.23/5.32
5.23/5.32 constraints being loaded...
8.09/8.21 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
8.09/8.21 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
8.09/8.21 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=11 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
8.09/8.21 symmetryWckTime=0.073 symmetryCpuTime=0.03
8.09/8.21 => wckTime=7.966 cpuTime=6.52 mem=182M479
8.98/9.18
8.98/9.18 solver IterativeSystematicSolver being built...
9.08/9.25
9.08/9.25 INFO : Forward propagation technique limited
9.18/9.32 => wckTime=9.08 cpuTime=6.63 mem=179M971
9.37/9.55
9.37/9.55 preprocessing
9.37/9.55 nbConstraintChecks=0 nbValidityChecks=1405279 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
9.37/9.55 nbRemovedValues=0 detectedInconsistency=no
9.37/9.55 => wckTime=0.225 cpuTime=0.22 mem=179M971
10.17/10.30
10.17/10.30 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=180M843)
65.07/65.44
65.07/65.44 search
65.07/65.44 run=19 nbConstraintChecks=449037 nbValidityChecks=564238902 minDepth=2 maxDepth=20 nbPropagations=1994773
65.07/65.44 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96317 nbFailedAssignments=52959 nbBacktracks=43181
65.07/65.44 nbVisitedNodes=179454 nbRestartNogoods=167 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=7.27
65.07/65.44 nbIEliminables=4.23 nbDEliminables=0 nbPEliminables=0
65.07/65.44 => wckTime=56.117 cpuTime=55.81 mem=183M461
65.07/65.44
65.07/65.44 global
65.07/65.44 nbConstraintChecks=449037 nbValidityChecks=565644181 nbPropagations=1994793 nbRestartNogoods=167
65.07/65.44 solvingWckTime=56.119 solvingCpuTime=55.81 expiredTime=no totalExploration=no nbFoundSolutions=1
65.07/65.44 firstSolutionCpuTime=62.45 globalCpuTime=62.5
65.07/65.44 => wckTime=65.201 cpuTime=62.45 mem=183M461
65.07/65.44
65.07/65.44 s SATISFIABLE
65.07/65.44 v 3 3 0 4 1 4 3 0 4 0 3 4 4 4 3 3 2 4 4 1
65.07/65.44 d NODES 96317
65.07/65.44 d CHECKS 449037
65.07/65.44
65.07/65.44 totalWckTime=65.258 totalCpuTime=62.51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097637-1247413738/watcher-2097637-1247413738 -o /tmp/evaluation-result-2097637-1247413738/solver-2097637-1247413738 -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-2097637-1247413738.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.95 2.01 2.00 4/81 30810
/proc/meminfo: memFree=1686144/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=1616 CPUtime=0
/proc/30810/stat : 30810 (java) R 30808 30810 29077 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28437311 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30810/statm: 404 148 122 9 0 46 0
[startup+0.104115 s]
/proc/loadavg: 1.95 2.01 2.00 4/81 30810
/proc/meminfo: memFree=1686144/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=865984 CPUtime=0.09
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 3812 0 1 0 7 2 0 0 18 0 9 0 28437311 886767616 3257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216496 3257 1718 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.201126 s]
/proc/loadavg: 1.95 2.01 2.00 4/81 30810
/proc/meminfo: memFree=1686144/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=866144 CPUtime=0.18
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 4726 0 1 0 16 2 0 0 18 0 9 0 28437311 886931456 4143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216536 4143 1878 9 0 211014 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866144
[startup+0.301137 s]
/proc/loadavg: 1.95 2.01 2.00 4/81 30810
/proc/meminfo: memFree=1686144/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=866296 CPUtime=0.28
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 5697 0 1 0 25 3 0 0 18 0 9 0 28437311 887087104 5100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216574 5100 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701176 s]
/proc/loadavg: 1.95 2.01 2.00 4/81 30810
/proc/meminfo: memFree=1686144/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=866500 CPUtime=0.68
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 13156 0 1 0 61 7 0 0 18 0 9 0 28437311 887296000 12518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216625 12518 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50226 s]
/proc/loadavg: 1.95 2.01 2.00 3/90 30819
/proc/meminfo: memFree=1614648/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=866632 CPUtime=1.47
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 23927 0 1 0 134 13 0 0 18 0 9 0 28437311 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216658 23287 2010 9 0 211116 0
[pid=30810/tid=30812] ppid=30808 vsize=866632 CPUtime=1.3
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 15708 0 1 0 121 9 0 0 25 0 9 0 28437313 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4126602186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30813] ppid=30808 vsize=866632 CPUtime=0.09
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 7193 0 0 0 6 3 0 0 16 0 9 0 28437314 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28437314 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 28437314 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28437316 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=866632 CPUtime=0.06
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 331 0 0 0 6 0 0 0 16 0 9 0 28437316 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28437316 887431168 23287 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28437316 887431168 23287 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) 866632
[startup+3.10242 s]
/proc/loadavg: 1.95 2.01 2.00 3/90 30819
/proc/meminfo: memFree=1581624/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=866632 CPUtime=3.05
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 32886 0 1 0 286 19 0 0 18 0 9 0 28437311 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216658 32242 2010 9 0 211116 0
[pid=30810/tid=30812] ppid=30808 vsize=866632 CPUtime=2.68
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 15712 0 1 0 258 10 0 0 25 0 9 0 28437313 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 101450487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30813] ppid=30808 vsize=866632 CPUtime=0.27
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 16143 0 0 0 20 7 0 0 16 0 9 0 28437314 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28437314 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 28437314 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28437316 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=866632 CPUtime=0.07
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 28437316 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28437316 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=866632 CPUtime=0
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28437316 887431168 32242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866632
[startup+6.30173 s]
/proc/loadavg: 1.95 2.01 2.00 3/90 30819
/proc/meminfo: memFree=1534968/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867160 CPUtime=6.22
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 45933 0 1 0 596 26 0 0 18 0 9 0 28437311 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216790 43122 2633 9 0 211248 0
[pid=30810/tid=30812] ppid=30808 vsize=867160 CPUtime=5.1
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 15762 0 1 0 498 12 0 0 25 0 9 0 28437313 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4126728223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867160 CPUtime=0.97
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 28986 0 0 0 84 13 0 0 16 0 9 0 28437314 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867160 CPUtime=0
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28437314 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867160 CPUtime=0
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28437314 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867160 CPUtime=0
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28437316 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867160 CPUtime=0.12
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 484 0 0 0 12 0 0 0 16 0 9 0 28437316 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867160 CPUtime=0
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28437316 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867160 CPUtime=0
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28437316 887971840 43122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867160
[startup+12.7013 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 30823
/proc/meminfo: memFree=1456760/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=12.55
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 107656 268 1 0 1208 45 0 2 18 0 9 0 28437311 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59818 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=10.11
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19289 268 1 0 995 14 0 2 25 0 9 0 28437313 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4126847387 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 17 0 9 0 28437314 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 657 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59818 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) 867572
[startup+25.5026 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 30823
/proc/meminfo: memFree=1457016/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=25.22
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 107771 268 1 0 2475 45 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=22.78
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19402 268 1 0 2262 14 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126847397 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867572
[startup+51.1021 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311368/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=50.78
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108050 268 1 0 5028 48 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=48.34
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19681 268 1 0 4815 17 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126869103 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 867572
[startup+57.6017 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311432/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=57.28
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108122 268 1 0 5677 49 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=54.84
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19753 268 1 0 5465 17 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126857039 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.28
Current children cumulated vsize (KiB) 867572
[startup+60.802 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311432/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=60.48
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108158 268 1 0 5997 49 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=58.04
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19789 268 1 0 5785 17 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126847648 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.48
Current children cumulated vsize (KiB) 867572
[startup+64.0014 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311496/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=63.67
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108195 268 1 0 6316 49 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=61.23
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19826 268 1 0 6104 17 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126847580 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.67
Current children cumulated vsize (KiB) 867572
[startup+64.8014 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311496/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=64.47
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108204 268 1 0 6396 49 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=62.04
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19835 268 1 0 6184 18 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126847429 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.47
Current children cumulated vsize (KiB) 867572
[startup+65.2015 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311496/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=64.87
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108208 268 1 0 6436 49 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=62.44
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19839 268 1 0 6224 18 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126847570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.87
Current children cumulated vsize (KiB) 867572
[startup+65.4015 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311496/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=867572 CPUtime=65.07
/proc/30810/stat : 30810 (java) S 30808 30810 29077 0 -1 0 108210 268 1 0 6456 49 0 2 18 0 9 0 28437311 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30810/statm: 216893 59819 2660 9 0 211329 0
[pid=30810/tid=30812] ppid=30808 vsize=867572 CPUtime=62.64
/proc/30810/task/30812/stat : 30812 (java) R 30808 30810 29077 0 -1 64 19841 268 1 0 6244 18 0 2 25 0 9 0 28437313 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4126847570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30810/tid=30813] ppid=30808 vsize=867572 CPUtime=2.15
/proc/30810/task/30813/stat : 30813 (java) S 30808 30810 29077 0 -1 64 86849 268 0 0 186 27 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30814] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30814/stat : 30814 (java) S 30808 30810 29077 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30815] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30815/stat : 30815 (java) S 30808 30810 29077 0 -1 64 14 268 0 0 0 0 0 2 16 0 9 0 28437314 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30816] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30816/stat : 30816 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30817] ppid=30808 vsize=867572 CPUtime=0.27
/proc/30810/task/30817/stat : 30817 (java) S 30808 30810 29077 0 -1 64 659 268 0 0 25 0 0 2 16 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30818] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30818/stat : 30818 (java) S 30808 30810 29077 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30810/tid=30819] ppid=30808 vsize=867572 CPUtime=0.02
/proc/30810/task/30819/stat : 30819 (java) S 30808 30810 29077 0 -1 64 9 268 0 0 0 0 0 2 15 0 9 0 28437316 888393728 59819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.07
Current children cumulated vsize (KiB) 867572
[startup+65.5015 s]
/proc/loadavg: 2.02 2.02 2.00 3/90 30864
/proc/meminfo: memFree=1311496/2055920 swapFree=4192812/4192956
[pid=30810] ppid=30808 vsize=0 CPUtime=65.14
/proc/30810/stat : 30810 (java) Z 30808 30810 29077 0 -1 12 108337 268 1 0 6461 51 0 2 16 0 2 0 28437311 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30810/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 65.14
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 65.5127
CPU time (s): 65.1701
CPU user time (s): 64.6162
CPU system time (s): 0.553915
CPU usage (%): 99.4771
Max. virtual memory (cumulated for all children) (KiB): 871164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.6162
system time used= 0.553915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108605
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= 2582
involuntary context switches= 3143
runsolver used 0.083987 second user time and 0.227965 second system time
The end
Begin job on node56 at 2009-07-12 17:49:00
IDJOB=2097637
IDBENCH=57584
IDSOLVER=773
FILE ID=node56/2097637-1247413738
PBS_JOBID= 9510533
Free space on /tmp= 103028 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-15_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-2097637-1247413738/watcher-2097637-1247413738 -o /tmp/evaluation-result-2097637-1247413738/solver-2097637-1247413738 -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-2097637-1247413738.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d79ec5163944086e4aebac72d51eb912
RANDOM SEED=1805608019
node56.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.209
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.209
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: 1686624 kB
Buffers: 38704 kB
Cached: 146392 kB
SwapCached: 0 kB
Active: 238072 kB
Inactive: 73884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1686624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 24036 kB
Writeback: 0 kB
Mapped: 146268 kB
Slab: 42224 kB
Committed_AS: 1002800 kB
PageTables: 2092 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= 103004 MiB
End job on node56 at 2009-07-12 17:50:06