0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.27/0.32
0.27/0.32 instance
0.27/0.32 name=HOME/instance-1081308-1215216334.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.37
0.27/0.37 variables being loaded...
0.37/0.42 nbVariables=85 nbDomainTypes=2 minDomainSize=80 maxDomainSize=6400 nbTotalValues=38400
0.37/0.43 => wckTime=0.176 cpuTime=0.13 mem=8M920
0.37/0.43
0.37/0.43 predicates being loaded...
0.37/0.50
0.37/0.50 constraints being loaded...
14.94/15.14 nbConstraints=3574 nbGlobalConstraints=4 nbConvertedConstraints=3560 nbConvertConstraintsChecks=41465600
14.94/15.14 nbExtensionStructures=159 nbSharedExtensionStructures=3401 nbConflictsStructures=159
14.94/15.14 nbSharedConflictsStructures=3401 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=520866
14.94/15.14 nbEvaluationManagers=4 nbSharedEvaluationManagers=6 minDegree=85 maxDegree=87 minArity=2 avgArity=2.02
14.94/15.14 maxArity=80 nbGenerators=2 nbFusions=2 symmetryWckTime=0.255 symmetryCpuTime=0.16 nbCliques=2
14.94/15.14 => wckTime=14.892 cpuTime=14.35 mem=35M789
15.04/15.28
15.04/15.28 solver IterativeSystematicSolver being built...
15.14/15.36
15.14/15.36 INFO : Forward propagation technique limited
15.23/15.43 => wckTime=15.184 cpuTime=14.47 mem=36M336
632.60/635.89
632.60/635.89 preprocessing
632.60/635.89 nbConstraintChecks=665021874 nbValidityChecks=505872498 nbPropagations=70487 nbRevisions=748641
632.60/635.89 nbUselessRevisions=658773 nbSingletonTests=6482 nbEffectiveSingletonTests=6318 nbACRemovals=242
632.60/635.89 nbFoundSingletons=0 nbRemovedValues=31993 detectedInconsistency=yes
632.60/635.89 => wckTime=620.454 cpuTime=617.35 mem=43M869
632.60/635.90
632.60/635.90 global
632.60/635.90 nbConstraintChecks=665021874 nbValidityChecks=505872498 nbPropagations=70487 nbRevisions=748641
632.60/635.90 nbUselessRevisions=658773 nbRestartNogoods=0 solvingWckTime=620.458 solvingCpuTime=617.35 expiredTime=no
632.60/635.90 totalExploration=yes nbFoundSolutions=0 globalCpuTime=631.88
632.60/635.90 => wckTime=635.647 cpuTime=631.83 mem=43M869
632.70/635.90
632.70/635.90 s UNSATISFIABLE
632.70/635.90 d NODES 0
632.70/635.90 d CHECKS 665021874
632.70/635.90
632.70/635.90 totalWckTime=635.706 totalCpuTime=631.88
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081308-1215216334/watcher-1081308-1215216334 -o /tmp/evaluation-result-1081308-1215216334/solver-1081308-1215216334 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081308-1215216334.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.00 2.01 2.00 4/72 9344
/proc/meminfo: memFree=1625072/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=18572 CPUtime=0
/proc/9344/stat : 9344 (runsolver) R 9342 9344 9222 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 2000607132 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 264907434464 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9344/statm: 4643 292 257 25 0 2626 0
[startup+0.0864201 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 9344
/proc/meminfo: memFree=1625072/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=865856 CPUtime=0.06
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 3480 0 1 0 4 2 0 0 18 0 9 0 2000607132 886636544 2970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216464 2970 1603 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101416 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 9344
/proc/meminfo: memFree=1625072/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=865884 CPUtime=0.09
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 3673 0 1 0 6 3 0 0 18 0 9 0 2000607132 886665216 3148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216471 3148 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301432 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 9344
/proc/meminfo: memFree=1625072/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=866048 CPUtime=0.27
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 5579 0 1 0 23 4 0 0 18 0 9 0 2000607132 886833152 4993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216512 4993 1902 9 0 211060 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866048
[startup+0.701456 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 9344
/proc/meminfo: memFree=1625072/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=867092 CPUtime=0.68
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 8194 0 1 0 61 7 0 0 18 0 9 0 2000607132 887902208 7554 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216773 7554 2007 9 0 211279 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867092
[startup+1.5025 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 9353
/proc/meminfo: memFree=1589288/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=867684 CPUtime=1.47
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 12117 0 1 0 137 10 0 0 18 0 9 0 2000607132 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216921 11474 2014 9 0 211427 0
[pid=9344/tid=9346] ppid=9342 vsize=867684 CPUtime=1.25
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 10719 0 1 0 117 8 0 0 25 0 9 0 2000607134 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4126876682 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 2000607136 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 2000607136 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2000607136 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000607138 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=867684 CPUtime=0.19
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 701 0 0 0 19 0 0 0 16 0 9 0 2000607138 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2000607138 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000607138 888508416 11474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867684
[startup+3.1026 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 9353
/proc/meminfo: memFree=1584240/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=867684 CPUtime=3.06
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 13632 0 1 0 292 14 0 0 18 0 9 0 2000607132 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216921 12987 2014 9 0 211427 0
[pid=9344/tid=9346] ppid=9342 vsize=867684 CPUtime=2.82
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 12225 0 1 0 270 12 0 0 25 0 9 0 2000607134 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4126884838 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 2000607136 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 2000607136 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2000607136 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000607138 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=867684 CPUtime=0.21
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 710 0 0 0 21 0 0 0 15 0 9 0 2000607138 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2000607138 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000607138 888508416 12987 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867684
[startup+6.30181 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 9353
/proc/meminfo: memFree=1572592/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=867684 CPUtime=6.23
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 16281 0 1 0 603 20 0 0 18 0 9 0 2000607132 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216921 15634 2014 9 0 211427 0
[pid=9344/tid=9346] ppid=9342 vsize=867684 CPUtime=5.97
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 14857 0 1 0 579 18 0 0 25 0 9 0 2000607134 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4126878368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 2000607136 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 2000607136 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2000607136 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000607138 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=867684 CPUtime=0.24
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 727 0 0 0 23 1 0 0 15 0 9 0 2000607138 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2000607138 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=867684 CPUtime=0
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000607138 888508416 15634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867684
[startup+12.7022 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 9353
/proc/meminfo: memFree=1556144/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=867596 CPUtime=12.57
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 19696 0 1 0 1231 26 0 0 18 0 9 0 2000607132 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 216899 19025 2005 9 0 211427 0
[pid=9344/tid=9346] ppid=9342 vsize=867596 CPUtime=12.22
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 15774 0 1 0 1199 23 0 0 25 0 9 0 2000607134 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4126880358 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=867596 CPUtime=0.06
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 2491 0 0 0 6 0 0 0 16 0 9 0 2000607136 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=867596 CPUtime=0
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2000607136 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=867596 CPUtime=0
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000607136 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=867596 CPUtime=0
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000607138 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=867596 CPUtime=0.25
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 733 0 0 0 24 1 0 0 17 0 9 0 2000607138 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=867596 CPUtime=0
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2000607138 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=867596 CPUtime=0
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000607138 888418304 19025 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867596
[startup+25.5011 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 9357
/proc/meminfo: memFree=1542576/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=25.25
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 32936 474 1 0 2489 32 3 1 18 0 9 0 2000607132 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23032 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=24.7
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 21159 474 1 0 2440 26 3 1 25 0 9 0 2000607134 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4126872976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.35
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 934 474 0 0 30 1 3 1 16 0 9 0 2000607138 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868008
[startup+51.1017 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 9357
/proc/meminfo: memFree=1542640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=50.63
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 32938 474 1 0 5027 32 3 1 18 0 9 0 2000607132 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23033 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=50.08
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 21160 474 1 0 4978 26 3 1 25 0 9 0 2000607134 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4126873167 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.35
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 935 474 0 0 30 1 3 1 16 0 9 0 2000607138 888840192 23033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
################
# More data... #
################
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34110 474 1 0 61054 72 3 1 18 0 9 0 2000607132 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23064 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=610.69
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22303 474 1 0 60999 66 3 1 25 0 9 0 2000607134 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4127125303 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 611.3
Current children cumulated vsize (KiB) 868008
[startup+627.102 s]
/proc/loadavg: 1.95 2.01 2.00 3/90 9464
/proc/meminfo: memFree=1531640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=623.98
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34233 474 1 0 62319 75 3 1 18 0 9 0 2000607132 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23064 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=623.36
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22426 474 1 0 62264 68 3 1 25 0 9 0 2000607134 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 104689862 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 623.98
Current children cumulated vsize (KiB) 868008
[startup+630.306 s]
/proc/loadavg: 1.95 2.01 2.00 3/90 9464
/proc/meminfo: memFree=1531640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=627.16
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34274 474 1 0 62636 76 3 1 18 0 9 0 2000607132 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23064 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=626.54
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22467 474 1 0 62581 69 3 1 25 0 9 0 2000607134 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4125952101 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 627.16
Current children cumulated vsize (KiB) 868008
[startup+633.502 s]
/proc/loadavg: 1.96 2.01 2.00 3/90 9464
/proc/meminfo: memFree=1531640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=630.32
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34323 474 1 0 62951 77 3 1 18 0 9 0 2000607132 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23064 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=629.7
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22516 474 1 0 62896 70 3 1 25 0 9 0 2000607134 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4127221329 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) R 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 630.32
Current children cumulated vsize (KiB) 868008
[startup+635.103 s]
/proc/loadavg: 1.96 2.01 2.00 3/90 9464
/proc/meminfo: memFree=1531640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=631.91
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34355 474 1 0 63109 78 3 1 18 0 9 0 2000607132 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23064 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=631.29
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22548 474 1 0 63054 71 3 1 25 0 9 0 2000607134 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4127263740 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 631.91
Current children cumulated vsize (KiB) 868008
[startup+635.503 s]
/proc/loadavg: 1.96 2.01 2.00 3/90 9464
/proc/meminfo: memFree=1531640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=632.3
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34365 474 1 0 63148 78 3 1 18 0 9 0 2000607132 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23064 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=631.68
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22558 474 1 0 63093 71 3 1 25 0 9 0 2000607134 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4127205730 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 632.3
Current children cumulated vsize (KiB) 868008
[startup+635.903 s]
/proc/loadavg: 1.96 2.01 2.00 3/90 9464
/proc/meminfo: memFree=1531640/2055920 swapFree=4117548/4192956
[pid=9344] ppid=9342 vsize=868008 CPUtime=632.7
/proc/9344/stat : 9344 (java) S 9342 9344 9222 0 -1 0 34471 474 1 0 63187 79 3 1 18 0 9 0 2000607132 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9344/statm: 217002 23066 2637 9 0 211508 0
[pid=9344/tid=9346] ppid=9342 vsize=868008 CPUtime=632.08
/proc/9344/task/9346/stat : 9346 (java) R 9342 9344 9222 0 -1 64 22664 474 1 0 63132 72 3 1 25 0 9 0 2000607134 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4127264846 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9347] ppid=9342 vsize=868008 CPUtime=0.25
/proc/9344/task/9347/stat : 9347 (java) S 9342 9344 9222 0 -1 64 9990 474 0 0 18 3 3 1 16 0 9 0 2000607136 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9348] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9348/stat : 9348 (java) S 9342 9344 9222 0 -1 64 16 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9349] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9349/stat : 9349 (java) S 9342 9344 9222 0 -1 64 11 474 0 0 0 0 3 1 16 0 9 0 2000607136 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9350] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9350/stat : 9350 (java) S 9342 9344 9222 0 -1 64 1 474 0 0 0 0 3 1 18 0 9 0 2000607138 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9351] ppid=9342 vsize=868008 CPUtime=0.41
/proc/9344/task/9351/stat : 9351 (java) S 9342 9344 9222 0 -1 64 964 474 0 0 36 1 3 1 16 0 9 0 2000607138 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9352] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9352/stat : 9352 (java) S 9342 9344 9222 0 -1 64 2 474 0 0 0 0 3 1 19 0 9 0 2000607138 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9344/tid=9353] ppid=9342 vsize=868008 CPUtime=0.04
/proc/9344/task/9353/stat : 9353 (java) S 9342 9344 9222 0 -1 64 10 474 0 0 0 0 3 1 15 0 9 0 2000607138 888840192 23066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 632.7
Current children cumulated vsize (KiB) 868008
Child status: 0
Real time (s): 635.966
CPU time (s): 632.74
CPU user time (s): 631.916
CPU system time (s): 0.823874
CPU usage (%): 99.4927
Max. virtual memory (cumulated for all children) (KiB): 868012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 631.916
system time used= 0.823874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35057
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= 14454
involuntary context switches= 17300
runsolver used 0.829873 second user time and 2.02969 second system time
The end
Begin job on node30 at 2008-07-05 02:05:34
IDJOB=1081308
IDBENCH=57090
IDSOLVER=364
FILE ID=node30/1081308-1215216334
PBS_JOBID= 7881815
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-80-5-mul.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081308-1215216334/watcher-1081308-1215216334 -o /tmp/evaluation-result-1081308-1215216334/solver-1081308-1215216334 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081308-1215216334.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2ab0ed2a36c3cca2c75b23b1150e1b9d
RANDOM SEED=1470852454
node30.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.218
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.218
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: 1625552 kB
Buffers: 69812 kB
Cached: 194280 kB
SwapCached: 69380 kB
Active: 273640 kB
Inactive: 96116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625552 kB
SwapTotal: 4192956 kB
SwapFree: 4117548 kB
Dirty: 2472 kB
Writeback: 0 kB
Mapped: 113192 kB
Slab: 45852 kB
Committed_AS: 3610592 kB
PageTables: 1844 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= 66548 MiB
End job on node30 at 2008-07-05 02:16:10