0.00/0.10
0.00/0.10 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=mac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-2096295-1247410097.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.28/0.38 => wckTime=0.112 cpuTime=0.1 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
0.87/0.95
0.87/0.95 constraints being loaded...
1.26/1.32 nbConstraints=76 nbRelationTypes=76 nbGlobalConstraints=76 nbExtensionStructures=76
1.26/1.32 nbSharedExtensionStructures=0 nbConflictsStructures=76 nbSharedConflictsStructures=0
1.26/1.32 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=14 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
1.26/1.32 symmetryWckTime=0.047 symmetryCpuTime=0.03
1.26/1.32 => wckTime=1.051 cpuTime=0.89 mem=54M916
1.46/1.50
1.46/1.51 solver IterativeSystematicSolver being built...
1.46/1.57
1.46/1.57 INFO : Forward propagation technique limited
1.56/1.64 => wckTime=1.372 cpuTime=1.01 mem=42M162
1.67/1.70
1.67/1.70 preprocessing
1.67/1.70 nbConstraintChecks=0 nbValidityChecks=386688 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0
1.67/1.70 nbRemovedValues=0 detectedInconsistency=no
1.67/1.70 => wckTime=0.056 cpuTime=0.05 mem=43M147
2.95/3.05
2.95/3.05 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=44M182)
989.21/991.40
989.21/991.40 search
989.21/991.40 run=22 nbConstraintChecks=3170165 nbValidityChecks=11356202674 minDepth=1 maxDepth=24 nbPropagations=12631790
989.21/991.40 nbRevisions=0 nbUselessRevisions=0 nbAssignments=321504 nbFailedAssignments=189638 nbBacktracks=131694
989.31/991.40 nbVisitedNodes=597330 nbRestartNogoods=302 nbFoundSolutions=1 nbSEliminables=0.09 nbREliminables=5.38
989.31/991.40 nbIEliminables=12.15 nbDEliminables=0 nbPEliminables=0
989.31/991.40 => wckTime=989.753 cpuTime=987.59 mem=51M932
989.31/991.40
989.31/991.40 global
989.31/991.40 nbConstraintChecks=3170165 nbValidityChecks=11356589362 nbPropagations=12631814 nbRestartNogoods=302
989.31/991.40 solvingWckTime=989.756 solvingCpuTime=987.59 expiredTime=no totalExploration=no nbFoundSolutions=1
989.31/991.40 firstSolutionCpuTime=988.6 globalCpuTime=988.64
989.31/991.40 => wckTime=991.13 cpuTime=988.6 mem=51M932
989.31/991.40
989.31/991.40 s SATISFIABLE
989.31/991.40 v 12 11 19 14 5 0 8 20 19 18 10 9 8 12 14 22 4 12 2 6 1 4 5 9
989.31/991.40 d NODES 321504
989.31/991.40 d CHECKS 3170165
989.31/991.40
989.31/991.40 totalWckTime=991.204 totalCpuTime=988.65
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096295-1247410097/watcher-2096295-1247410097 -o /tmp/evaluation-result-2096295-1247410097/solver-2096295-1247410097 -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-2096295-1247410097.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: 2.04 2.04 2.02 3/80 29443
/proc/meminfo: memFree=1404360/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=18576 CPUtime=0
/proc/29443/stat : 29443 (runsolver) R 29441 29443 27184 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28073041 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 251255123239 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29443/statm: 4644 284 249 26 0 2626 0
[startup+0.0210101 s]
/proc/loadavg: 2.04 2.04 2.02 3/80 29443
/proc/meminfo: memFree=1404360/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=10964 CPUtime=0
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 823 0 0 0 0 0 0 0 18 0 2 0 28073041 11227136 577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 2749 607 309 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964
[startup+0.102889 s]
/proc/loadavg: 2.04 2.04 2.02 3/80 29443
/proc/meminfo: memFree=1404360/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=865984 CPUtime=0.08
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 3709 0 1 0 7 1 0 0 18 0 9 0 28073041 886767616 3181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216496 3181 1693 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301911 s]
/proc/loadavg: 2.04 2.04 2.02 3/80 29443
/proc/meminfo: memFree=1404360/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=866300 CPUtime=0.28
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 5701 0 1 0 25 3 0 0 18 0 9 0 28073041 887091200 5108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216575 5108 1923 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.701954 s]
/proc/loadavg: 2.04 2.04 2.02 3/80 29443
/proc/meminfo: memFree=1404360/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=866492 CPUtime=0.68
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 13042 0 1 0 61 7 0 0 18 0 9 0 28073041 887287808 12404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216623 12404 1999 9 0 211081 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866492
[startup+1.50104 s]
/proc/loadavg: 2.04 2.04 2.02 5/89 29452
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867272 CPUtime=1.46
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 32501 148 1 0 133 13 0 0 18 0 10 0 28073041 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216818 24422 2634 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867272 CPUtime=1.09
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 16546 148 1 0 102 7 0 0 16 0 10 0 28073043 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4126463772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867272 CPUtime=0.22
/proc/29443/task/29446/stat : 29446 (java) R 29441 29443 27184 0 -1 64 14746 148 0 0 19 3 0 0 17 0 10 0 28073044 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867272 CPUtime=0
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 148 0 0 0 0 0 0 15 0 10 0 28073045 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867272 CPUtime=0
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 148 0 0 0 0 0 0 15 0 10 0 28073045 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867272 CPUtime=0
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 148 0 0 0 0 0 0 18 0 10 0 28073047 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867272 CPUtime=0.1
/proc/29443/task/29450/stat : 29450 (java) R 29441 29443 27184 0 -1 64 369 148 0 0 10 0 0 0 16 0 10 0 28073047 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867272 CPUtime=0
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 148 0 0 0 0 0 0 19 0 10 0 28073047 888086528 24422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867272 CPUtime=0
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 148 0 0 0 0 0 0 15 0 10 0 28073047 888086528 24422 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) 867272
[startup+3.10222 s]
/proc/loadavg: 2.04 2.04 2.02 4/89 29456
/proc/meminfo: memFree=1316096/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=3.05
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 35960 272 1 0 290 14 0 1 18 0 9 0 28073041 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24576 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=2.59
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 19840 272 1 0 250 8 0 1 20 0 9 0 28073043 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4126825322 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.21
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 533 272 0 0 20 0 0 1 16 0 9 0 28073047 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24576 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867360
[startup+6.30257 s]
/proc/loadavg: 2.04 2.04 2.02 3/89 29456
/proc/meminfo: memFree=1315904/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=6.22
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 35976 272 1 0 607 14 0 1 18 0 9 0 28073041 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24582 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=5.75
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 19848 272 1 0 566 8 0 1 25 0 9 0 28073043 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4126779149 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 17 0 9 0 28073044 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.22
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 541 272 0 0 21 0 0 1 15 0 9 0 28073047 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867360
[startup+12.7023 s]
/proc/loadavg: 2.03 2.04 2.02 3/89 29456
/proc/meminfo: memFree=1315776/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=12.56
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 36007 272 1 0 1241 14 0 1 18 0 9 0 28073041 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24593 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=12.07
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 19867 272 1 0 1198 8 0 1 25 0 9 0 28073043 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4126779145 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.24
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 553 272 0 0 23 0 0 1 16 0 9 0 28073047 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867360
[startup+25.5017 s]
/proc/loadavg: 2.10 2.05 2.02 3/89 29456
/proc/meminfo: memFree=1315968/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=25.23
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 36036 272 1 0 2508 14 0 1 18 0 9 0 28073041 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24596 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=24.74
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 19891 272 1 0 2465 8 0 1 25 0 9 0 28073043 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126790802 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.24
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 558 272 0 0 23 0 0 1 16 0 9 0 28073047 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867360
[startup+51.1014 s]
/proc/loadavg: 2.07 2.05 2.02 3/89 29456
/proc/meminfo: memFree=1315968/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=50.6
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 36056 272 1 0 5045 14 0 1 18 0 9 0 28073041 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24598 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=50.1
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 19908 272 1 0 5001 8 0 1 25 0 9 0 28073043 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4126790802 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 561 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37252 272 1 0 97677 24 0 1 18 0 9 0 28073041 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24600 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=976.52
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21102 272 1 0 97633 18 0 1 25 0 9 0 28073043 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4126790802 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 977.02
Current children cumulated vsize (KiB) 867360
[startup+985.501 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 29893
/proc/meminfo: memFree=1444936/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=983.42
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37252 272 1 0 98317 24 0 1 18 0 9 0 28073041 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24600 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=982.92
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21102 272 1 0 98273 18 0 1 25 0 9 0 28073043 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4126779172 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) R 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 983.42
Current children cumulated vsize (KiB) 867360
[startup+988.703 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 29893
/proc/meminfo: memFree=1444936/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=986.61
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37252 272 1 0 98636 24 0 1 18 0 9 0 28073041 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24600 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=986.11
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21102 272 1 0 98592 18 0 1 25 0 9 0 28073043 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4126790802 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 986.61
Current children cumulated vsize (KiB) 867360
[startup+990.303 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 29893
/proc/meminfo: memFree=1444936/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=988.21
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37252 272 1 0 98796 24 0 1 18 0 9 0 28073041 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24600 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=987.71
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21102 272 1 0 98752 18 0 1 25 0 9 0 28073043 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4126816431 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 988.21
Current children cumulated vsize (KiB) 867360
[startup+991.108 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 29893
/proc/meminfo: memFree=1444936/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=989.02
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37252 272 1 0 98877 24 0 1 18 0 9 0 28073041 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24600 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=988.52
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21102 272 1 0 98833 18 0 1 25 0 9 0 28073043 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4126790763 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 989.02
Current children cumulated vsize (KiB) 867360
[startup+991.303 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 29893
/proc/meminfo: memFree=1444936/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=989.21
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37252 272 1 0 98896 24 0 1 18 0 9 0 28073041 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24600 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=988.71
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21102 272 1 0 98852 18 0 1 25 0 9 0 28073043 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4126790619 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24600 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 989.21
Current children cumulated vsize (KiB) 867360
[startup+991.403 s]
/proc/loadavg: 2.00 2.04 2.05 3/89 29893
/proc/meminfo: memFree=1444936/2055920 swapFree=4192812/4192956
[pid=29443] ppid=29441 vsize=867360 CPUtime=989.31
/proc/29443/stat : 29443 (java) S 29441 29443 27184 0 -1 0 37256 272 1 0 98906 24 0 1 18 0 9 0 28073041 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29443/statm: 216840 24602 2659 9 0 211276 0
[pid=29443/tid=29445] ppid=29441 vsize=867360 CPUtime=988.81
/proc/29443/task/29445/stat : 29445 (java) R 29441 29443 27184 0 -1 64 21106 272 1 0 98862 18 0 1 25 0 9 0 28073043 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=867360 CPUtime=0.23
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27184 0 -1 64 14747 272 0 0 19 3 0 1 16 0 9 0 28073044 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29447] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27184 0 -1 64 19 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29448] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27184 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 28073045 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29449] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 28073047 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29450] ppid=29441 vsize=867360 CPUtime=0.25
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27184 0 -1 64 563 272 0 0 24 0 0 1 16 0 9 0 28073047 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27184 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 28073047 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29443/tid=29452] ppid=29441 vsize=867360 CPUtime=0.01
/proc/29443/task/29452/stat : 29452 (java) S 29441 29443 27184 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 28073047 888176640 24602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 989.31
Current children cumulated vsize (KiB) 867360
Child status: 0
Real time (s): 991.45
CPU time (s): 989.35
CPU user time (s): 989.076
CPU system time (s): 0.273958
CPU usage (%): 99.7881
Max. virtual memory (cumulated for all children) (KiB): 867360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 989.076
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37633
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= 21290
involuntary context switches= 12350
runsolver used 1.2908 second user time and 3.2595 second system time
The end
Begin job on node64 at 2009-07-12 16:48:17
IDJOB=2096295
IDBENCH=56225
IDSOLVER=773
FILE ID=node64/2096295-1247410097
PBS_JOBID= 9510518
Free space on /tmp= 66324 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-43_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-2096295-1247410097/watcher-2096295-1247410097 -o /tmp/evaluation-result-2096295-1247410097/solver-2096295-1247410097 -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-2096295-1247410097.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= da01394d707f4ac61b2128b9a58eea75
RANDOM SEED=1081195590
node64.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.220
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.220
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: 1404840 kB
Buffers: 70964 kB
Cached: 254756 kB
SwapCached: 0 kB
Active: 425732 kB
Inactive: 146416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1404840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4988 kB
Writeback: 0 kB
Mapped: 266880 kB
Slab: 63328 kB
Committed_AS: 1017420 kB
PageTables: 2248 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= 66340 MiB
End job on node64 at 2009-07-12 17:04:49