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.18/0.29
0.18/0.30 instance
0.18/0.30 name=HOME/instance-2093345-1247401163.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.38/0.43 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3953
0.38/0.43 => wckTime=0.172 cpuTime=0.12 mem=8M867
0.38/0.43
0.38/0.43 relations being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
1.06/1.15 nbConstraints=5562 nbRelationTypes=21 nbGlobalConstraints=22 nbSingletonDomainVariables=213
1.06/1.16 nbExtensionStructures=41 nbSharedExtensionStructures=5499 nbConflictsStructures=41
1.06/1.16 nbSharedConflictsStructures=5499 nbSharedBinaryRepresentations=858 minDegree=18 maxDegree=39 minArity=2
1.06/1.16 avgArity=2.03 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.293 symmetryCpuTime=0.17 nbCliques=22
1.06/1.16 => wckTime=0.894 cpuTime=0.59 mem=42M152
1.16/1.28
1.16/1.28 solver IterativeSystematicSolver being built...
1.25/1.36
1.25/1.36 INFO : Forward propagation technique limited
1.36/1.44 => wckTime=1.176 cpuTime=0.72 mem=26M633
1.36/1.49
1.36/1.49 preprocessing
1.36/1.49 nbConstraintChecks=45363 nbPropagations=400 nbRevisions=3974 nbUselessRevisions=1080 nbRemovedValues=2894
1.36/1.49 detectedInconsistency=no
1.36/1.49 => wckTime=0.049 cpuTime=0.03 mem=26M633
1.75/1.89
1.75/1.89 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M648)
245.13/247.56
245.13/247.56 search
245.13/247.56 run=22 nbConstraintChecks=194773627 minDepth=17 maxDepth=400 nbPropagations=25158461 nbRevisions=420124633
245.13/247.56 nbUselessRevisions=378693495 nbAssignments=894042 nbFailedAssignments=167817 nbBacktracks=723832
245.13/247.56 nbVisitedNodes=1212865 nbRestartNogoods=196 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=213
245.13/247.56 nbIEliminables=173.6 nbDEliminables=0 nbPEliminables=0
245.13/247.56 => wckTime=246.123 cpuTime=243.64 mem=15M609
245.13/247.56
245.13/247.57 global
245.13/247.57 nbConstraintChecks=194818990 nbPropagations=25158861 nbRevisions=420128607 nbUselessRevisions=378694575
245.13/247.57 nbRestartNogoods=196 solvingWckTime=246.125 solvingCpuTime=243.65 expiredTime=no totalExploration=no
245.13/247.57 nbFoundSolutions=1 firstSolutionCpuTime=244.36 globalCpuTime=244.42
245.13/247.57 => wckTime=247.303 cpuTime=244.37 mem=15M609
245.13/247.57
245.13/247.57 s SATISFIABLE
245.13/247.57 v 6 18 5 3 0 2 7 4 14 1 19 8 12 17 13 9 16 10 15 11 5 6 19 4 10 16 18 11 2 17 7 14 1 13 0 3 15 8 9 12 17 11 2 7 19 5 14 15 3 6 1 12 18 9 8 10 13 16 4 0 10 12 9 14 16 4 15 1 6 19 18 13 2 11 3 17 0 5 7 8 15 4 18 8 6 17 19 13 1 2 3 9 7 5 11 12 10 14 0 16 3 19 13 15 18 6 4 14 0 5 16 7 8 10 17 11 12 9 1 2 16 10 7 11 2 9 0 19 13 12 8 1 17 15 4 14 6 18 3 5 19 2 17 18 9 12 11 16 8 0 14 3 15 1 5 7 4 13 10 6 13 7 16 10 11 18 2 12 5 15 4 0 19 6 1 8 14 3 17 9 8 15 3 6 5 1 13 0 12 16 11 2 9 4 7 19 18 17 14 10 2 8 6 5 12 19 10 7 15 13 9 17 11 18 14 4 1 0 16 3 7 0 15 1 3 8 12 5 19 10 6 4 16 14 9 13 11 2 18 17 0 17 4 2 1 15 9 6 16 18 13 10 14 12 19 5 3 11 8 7 9 1 11 13 7 10 3 2 18 14 15 19 0 8 12 16 17 6 5 4 4 16 14 12 8 11 6 3 17 7 10 18 5 0 15 2 9 1 13 19 1 13 12 17 14 7 16 9 4 3 0 5 6 2 10 15 8 19 11 18 11 5 1 19 13 14 17 8 10 9 12 6 3 16 18 0 7 4 2 15 14 9 10 16 17 0 1 18 7 8 5 11 4 3 2 6 19 15 12 13 18 3 0 9 15 13 8 17 11 4 2 16 10 7 6 1 5 12 19 14 12 14 8 0 4 3 5 10 9 11 17 15 13 19 16 18 2 7 6 1
245.13/247.57 d NODES 894042
245.13/247.57 d CHECKS 194818990
245.13/247.57
245.13/247.57 totalWckTime=247.377 totalCpuTime=244.42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093345-1247401163/watcher-2093345-1247401163 -o /tmp/evaluation-result-2093345-1247401163/solver-2093345-1247401163 -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-2093345-1247401163.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: 0.93 0.24 0.16 4/80 28194
/proc/meminfo: memFree=1756376/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=18576 CPUtime=0
/proc/28194/stat : 28194 (runsolver) R 28192 28194 28067 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 27180222 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28194/statm: 4644 284 249 26 0 2626 0
[startup+0.0177809 s]
/proc/loadavg: 0.93 0.24 0.16 4/80 28194
/proc/meminfo: memFree=1756376/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=10964 CPUtime=0
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 823 0 0 0 0 0 0 0 18 0 2 0 27180222 11227136 577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 2741 577 284 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964
[startup+0.103359 s]
/proc/loadavg: 0.93 0.24 0.16 4/80 28194
/proc/meminfo: memFree=1756376/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=865984 CPUtime=0.08
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 3735 0 1 0 7 1 0 0 18 0 9 0 27180222 886767616 3203 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 216496 3203 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302397 s]
/proc/loadavg: 0.93 0.24 0.16 4/80 28194
/proc/meminfo: memFree=1756376/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=866380 CPUtime=0.28
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 5863 0 1 0 25 3 0 0 18 0 9 0 27180222 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 216595 5229 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.702487 s]
/proc/loadavg: 0.93 0.24 0.16 4/80 28194
/proc/meminfo: memFree=1756376/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=867532 CPUtime=0.68
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 9057 0 1 0 63 5 0 0 18 0 9 0 27180222 888352768 8410 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 216883 8410 2013 9 0 211341 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867532
[startup+1.50163 s]
/proc/loadavg: 1.17 0.30 0.18 4/91 28205
/proc/meminfo: memFree=1707840/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868268 CPUtime=1.45
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 26457 590 1 0 128 11 6 0 18 0 9 0 27180222 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217067 16758 2657 9 0 211503 0
[pid=28194/tid=28196] ppid=28192 vsize=868268 CPUtime=1.03
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 20027 590 1 0 89 8 6 0 17 0 9 0 27180223 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4127145515 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868268 CPUtime=0.17
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 4719 590 0 0 10 1 6 0 16 0 9 0 27180225 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868268 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868268 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868268 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868268 CPUtime=0.34
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 874 590 0 0 28 0 6 0 15 0 9 0 27180227 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868268 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889106432 16758 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868268 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 13 590 0 0 0 0 6 0 15 0 9 0 27180227 889106432 16758 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) 868268
[startup+3.10294 s]
/proc/loadavg: 1.17 0.30 0.18 3/89 28207
/proc/meminfo: memFree=1699144/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868400 CPUtime=3.03
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 26517 590 1 0 286 11 6 0 18 0 9 0 27180222 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217100 16807 2657 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868400 CPUtime=2.53
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 20039 590 1 0 239 8 6 0 23 0 9 0 27180223 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4127127493 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868400 CPUtime=0.17
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 4720 590 0 0 10 1 6 0 16 0 9 0 27180225 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868400 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 921 590 0 0 36 0 6 0 16 0 9 0 27180227 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889241600 16807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 13 590 0 0 0 0 6 0 15 0 9 0 27180227 889241600 16807 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) 868400
[startup+6.30155 s]
/proc/loadavg: 1.17 0.30 0.18 3/89 28207
/proc/meminfo: memFree=1698888/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868400 CPUtime=6.21
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 27800 590 1 0 603 12 6 0 18 0 9 0 27180222 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217100 16810 2657 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868400 CPUtime=5.7
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 21299 590 1 0 556 8 6 0 25 0 9 0 27180223 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4127131219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868400 CPUtime=0.17
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 4720 590 0 0 10 1 6 0 16 0 9 0 27180225 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868400 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 922 590 0 0 36 0 6 0 16 0 9 0 27180227 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889241600 16810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868400 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889241600 16810 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) 868400
[startup+12.7018 s]
/proc/loadavg: 1.30 0.35 0.20 3/89 28207
/proc/meminfo: memFree=1685704/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=12.55
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 31946 590 1 0 1235 14 6 0 18 0 9 0 27180222 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 20079 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=12.02
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24367 590 1 0 1187 9 6 0 25 0 9 0 27180223 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4127128015 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.18
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 5796 590 0 0 10 2 6 0 16 0 9 0 27180225 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 924 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 20079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 20079 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) 868312
[startup+25.5022 s]
/proc/loadavg: 1.41 0.41 0.22 3/89 28207
/proc/meminfo: memFree=1685640/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=25.22
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33025 590 1 0 2502 14 6 0 18 0 9 0 27180222 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21153 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=24.68
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24369 590 1 0 2453 9 6 0 25 0 9 0 27180223 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4127124583 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.19
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6873 590 0 0 11 2 6 0 16 0 9 0 27180225 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 924 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21153 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) 868312
[startup+51.1021 s]
/proc/loadavg: 1.61 0.53 0.26 3/89 28207
/proc/meminfo: memFree=1681160/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=50.58
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33028 590 1 0 5038 14 6 0 18 0 9 0 27180222 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21154 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=50.04
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24370 590 1 0 4989 9 6 0 25 0 9 0 27180223 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4127131219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.19
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6873 590 0 0 11 2 6 0 16 0 9 0 27180225 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33043 590 1 0 23422 15 6 0 18 0 9 0 27180222 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21159 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=233.87
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24380 590 1 0 23371 10 6 0 25 0 9 0 27180223 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4127125490 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6878 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 234.43
Current children cumulated vsize (KiB) 868312
[startup+243.108 s]
/proc/loadavg: 1.98 1.23 0.58 3/89 28207
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=240.77
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33043 590 1 0 24056 15 6 0 18 0 9 0 27180222 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21159 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=240.21
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24380 590 1 0 24005 10 6 0 25 0 9 0 27180223 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4127165907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6878 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 240.77
Current children cumulated vsize (KiB) 868312
[startup+244.701 s]
/proc/loadavg: 1.98 1.23 0.58 3/89 28207
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=242.35
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33043 590 1 0 24214 15 6 0 18 0 9 0 27180222 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21159 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=241.79
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24380 590 1 0 24163 10 6 0 25 0 9 0 27180223 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4126381357 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6878 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21159 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 242.35
Current children cumulated vsize (KiB) 868312
[startup+246.301 s]
/proc/loadavg: 1.98 1.24 0.59 3/89 28207
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=243.94
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33045 590 1 0 24373 15 6 0 18 0 9 0 27180222 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21160 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=243.38
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24381 590 1 0 24322 10 6 0 25 0 9 0 27180223 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4127124583 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6879 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.94
Current children cumulated vsize (KiB) 868312
[startup+247.103 s]
/proc/loadavg: 1.98 1.24 0.59 3/89 28207
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=244.73
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33045 590 1 0 24452 15 6 0 18 0 9 0 27180222 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21160 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=244.17
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24381 590 1 0 24401 10 6 0 25 0 9 0 27180223 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4127170268 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6879 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 244.73
Current children cumulated vsize (KiB) 868312
[startup+247.507 s]
/proc/loadavg: 1.98 1.24 0.59 3/89 28207
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=245.13
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33045 590 1 0 24492 15 6 0 18 0 9 0 27180222 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21160 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=244.57
/proc/28194/task/28196/stat : 28196 (java) R 28192 28194 28067 0 -1 64 24381 590 1 0 24441 10 6 0 25 0 9 0 27180223 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4127132614 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6879 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.42
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 926 590 0 0 36 0 6 0 16 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 245.13
Current children cumulated vsize (KiB) 868312
[startup+247.603 s]
/proc/loadavg: 1.98 1.24 0.59 3/89 28207
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=28194] ppid=28192 vsize=868312 CPUtime=245.19
/proc/28194/stat : 28194 (java) S 28192 28194 28067 0 -1 0 33052 590 1 0 24498 15 6 0 18 0 9 0 27180222 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28194/statm: 217078 21163 2638 9 0 211536 0
[pid=28194/tid=28196] ppid=28192 vsize=868312 CPUtime=244.63
/proc/28194/task/28196/stat : 28196 (java) S 28192 28194 28067 0 -1 64 24387 590 1 0 24447 10 6 0 24 0 9 0 27180223 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28197] ppid=28192 vsize=868312 CPUtime=0.21
/proc/28194/task/28197/stat : 28197 (java) S 28192 28194 28067 0 -1 64 6879 590 0 0 13 2 6 0 16 0 9 0 27180225 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28198] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28198/stat : 28198 (java) S 28192 28194 28067 0 -1 64 19 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28199] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28199/stat : 28199 (java) S 28192 28194 28067 0 -1 64 7 590 0 0 0 0 6 0 16 0 9 0 27180225 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28200] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28200/stat : 28200 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 18 0 9 0 27180227 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28201] ppid=28192 vsize=868312 CPUtime=0.43
/proc/28194/task/28201/stat : 28201 (java) S 28192 28194 28067 0 -1 64 927 590 0 0 37 0 6 0 16 0 9 0 27180227 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28202] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28202/stat : 28202 (java) S 28192 28194 28067 0 -1 64 1 590 0 0 0 0 6 0 19 0 9 0 27180227 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28194/tid=28203] ppid=28192 vsize=868312 CPUtime=0.06
/proc/28194/task/28203/stat : 28203 (java) S 28192 28194 28067 0 -1 64 35 590 0 0 0 0 6 0 15 0 9 0 27180227 889151488 21163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 245.19
Current children cumulated vsize (KiB) 868312
Child status: 0
Real time (s): 247.637
CPU time (s): 245.233
CPU user time (s): 245.058
CPU system time (s): 0.174973
CPU usage (%): 99.029
Max. virtual memory (cumulated for all children) (KiB): 869620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.058
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33668
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= 6743
involuntary context switches= 12088
runsolver used 0.433934 second user time and 0.701893 second system time
The end
Begin job on node42 at 2009-07-12 14:19:23
IDJOB=2093345
IDBENCH=53526
IDSOLVER=773
FILE ID=node42/2093345-1247401163
PBS_JOBID= 9510559
Free space on /tmp= 66308 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-1_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-2093345-1247401163/watcher-2093345-1247401163 -o /tmp/evaluation-result-2093345-1247401163/solver-2093345-1247401163 -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-2093345-1247401163.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f3ee39aa6f2efa7f9f3ad629962df693
RANDOM SEED=1777465953
node42.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.283
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.283
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: 1756856 kB
Buffers: 38044 kB
Cached: 158204 kB
SwapCached: 0 kB
Active: 137612 kB
Inactive: 108608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2476 kB
Writeback: 0 kB
Mapped: 70420 kB
Slab: 38016 kB
Committed_AS: 1007008 kB
PageTables: 1864 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= 66304 MiB
End job on node42 at 2009-07-12 14:23:31