0.03/0.09
0.03/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-2097631-1247413732.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.39 => wckTime=0.142 cpuTime=0.1 mem=7M892
0.28/0.39
0.28/0.39 relations being loaded...
3.14/3.29
3.14/3.29 INFO : Contraction of relations, mem = 107M601
5.02/5.14
5.02/5.14 constraints being loaded...
7.79/7.93 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
7.79/7.93 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
7.79/7.93 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=12 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
7.79/7.93 symmetryWckTime=0.076 symmetryCpuTime=0.02
7.79/7.93 => wckTime=7.684 cpuTime=6.28 mem=183M139
8.69/8.87
8.69/8.87 solver IterativeSystematicSolver being built...
8.78/8.94
8.78/8.94 INFO : Forward propagation technique limited
8.88/9.01 => wckTime=8.771 cpuTime=6.4 mem=179M726
9.08/9.24
9.08/9.24 preprocessing
9.08/9.24 nbConstraintChecks=0 nbValidityChecks=1405300 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
9.08/9.24 nbRemovedValues=0 detectedInconsistency=no
9.08/9.24 => wckTime=0.228 cpuTime=0.22 mem=179M726
9.97/10.14
9.97/10.14 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M512)
77.53/78.31
77.53/78.31 search
77.53/78.31 run=16 nbConstraintChecks=130471 nbValidityChecks=459817861 minDepth=4 maxDepth=20 nbPropagations=731607
77.53/78.31 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33526 nbFailedAssignments=13813 nbBacktracks=19560
77.53/78.31 nbVisitedNodes=57008 nbRestartNogoods=119 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=7.47
77.53/78.31 nbIEliminables=3.46 nbDEliminables=0 nbPEliminables=0
77.53/78.31 => wckTime=69.29 cpuTime=68.55 mem=182M381
77.53/78.31
77.53/78.31 global
77.53/78.31 nbConstraintChecks=130471 nbValidityChecks=461223161 nbPropagations=731627 nbRestartNogoods=119
77.53/78.31 solvingWckTime=69.298 solvingCpuTime=68.55 expiredTime=no totalExploration=no nbFoundSolutions=1
77.53/78.31 firstSolutionCpuTime=74.94 globalCpuTime=75.0
77.53/78.31 => wckTime=78.07 cpuTime=74.95 mem=182M381
77.53/78.32
77.53/78.32 s SATISFIABLE
77.53/78.32 v 2 0 0 3 4 4 1 4 4 4 1 2 2 0 1 1 4 3 0 2
77.53/78.32 d NODES 33526
77.53/78.32 d CHECKS 130471
77.53/78.32
77.53/78.32 totalWckTime=78.133 totalCpuTime=75.0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097631-1247413732/watcher-2097631-1247413732 -o /tmp/evaluation-result-2097631-1247413732/solver-2097631-1247413732 -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-2097631-1247413732.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 28640
/proc/meminfo: memFree=1752744/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=18576 CPUtime=0
/proc/28640/stat : 28640 (runsolver) R 28638 28640 26990 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 28439535 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 225612197159 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28640/statm: 4644 284 249 26 0 2626 0
[startup+0.0547301 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 28640
/proc/meminfo: memFree=1752744/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=863776 CPUtime=0.03
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 2556 0 1 0 2 1 0 0 21 0 9 0 28439535 884506624 2125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 215944 2125 1013 9 0 210859 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776
[startup+0.10194 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 28640
/proc/meminfo: memFree=1752744/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=865984 CPUtime=0.09
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 3785 0 1 0 7 2 0 0 21 0 9 0 28439535 886767616 3236 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216496 3236 1708 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.30196 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 28640
/proc/meminfo: memFree=1752744/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=866296 CPUtime=0.28
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 5697 0 1 0 24 4 0 0 21 0 9 0 28439535 887087104 5100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216574 5100 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701992 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 28640
/proc/meminfo: memFree=1752744/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=866500 CPUtime=0.68
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 16099 0 1 0 58 10 0 0 21 0 9 0 28439535 887296000 15461 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216625 15461 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50206 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 28649
/proc/meminfo: memFree=1681120/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=866632 CPUtime=1.46
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 23935 0 1 0 130 16 0 0 21 0 9 0 28439535 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216658 23295 2010 9 0 211116 0
[pid=28640/tid=28642] ppid=28638 vsize=866632 CPUtime=1.28
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 15708 0 1 0 117 11 0 0 25 0 9 0 28439536 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4126425132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=866632 CPUtime=0.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 7200 0 0 0 5 3 0 0 16 0 9 0 28439538 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28439538 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28439538 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28439540 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=866632 CPUtime=0.06
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 331 0 0 0 6 0 0 0 16 0 9 0 28439540 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28439540 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28439540 887431168 23295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866632
[startup+3.1022 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 28649
/proc/meminfo: memFree=1648224/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=866632 CPUtime=3.04
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 32883 0 1 0 283 21 0 0 21 0 9 0 28439535 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216658 32239 2010 9 0 211116 0
[pid=28640/tid=28642] ppid=28638 vsize=866632 CPUtime=2.69
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 15712 0 1 0 256 13 0 0 25 0 9 0 28439536 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4126555756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=866632 CPUtime=0.25
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 16139 0 0 0 19 6 0 0 16 0 9 0 28439538 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28439538 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28439538 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28439540 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=866632 CPUtime=0.07
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 28439540 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28439540 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=866632 CPUtime=0
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28439540 887431168 32239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866632
[startup+6.30148 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 28649
/proc/meminfo: memFree=1602208/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867160 CPUtime=6.21
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 45899 0 1 0 595 26 0 0 21 0 9 0 28439535 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216790 43088 2633 9 0 211248 0
[pid=28640/tid=28642] ppid=28638 vsize=867160 CPUtime=5.13
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 15762 0 1 0 500 13 0 0 25 0 9 0 28439536 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4126650577 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867160 CPUtime=0.93
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 28951 0 0 0 82 11 0 0 16 0 9 0 28439538 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867160 CPUtime=0
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28439538 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867160 CPUtime=0
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28439538 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867160 CPUtime=0
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28439540 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867160 CPUtime=0.12
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 484 0 0 0 12 0 0 0 16 0 9 0 28439540 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867160 CPUtime=0
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28439540 887971840 43088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867160 CPUtime=0
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28439540 887971840 43088 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) 867160
[startup+12.701 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523304/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=12.54
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107654 267 1 0 1211 41 0 2 21 0 9 0 28439535 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59808 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=10.2
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19284 267 1 0 1004 14 0 2 25 0 9 0 28439536 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4126847349 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 17 0 9 0 28439538 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.25
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 666 267 0 0 22 1 0 2 15 0 9 0 28439540 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867572
[startup+25.5021 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523432/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=25.22
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107710 267 1 0 2479 41 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=22.86
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19323 267 1 0 2270 14 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 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.1023 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523432/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=50.58
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107788 267 1 0 5014 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=48.22
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19401 267 1 0 4805 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847416 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107825 267 1 0 6282 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=60.9
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19438 267 1 0 6073 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.26
Current children cumulated vsize (KiB) 867572
[startup+70.303 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523560/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=69.61
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107846 267 1 0 6917 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=67.25
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19459 267 1 0 6708 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.61
Current children cumulated vsize (KiB) 867572
[startup+73.5013 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523560/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=72.78
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107855 267 1 0 7234 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=70.41
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19468 267 1 0 7024 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.78
Current children cumulated vsize (KiB) 867572
[startup+76.7026 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523560/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=75.95
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107864 267 1 0 7551 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=73.58
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19477 267 1 0 7341 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.95
Current children cumulated vsize (KiB) 867572
[startup+77.5027 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523560/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=76.74
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107866 267 1 0 7630 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=74.37
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19479 267 1 0 7420 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847323 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.74
Current children cumulated vsize (KiB) 867572
[startup+77.9027 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523560/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=77.14
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107867 267 1 0 7670 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=74.77
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19480 267 1 0 7460 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.14
Current children cumulated vsize (KiB) 867572
[startup+78.3027 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 28653
/proc/meminfo: memFree=1523560/2055920 swapFree=4192812/4192956
[pid=28640] ppid=28638 vsize=867572 CPUtime=77.53
/proc/28640/stat : 28640 (java) S 28638 28640 26990 0 -1 0 107868 267 1 0 7709 42 0 2 21 0 9 0 28439535 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28640/statm: 216893 59821 2660 9 0 211329 0
[pid=28640/tid=28642] ppid=28638 vsize=867572 CPUtime=75.17
/proc/28640/task/28642/stat : 28642 (java) R 28638 28640 26990 0 -1 64 19481 267 1 0 7500 15 0 2 25 0 9 0 28439536 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28643] ppid=28638 vsize=867572 CPUtime=2.08
/proc/28640/task/28643/stat : 28643 (java) S 28638 28640 26990 0 -1 64 86849 267 0 0 183 23 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28644] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28644/stat : 28644 (java) S 28638 28640 26990 0 -1 64 19 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28645] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28645/stat : 28645 (java) S 28638 28640 26990 0 -1 64 15 267 0 0 0 0 0 2 16 0 9 0 28439538 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28646] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28646/stat : 28646 (java) S 28638 28640 26990 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28647] ppid=28638 vsize=867572 CPUtime=0.28
/proc/28640/task/28647/stat : 28647 (java) S 28638 28640 26990 0 -1 64 683 267 0 0 25 1 0 2 16 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28648] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28648/stat : 28648 (java) S 28638 28640 26990 0 -1 64 1 267 0 0 0 0 0 2 19 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28640/tid=28649] ppid=28638 vsize=867572 CPUtime=0.02
/proc/28640/task/28649/stat : 28649 (java) S 28638 28640 26990 0 -1 64 8 267 0 0 0 0 0 2 15 0 9 0 28439540 888393728 59821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.53
Current children cumulated vsize (KiB) 867572
Child status: 0
Real time (s): 78.3957
CPU time (s): 77.5932
CPU user time (s): 77.1103
CPU system time (s): 0.482926
CPU usage (%): 98.9763
Max. virtual memory (cumulated for all children) (KiB): 871164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.1103
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108264
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= 2797
involuntary context switches= 6024
runsolver used 0.107983 second user time and 0.263959 second system time
The end
Begin job on node31 at 2009-07-12 17:48:54
IDJOB=2097631
IDBENCH=57581
IDSOLVER=773
FILE ID=node31/2097631-1247413732
PBS_JOBID= 9510582
Free space on /tmp= 66380 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-9_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-2097631-1247413732/watcher-2097631-1247413732 -o /tmp/evaluation-result-2097631-1247413732/solver-2097631-1247413732 -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-2097631-1247413732.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9c8ddf9c3eba4ea604759caf2f2ef92e
RANDOM SEED=2122904942
node31.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.216
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 : 5931.00
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.216
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: 1753224 kB
Buffers: 38888 kB
Cached: 158040 kB
SwapCached: 0 kB
Active: 160252 kB
Inactive: 88532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1753224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 24284 kB
Writeback: 0 kB
Mapped: 72276 kB
Slab: 38904 kB
Committed_AS: 991428 kB
PageTables: 1976 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66376 MiB
End job on node31 at 2009-07-12 17:50:13