0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1085005-1215232519.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.28/0.36 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.36 => wckTime=0.127 cpuTime=0.11 mem=7M919
0.28/0.36
0.28/0.36 relations being loaded...
3.28/3.39
3.28/3.39 INFO : Contraction of relations, mem = 108M606
5.26/5.31
5.26/5.31 constraints being loaded...
8.24/8.40 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
8.24/8.40 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
8.33/8.40 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=11 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
8.33/8.40 symmetryWckTime=0.067 symmetryCpuTime=0.02
8.33/8.40 => wckTime=8.166 cpuTime=6.65 mem=183M702
9.33/9.45
9.33/9.47 solver IterativeSystematicSolver being built...
9.43/9.52
9.43/9.52 INFO : Forward propagation technique limited
9.43/9.58 => wckTime=9.352 cpuTime=6.77 mem=180M120
9.74/9.80
9.74/9.80 preprocessing
9.74/9.80 nbConstraintChecks=0 nbValidityChecks=1407561 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
9.74/9.80 nbRemovedValues=0 detectedInconsistency=no
9.74/9.80 => wckTime=0.213 cpuTime=0.21 mem=180M120
10.72/10.84
10.72/10.84 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=180M986)
329.16/330.80
329.16/330.80 search
329.16/330.80 run=21 nbConstraintChecks=1176559 nbValidityChecks=2744649053 minDepth=3 maxDepth=20 nbPropagations=4729832
329.16/330.80 nbRevisions=0 nbUselessRevisions=0 nbAssignments=224141 nbFailedAssignments=118134 nbBacktracks=105805
329.16/330.80 nbVisitedNodes=411523 nbRestartNogoods=171 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=8.88
329.16/330.80 nbIEliminables=2.47 nbDEliminables=0 nbPEliminables=0
329.16/330.80 => wckTime=321.212 cpuTime=319.54 mem=187M43
329.16/330.80
329.16/330.80 global
329.16/330.80 nbConstraintChecks=1176559 nbValidityChecks=2746056614 nbPropagations=4729852 nbRestartNogoods=171
329.16/330.80 solvingWckTime=321.216 solvingCpuTime=319.54 expiredTime=no totalExploration=no nbFoundSolutions=1
329.16/330.80 firstSolutionCpuTime=326.3 globalCpuTime=326.36
329.16/330.80 => wckTime=330.569 cpuTime=326.31 mem=187M43
329.16/330.80
329.16/330.80 s SATISFIABLE
329.16/330.80 v 4 0 3 4 4 2 2 0 3 4 2 4 1 2 0 0 2 0 0 4
329.16/330.80 d NODES 224141
329.16/330.80 d CHECKS 1176559
329.16/330.80
329.16/330.80 totalWckTime=330.625 totalCpuTime=326.36
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085005-1215232519/watcher-1085005-1215232519 -o /tmp/evaluation-result-1085005-1215232519/solver-1085005-1215232519 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085005-1215232519.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.57 2.38 2.16 4/73 5785
/proc/meminfo: memFree=1073504/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=48 CPUtime=0
/proc/5785/stat : 5785 (java) R 5783 5785 5417 0 -1 0 17 0 0 0 0 0 0 0 19 0 1 0 678981617 49152 2 996147200 0 0 4294956566 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 0 0 0
/proc/5785/statm: 12 2 0 0 0 1 0
[startup+0.106444 s]
/proc/loadavg: 2.57 2.38 2.16 4/73 5785
/proc/meminfo: memFree=1073504/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=865884 CPUtime=0.09
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 3826 0 1 0 7 2 0 0 18 0 9 0 678981617 886665216 3275 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216471 3275 1731 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.201472 s]
/proc/loadavg: 2.57 2.38 2.16 4/73 5785
/proc/meminfo: memFree=1073504/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=866048 CPUtime=0.18
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 4804 0 1 0 15 3 0 0 18 0 9 0 678981617 886833152 4231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216512 4231 1852 9 0 211060 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.301476 s]
/proc/loadavg: 2.57 2.38 2.16 4/73 5785
/proc/meminfo: memFree=1073504/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=866128 CPUtime=0.28
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 5784 0 1 0 24 4 0 0 18 0 9 0 678981617 886915072 5158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216532 5158 1952 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866128
[startup+0.701559 s]
/proc/loadavg: 2.57 2.38 2.16 4/73 5785
/proc/meminfo: memFree=1073504/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=866392 CPUtime=0.68
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 13223 0 1 0 59 9 0 0 18 0 9 0 678981617 887185408 12593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216598 12593 1969 9 0 211126 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866392
[startup+1.50171 s]
/proc/loadavg: 2.52 2.37 2.16 3/82 5794
/proc/meminfo: memFree=1001816/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=866524 CPUtime=1.48
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 23879 0 1 0 133 15 0 0 18 0 9 0 678981617 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216631 23247 1981 9 0 211159 0
[pid=5785/tid=5787] ppid=5783 vsize=866524 CPUtime=1.29
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 15647 0 1 0 119 10 0 0 25 0 9 0 678981619 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4126583064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=866524 CPUtime=0.1
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 7208 0 0 0 7 3 0 0 16 0 9 0 678981620 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 678981621 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 678981621 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 678981623 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=866524 CPUtime=0.06
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 331 0 0 0 6 0 0 0 16 0 9 0 678981623 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 678981623 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) R 5783 5785 5417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678981623 887320576 23247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866524
[startup+3.10301 s]
/proc/loadavg: 2.52 2.37 2.16 3/82 5794
/proc/meminfo: memFree=968728/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=866524 CPUtime=3.07
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 32824 0 1 0 286 21 0 0 18 0 9 0 678981617 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216631 32188 1981 9 0 211159 0
[pid=5785/tid=5787] ppid=5783 vsize=866524 CPUtime=2.66
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 15651 0 1 0 254 12 0 0 25 0 9 0 678981619 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4126566527 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=866524 CPUtime=0.31
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 16145 0 0 0 24 7 0 0 16 0 9 0 678981620 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 678981621 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 678981621 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 678981623 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=866524 CPUtime=0.06
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 335 0 0 0 6 0 0 0 16 0 9 0 678981623 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 678981623 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=866524 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678981623 887320576 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866524
[startup+6.30159 s]
/proc/loadavg: 2.52 2.37 2.16 3/82 5794
/proc/meminfo: memFree=922264/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867064 CPUtime=6.25
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 45791 0 1 0 596 29 0 0 18 0 9 0 678981617 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216766 42995 2608 9 0 211294 0
[pid=5785/tid=5787] ppid=5783 vsize=867064 CPUtime=5.06
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 15701 0 1 0 492 14 0 0 25 0 9 0 678981619 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4126631720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867064 CPUtime=1.07
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 28911 0 0 0 93 14 0 0 16 0 9 0 678981620 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867064 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 678981621 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867064 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 678981621 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867064 CPUtime=0
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 678981623 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867064 CPUtime=0.11
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 483 0 0 0 11 0 0 0 16 0 9 0 678981623 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867064 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 678981623 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867064 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678981623 887873536 42995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867064
[startup+12.7028 s]
/proc/loadavg: 2.59 2.39 2.16 3/82 5798
/proc/meminfo: memFree=843216/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=12.62
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 107543 267 1 0 1214 46 0 2 18 0 9 0 678981617 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59784 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=10.02
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 19152 267 1 0 984 16 0 2 25 0 9 0 678981619 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4126821314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 17 0 9 0 678981620 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.22
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 647 267 0 0 20 0 0 2 15 0 9 0 678981623 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59784 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867476
[startup+25.5022 s]
/proc/loadavg: 2.50 2.38 2.16 3/82 5798
/proc/meminfo: memFree=843792/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=25.35
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 107613 267 1 0 2487 46 0 2 18 0 9 0 678981617 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59797 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=22.73
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 19206 267 1 0 2255 16 0 2 25 0 9 0 678981619 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4126811251 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 17 0 9 0 678981620 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.25
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 663 267 0 0 23 0 0 2 16 0 9 0 678981623 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867476
[startup+51.1019 s]
/proc/loadavg: 2.33 2.35 2.16 3/82 5798
/proc/meminfo: memFree=843728/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=50.83
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 107724 267 1 0 5034 47 0 2 18 0 9 0 678981617 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59797 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=48.2
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 19317 267 1 0 4802 16 0 2 25 0 9 0 678981619 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4126821585 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.25
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 663 267 0 0 23 0 0 2 16 0 9 0 678981623 888295424 59797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
################
# More data... #
################
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108432 267 1 0 30517 48 0 2 18 0 9 0 678981617 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59798 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=303.04
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20024 267 1 0 30285 17 0 2 25 0 9 0 678981619 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4126821314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 305.67
Current children cumulated vsize (KiB) 867476
[startup+320.003 s]
/proc/loadavg: 2.00 2.13 2.10 3/82 5798
/proc/meminfo: memFree=843600/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=318.41
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108432 267 1 0 31791 48 0 2 18 0 9 0 678981617 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59798 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=315.78
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20024 267 1 0 31559 17 0 2 25 0 9 0 678981619 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4126821173 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 318.41
Current children cumulated vsize (KiB) 867476
[startup+326.402 s]
/proc/loadavg: 2.00 2.13 2.10 3/82 5798
/proc/meminfo: memFree=843600/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=324.78
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108432 267 1 0 32428 48 0 2 18 0 9 0 678981617 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59798 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=322.15
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20024 267 1 0 32196 17 0 2 25 0 9 0 678981619 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4126821314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 324.78
Current children cumulated vsize (KiB) 867476
[startup+328.002 s]
/proc/loadavg: 2.00 2.13 2.10 3/82 5798
/proc/meminfo: memFree=843600/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=326.37
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108432 267 1 0 32587 48 0 2 18 0 9 0 678981617 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59798 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=323.74
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20024 267 1 0 32355 17 0 2 25 0 9 0 678981619 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4126821131 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 326.37
Current children cumulated vsize (KiB) 867476
[startup+329.603 s]
/proc/loadavg: 2.00 2.13 2.10 3/82 5798
/proc/meminfo: memFree=843600/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=327.96
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108432 267 1 0 32746 48 0 2 18 0 9 0 678981617 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59798 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=325.33
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20024 267 1 0 32514 17 0 2 25 0 9 0 678981619 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4126821314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 327.96
Current children cumulated vsize (KiB) 867476
[startup+330.403 s]
/proc/loadavg: 2.00 2.13 2.10 3/82 5798
/proc/meminfo: memFree=843600/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=328.76
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108432 267 1 0 32826 48 0 2 18 0 9 0 678981617 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59798 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=326.13
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20024 267 1 0 32594 17 0 2 25 0 9 0 678981619 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4126821314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) R 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 328.76
Current children cumulated vsize (KiB) 867476
[startup+330.802 s]
/proc/loadavg: 2.00 2.13 2.10 3/82 5798
/proc/meminfo: memFree=843600/2055924 swapFree=4177320/4192956
[pid=5785] ppid=5783 vsize=867476 CPUtime=329.16
/proc/5785/stat : 5785 (java) S 5783 5785 5417 0 -1 0 108435 267 1 0 32866 48 0 2 18 0 9 0 678981617 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5785/statm: 216869 59801 2635 9 0 211375 0
[pid=5785/tid=5787] ppid=5783 vsize=867476 CPUtime=326.53
/proc/5785/task/5787/stat : 5787 (java) R 5783 5785 5417 0 -1 64 20027 267 1 0 32634 17 0 2 25 0 9 0 678981619 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5788] ppid=5783 vsize=867476 CPUtime=2.36
/proc/5785/task/5788/stat : 5788 (java) S 5783 5785 5417 0 -1 64 86902 267 0 0 208 26 0 2 16 0 9 0 678981620 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5789] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5789/stat : 5789 (java) S 5783 5785 5417 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5790] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5790/stat : 5790 (java) S 5783 5785 5417 0 -1 64 10 267 0 0 0 0 0 2 16 0 9 0 678981621 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5791] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5791/stat : 5791 (java) S 5783 5785 5417 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 678981623 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5792] ppid=5783 vsize=867476 CPUtime=0.26
/proc/5785/task/5792/stat : 5792 (java) S 5783 5785 5417 0 -1 64 664 267 0 0 23 1 0 2 16 0 9 0 678981623 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5793] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5793/stat : 5793 (java) S 5783 5785 5417 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 678981623 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5785/tid=5794] ppid=5783 vsize=867476 CPUtime=0.02
/proc/5785/task/5794/stat : 5794 (java) S 5783 5785 5417 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 678981623 888295424 59801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 329.16
Current children cumulated vsize (KiB) 867476
Child status: 0
Real time (s): 330.853
CPU time (s): 329.207
CPU user time (s): 328.668
CPU system time (s): 0.538918
CPU usage (%): 99.5026
Max. virtual memory (cumulated for all children) (KiB): 871068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 328.668
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108735
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= 7898
involuntary context switches= 11414
runsolver used 0.382941 second user time and 1.13083 second system time
The end
Begin job on node83 at 2008-07-05 06:35:20
IDJOB=1085005
IDBENCH=57592
IDSOLVER=363
FILE ID=node83/1085005-1215232519
PBS_JOBID= 7881916
Free space on /tmp= 66452 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-0_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085005-1215232519/watcher-1085005-1215232519 -o /tmp/evaluation-result-1085005-1215232519/solver-1085005-1215232519 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085005-1215232519.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a42b1fcf5ad10b80deb15852b7f7abc6
RANDOM SEED=1895711852
node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1074048 kB
Buffers: 62376 kB
Cached: 336756 kB
SwapCached: 9820 kB
Active: 769040 kB
Inactive: 162416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1074048 kB
SwapTotal: 4192956 kB
SwapFree: 4177320 kB
Dirty: 42000 kB
Writeback: 0 kB
Mapped: 537800 kB
Slab: 34528 kB
Committed_AS: 1737152 kB
PageTables: 3108 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= 66448 MiB
End job on node83 at 2008-07-05 06:40:51