0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-ddeg.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1109748-1215809505.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=10 maxDomainSize=10 nbTotalValues=200
0.28/0.36 => wckTime=0.105 cpuTime=0.1 mem=7M858
0.28/0.36
0.28/0.36 relations being loaded...
0.48/0.53
0.48/0.53 constraints being loaded...
0.48/0.56 Too large in ConstraintConflictsSTructure
0.48/0.57 Too large in ConstraintConflictsSTructure
0.48/0.58 Too large in ConstraintConflictsSTructure
0.48/0.58 Too large in ConstraintConflictsSTructure
0.48/0.59 Too large in ConstraintConflictsSTructure
0.48/0.60 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=1 nbExtensionStructures=5
0.48/0.60 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 minDegree=0
0.48/0.60 maxDegree=4 minArity=10 maxArity=10
0.48/0.60 => wckTime=0.344 cpuTime=0.31 mem=31M118
0.58/0.67
0.58/0.67 solver LocalSearchSolver being built...
0.68/0.71 => wckTime=0.458 cpuTime=0.35 mem=11M829
0.68/0.72
0.68/0.72 s SATISFIABLE
0.68/0.72 o 5
4.76/4.83
4.76/4.83 search
4.76/4.83 run=0 nbConstraintChecks=4300005 nbAssignments=10000
4.76/4.83 => wckTime=4.121 cpuTime=4.1 mem=12M792
4.76/4.89 o 4
8.74/8.84
8.74/8.84 search
8.74/8.84 run=1 nbConstraintChecks=8625720 nbAssignments=20000
8.74/8.84 => wckTime=8.13 cpuTime=8.07 mem=12M792
12.52/12.67
12.52/12.67 search
12.52/12.67 run=2 nbConstraintChecks=12762186 nbAssignments=30000
12.52/12.67 => wckTime=11.958 cpuTime=11.89 mem=12M792
16.11/16.22
16.11/16.22 search
16.11/16.22 run=3 nbConstraintChecks=16630579 nbAssignments=40000
16.11/16.22 => wckTime=15.51 cpuTime=15.43 mem=12M792
19.11/19.23 o 3
19.90/20.00
19.90/20.00 search
19.90/20.00 run=4 nbConstraintChecks=20873299 nbAssignments=50000
19.90/20.00 => wckTime=19.294 cpuTime=19.2 mem=12M792
23.59/23.73
23.59/23.73 search
23.59/23.73 run=5 nbConstraintChecks=25173550 nbAssignments=60000
23.59/23.73 => wckTime=23.026 cpuTime=22.92 mem=12M792
27.37/27.54
27.37/27.54 search
27.37/27.54 run=6 nbConstraintChecks=29475636 nbAssignments=70000
27.37/27.54 => wckTime=26.832 cpuTime=26.71 mem=12M792
31.16/31.34
31.16/31.34 search
31.16/31.34 run=7 nbConstraintChecks=33777219 nbAssignments=80000
31.16/31.34 => wckTime=30.631 cpuTime=30.49 mem=12M792
34.94/35.12
34.94/35.12 search
34.94/35.12 run=8 nbConstraintChecks=38079208 nbAssignments=90000
34.94/35.12 => wckTime=34.415 cpuTime=34.26 mem=12M792
38.62/38.89
38.62/38.89 search
38.62/38.89 run=9 nbConstraintChecks=42380313 nbAssignments=100000
38.62/38.89 => wckTime=38.185 cpuTime=38.02 mem=12M792
42.41/42.67
42.41/42.67 search
42.41/42.67 run=10 nbConstraintChecks=46681564 nbAssignments=110000
42.41/42.67 => wckTime=41.96 cpuTime=41.77 mem=12M792
46.19/46.47
46.19/46.47 search
46.19/46.47 run=11 nbConstraintChecks=50982949 nbAssignments=120000
46.19/46.47 => wckTime=45.764 cpuTime=45.56 mem=12M792
49.08/49.36
49.08/49.36 search
49.08/49.36 run=12 nbConstraintChecks=54253552 nbAssignments=127604
49.08/49.36 => wckTime=48.653 cpuTime=48.44 mem=12M792
49.08/49.36
49.08/49.36 global
49.08/49.36 nbConstraintChecks=54253552 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.08/49.36 solvingWckTime=48.652 solvingCpuTime=48.43 expiredTime=no totalExploration=no nbFoundSolutions=0
49.08/49.36 globalCpuTime=48.82
49.08/49.36 => wckTime=49.111 cpuTime=48.78 mem=12M792
49.08/49.36
49.08/49.36 solver DecomposerSolver being built...
49.18/49.47 => wckTime=49.216 cpuTime=48.87 mem=23M395
134.13/134.77
134.13/134.77 preprocessing
134.13/134.77 nbConstraintChecks=174481558 nbValidityChecks=321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
134.13/134.77 nbRemovedValues=0 detectedInconsistency=no
134.13/134.77 => wckTime=85.297 cpuTime=84.95 mem=23M395
3600.05/3614.61 v 6 0 6 5 4 1 8 1 9 6 2 0 2 3 8 5 5 4 7 3
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109748-1215809505/watcher-1109748-1215809505 -o /tmp/evaluation-result-1109748-1215809505/solver-1109748-1215809505 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1109748-1215809505.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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: 1.92 1.97 1.90 4/80 12721
/proc/meminfo: memFree=1884000/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=18572 CPUtime=0
/proc/12721/stat : 12721 (runsolver) R 12719 12721 12547 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 37653295 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12721/statm: 4643 292 257 25 0 2626 0
[startup+0.0291891 s]
/proc/loadavg: 1.92 1.97 1.90 4/80 12721
/proc/meminfo: memFree=1884000/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=861228 CPUtime=0.01
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 1709 0 1 0 0 1 0 0 18 0 3 0 37653295 881897472 1406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 215307 1406 563 9 0 210286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861228
[startup+0.102728 s]
/proc/loadavg: 1.92 1.97 1.90 4/80 12721
/proc/meminfo: memFree=1884000/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=865988 CPUtime=0.08
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 3689 0 1 0 6 2 0 0 18 0 9 0 37653295 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216497 3164 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.302362 s]
/proc/loadavg: 1.92 1.97 1.90 4/80 12721
/proc/meminfo: memFree=1884000/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866360 CPUtime=0.28
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 5843 0 1 0 25 3 0 0 18 0 9 0 37653295 887152640 5218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216590 5218 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.701411 s]
/proc/loadavg: 1.92 1.97 1.90 4/80 12721
/proc/meminfo: memFree=1884000/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=0.68
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15001 0 1 0 61 7 0 0 18 0 9 0 37653295 887431168 14168 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14168 2627 9 0 211164 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866632
[startup+1.5015 s]
/proc/loadavg: 1.92 1.97 1.90 3/89 12730
/proc/meminfo: memFree=1829656/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=1.47
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15025 0 1 0 134 13 0 0 18 0 9 0 37653295 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14192 2633 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=1.3
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11295 0 1 0 119 11 0 0 25 0 9 0 37653297 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4126648799 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 17 0 9 0 37653298 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.09
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 331 0 0 0 9 0 0 0 16 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866632
[startup+3.10169 s]
/proc/loadavg: 1.93 1.97 1.90 3/89 12730
/proc/meminfo: memFree=1829400/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3.07
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15026 0 1 0 279 28 0 0 18 0 9 0 37653295 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14192 2633 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=2.89
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11296 0 1 0 263 26 0 0 25 0 9 0 37653297 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4126653421 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.09
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 331 0 0 0 9 0 0 0 16 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866632
[startup+6.30206 s]
/proc/loadavg: 1.93 1.97 1.90 3/89 12730
/proc/meminfo: memFree=1829024/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=6.26
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15031 0 1 0 566 60 0 0 18 0 9 0 37653295 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14196 2634 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=6.07
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11297 0 1 0 549 58 0 0 25 0 9 0 37653297 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4126650546 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.1
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 335 0 0 0 10 0 0 0 16 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 866632
[startup+12.7018 s]
/proc/loadavg: 1.94 1.97 1.91 3/89 12730
/proc/meminfo: memFree=1828832/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=12.63
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15031 0 1 0 1142 121 0 0 18 0 9 0 37653295 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14196 2634 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=12.45
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11297 0 1 0 1126 119 0 0 25 0 9 0 37653297 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4126605436 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.1
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 335 0 0 0 10 0 0 0 16 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 866632
[startup+25.5023 s]
/proc/loadavg: 1.95 1.97 1.91 3/89 12730
/proc/meminfo: memFree=1828768/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866636 CPUtime=25.38
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15032 0 1 0 2290 248 0 0 18 0 9 0 37653295 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216659 14196 2634 9 0 211165 0
[pid=12721/tid=12723] ppid=12719 vsize=866636 CPUtime=25.19
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11298 0 1 0 2273 246 0 0 25 0 9 0 37653297 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866636 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866636 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866636 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866636 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866636 CPUtime=0.1
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 335 0 0 0 10 0 0 0 16 0 9 0 37653300 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866636 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866636 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887435264 14196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 866636
[startup+51.1023 s]
/proc/loadavg: 1.96 1.97 1.91 3/89 12730
/proc/meminfo: memFree=1828320/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=50.87
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15098 0 1 0 4602 485 0 0 18 0 9 0 37653295 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14262 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=50.67
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11352 0 1 0 4584 483 0 0 25 0 9 0 37653297 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4126647864 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 17 0 9 0 37653298 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.12
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 347 0 0 0 12 0 0 0 16 0 9 0 37653300 887431168 14262 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
################
# More data... #
################
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 383 0 0 0 15 0 0 0 16 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3269.08
Current children cumulated vsize (KiB) 866632
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 12738
/proc/meminfo: memFree=1826080/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3328.83
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15154 0 1 0 332394 489 0 0 18 0 9 0 37653295 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14283 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=3328.6
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11371 0 1 0 332373 487 0 0 25 0 9 0 37653297 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4126742140 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 384 0 0 0 15 0 0 0 16 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3328.83
Current children cumulated vsize (KiB) 866632
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 12738
/proc/meminfo: memFree=1826016/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3388.61
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15154 0 1 0 338371 490 0 0 18 0 9 0 37653295 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14283 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=3388.36
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11371 0 1 0 338349 487 0 0 25 0 9 0 37653297 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4126600270 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 384 0 0 0 15 0 0 0 16 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3388.61
Current children cumulated vsize (KiB) 866632
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 12738
/proc/meminfo: memFree=1825824/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3448.36
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15154 0 1 0 344346 490 0 0 18 0 9 0 37653295 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14283 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=3448.11
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11371 0 1 0 344324 487 0 0 25 0 9 0 37653297 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4126600250 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 384 0 0 0 15 0 0 0 16 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3448.36
Current children cumulated vsize (KiB) 866632
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 12738
/proc/meminfo: memFree=1825696/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3508.12
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15154 0 1 0 350322 490 0 0 18 0 9 0 37653295 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14283 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=3507.88
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11371 0 1 0 350300 488 0 0 25 0 9 0 37653297 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4126605438 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 384 0 0 0 15 0 0 0 16 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3508.12
Current children cumulated vsize (KiB) 866632
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 12738
/proc/meminfo: memFree=1825632/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3567.88
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15155 0 1 0 356298 490 0 0 18 0 9 0 37653295 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14284 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=3567.64
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11371 0 1 0 356276 488 0 0 25 0 9 0 37653297 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4126738794 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 385 0 0 0 15 0 0 0 17 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3567.88
Current children cumulated vsize (KiB) 866632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 12738
/proc/meminfo: memFree=1825632/2055920 swapFree=4192812/4192956
[pid=12721] ppid=12719 vsize=866632 CPUtime=3600.05
/proc/12721/stat : 12721 (java) S 12719 12721 12547 0 -1 0 15155 0 1 0 359515 490 0 0 18 0 9 0 37653295 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12721/statm: 216658 14284 2635 9 0 211164 0
[pid=12721/tid=12723] ppid=12719 vsize=866632 CPUtime=3599.81
/proc/12721/task/12723/stat : 12723 (java) R 12719 12721 12547 0 -1 64 11371 0 1 0 359493 488 0 0 25 0 9 0 37653297 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4126600204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12724] ppid=12719 vsize=866632 CPUtime=0.05
/proc/12721/task/12724/stat : 12724 (java) S 12719 12721 12547 0 -1 64 2703 0 0 0 5 0 0 0 16 0 9 0 37653298 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12725] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12725/stat : 12725 (java) S 12719 12721 12547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12726] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12726/stat : 12726 (java) S 12719 12721 12547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37653298 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12727] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12727/stat : 12727 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12728] ppid=12719 vsize=866632 CPUtime=0.15
/proc/12721/task/12728/stat : 12728 (java) S 12719 12721 12547 0 -1 64 385 0 0 0 15 0 0 0 17 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12721/tid=12729] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12729/stat : 12729 (java) S 12719 12721 12547 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12721/tid=12730] ppid=12719 vsize=866632 CPUtime=0
/proc/12721/task/12730/stat : 12730 (java) S 12719 12721 12547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37653300 887431168 14284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 866632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 3614.65
CPU time (s): 3600.1
CPU user time (s): 3595.19
CPU system time (s): 4.91025
CPU usage (%): 99.5974
Max. virtual memory (cumulated for all children) (KiB): 866636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.19
system time used= 4.91025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15174
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= 74078
involuntary context switches= 122111
runsolver used 3.44848 second user time and 9.71352 second system time
The end
Begin job on node11 at 2008-07-11 22:51:45
IDJOB=1109748
IDBENCH=61008
IDSOLVER=360
FILE ID=node11/1109748-1215809505
PBS_JOBID= 7903283
Free space on /tmp= 66552 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109748-1215809505/watcher-1109748-1215809505 -o /tmp/evaluation-result-1109748-1215809505/solver-1109748-1215809505 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1109748-1215809505.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0a43ed623093b7647c443dc16926075e
RANDOM SEED=445648573
node11.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: 1884544 kB
Buffers: 11692 kB
Cached: 55016 kB
SwapCached: 0 kB
Active: 96732 kB
Inactive: 24188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1884544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5888 kB
Writeback: 0 kB
Mapped: 72304 kB
Slab: 35728 kB
Committed_AS: 911480 kB
PageTables: 1936 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= 66552 MiB
End job on node11 at 2008-07-11 23:52:02