0.00/0.09
0.00/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-1109716-1215809296.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10 nbTotalValues=200
0.28/0.37 => wckTime=0.115 cpuTime=0.1 mem=7M858
0.28/0.37
0.28/0.37 relations being loaded...
0.47/0.54
0.47/0.54 constraints being loaded...
0.47/0.57 Too large in ConstraintConflictsSTructure
0.47/0.58 Too large in ConstraintConflictsSTructure
0.47/0.59 Too large in ConstraintConflictsSTructure
0.47/0.59 Too large in ConstraintConflictsSTructure
0.47/0.59 Too large in ConstraintConflictsSTructure
0.58/0.61 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.58/0.61 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 minDegree=1 maxDegree=4 minArity=10 maxArity=10
0.58/0.61 => wckTime=0.355 cpuTime=0.32 mem=31M118
0.58/0.68
0.58/0.68 solver LocalSearchSolver being built...
0.67/0.72 => wckTime=0.472 cpuTime=0.35 mem=11M829
0.67/0.73
0.67/0.73 s SATISFIABLE
0.67/0.73 o 5
3.34/3.44 o 4
4.71/4.90
4.71/4.90 search
4.71/4.90 run=0 nbConstraintChecks=4305841 nbAssignments=10000
4.71/4.90 => wckTime=4.174 cpuTime=4.1 mem=12M792
7.67/7.80 o 3
8.67/8.89
8.67/8.89 search
8.67/8.89 run=1 nbConstraintChecks=8575888 nbAssignments=20000
8.67/8.90 => wckTime=8.172 cpuTime=8.04 mem=12M792
12.52/12.73
12.52/12.73 search
12.52/12.73 run=2 nbConstraintChecks=12730881 nbAssignments=30000
12.52/12.73 => wckTime=12.009 cpuTime=11.83 mem=12M792
16.26/16.59
16.26/16.59 search
16.26/16.59 run=3 nbConstraintChecks=16912737 nbAssignments=40000
16.26/16.59 => wckTime=15.863 cpuTime=15.64 mem=12M792
20.01/20.39
20.01/20.39 search
20.01/20.39 run=4 nbConstraintChecks=21071010 nbAssignments=50000
20.01/20.39 => wckTime=19.669 cpuTime=19.39 mem=12M792
23.77/24.18
23.77/24.18 search
23.77/24.18 run=5 nbConstraintChecks=25203347 nbAssignments=60000
23.77/24.18 => wckTime=23.455 cpuTime=23.13 mem=12M792
27.61/28.01
27.61/28.01 search
27.61/28.01 run=6 nbConstraintChecks=29386518 nbAssignments=70000
27.61/28.01 => wckTime=27.292 cpuTime=26.91 mem=12M792
31.37/31.87
31.37/31.87 search
31.37/31.87 run=7 nbConstraintChecks=33576231 nbAssignments=80000
31.37/31.87 => wckTime=31.144 cpuTime=30.72 mem=12M792
35.21/35.71
35.21/35.71 search
35.21/35.71 run=8 nbConstraintChecks=37737119 nbAssignments=90000
35.21/35.71 => wckTime=34.983 cpuTime=34.5 mem=12M792
37.68/38.21
37.68/38.21 search
37.68/38.21 run=9 nbConstraintChecks=40463716 nbAssignments=96586
37.68/38.21 => wckTime=37.487 cpuTime=36.98 mem=12M792
37.68/38.21
37.68/38.21 global
37.68/38.21 nbConstraintChecks=40463716 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.68/38.21 solvingWckTime=37.486 solvingCpuTime=36.98 expiredTime=no totalExploration=no nbFoundSolutions=0
37.68/38.21 globalCpuTime=37.36
37.68/38.21 => wckTime=37.959 cpuTime=37.33 mem=12M792
37.68/38.21
37.68/38.21 solver DecomposerSolver being built...
37.77/38.31 => wckTime=38.06 cpuTime=37.41 mem=23M379
122.49/124.04
122.49/124.04 preprocessing
122.49/124.04 nbConstraintChecks=172288939 nbValidityChecks=324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
122.49/124.04 nbRemovedValues=0 detectedInconsistency=no
122.49/124.04 => wckTime=85.729 cpuTime=84.74 mem=23M379
3600.00/3641.21 v 8 2 1 6 0 8 7 8 7 3 6 5 4 0 8 0 6 7 5 8
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109716-1215809296/watcher-1109716-1215809296 -o /tmp/evaluation-result-1109716-1215809296/solver-1109716-1215809296 -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-1109716-1215809296.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: 2.01 2.01 2.00 4/112 13333
/proc/meminfo: memFree=1850256/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=18572 CPUtime=0
/proc/13333/stat : 13333 (runsolver) R 13331 13333 12714 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 37626719 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13333/statm: 4643 292 257 25 0 2626 0
[startup+0.0191429 s]
/proc/loadavg: 2.01 2.01 2.00 4/112 13333
/proc/meminfo: memFree=1850256/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=10704 CPUtime=0
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 739 0 0 0 0 0 0 0 20 0 2 0 37626719 10960896 519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 2676 519 243 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10704
[startup+0.101925 s]
/proc/loadavg: 2.01 2.01 2.00 4/112 13333
/proc/meminfo: memFree=1850256/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=865988 CPUtime=0.08
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 3704 0 1 0 6 2 0 0 20 0 9 0 37626719 886771712 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216497 3179 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.302968 s]
/proc/loadavg: 2.01 2.01 2.00 4/112 13333
/proc/meminfo: memFree=1850256/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866388 CPUtime=0.28
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 5837 0 1 0 24 4 0 0 20 0 9 0 37626719 887181312 5212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216597 5212 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388
[startup+0.702057 s]
/proc/loadavg: 2.01 2.01 2.00 4/112 13333
/proc/meminfo: memFree=1850256/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=0.67
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 14995 0 1 0 59 8 0 0 20 0 9 0 37626719 887427072 14162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14162 2627 9 0 211163 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866628
[startup+1.5012 s]
/proc/loadavg: 2.01 2.01 2.00 3/121 13342
/proc/meminfo: memFree=1803592/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=1.45
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15023 0 1 0 130 15 0 0 20 0 9 0 37626719 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14190 2633 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=1.28
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11292 0 1 0 114 14 0 0 25 0 9 0 37626721 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 10254113 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.1
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 332 0 0 0 10 0 0 0 16 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 866628
[startup+3.10151 s]
/proc/loadavg: 2.01 2.01 2.00 3/121 13342
/proc/meminfo: memFree=1803336/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3.04
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15024 0 1 0 275 29 0 0 20 0 9 0 37626719 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14190 2633 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=2.86
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11293 0 1 0 258 28 0 0 25 0 9 0 37626721 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4126648835 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.1
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 332 0 0 0 10 0 0 0 16 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37626725 887427072 14190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866628
[startup+6.30114 s]
/proc/loadavg: 2.01 2.01 2.00 3/121 13342
/proc/meminfo: memFree=1803080/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=6.2
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15029 0 1 0 563 57 0 0 20 0 9 0 37626719 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14194 2634 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=6.01
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11294 0 1 0 546 55 0 0 25 0 9 0 37626721 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4125977388 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.1
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 866628
[startup+12.7014 s]
/proc/loadavg: 2.01 2.01 2.00 3/121 13342
/proc/meminfo: memFree=1802896/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=12.52
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15029 0 1 0 1135 117 0 0 20 0 9 0 37626719 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14194 2634 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=12.32
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11294 0 1 0 1117 115 0 0 25 0 9 0 37626721 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4126648832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.1
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 866628
[startup+25.5029 s]
/proc/loadavg: 2.01 2.00 2.00 3/121 13342
/proc/meminfo: memFree=1802896/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=25.15
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15029 0 1 0 2274 241 0 0 20 0 9 0 37626719 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14194 2634 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=24.96
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11294 0 1 0 2256 240 0 0 25 0 9 0 37626721 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4126656955 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.1
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37626725 887427072 14194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 866628
[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 2.00 3/121 13342
/proc/meminfo: memFree=1802704/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=50.42
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15096 0 1 0 4675 367 0 0 20 0 9 0 37626719 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14260 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=50.22
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11352 0 1 0 4656 366 0 0 25 0 9 0 37626721 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4126600207 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.12
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 345 0 0 0 12 0 0 0 16 0 9 0 37626725 887427072 14260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
################
# More data... #
################
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 374 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3244.48
Current children cumulated vsize (KiB) 866628
[startup+3342.3 s]
/proc/loadavg: 2.54 2.20 2.10 3/121 13350
/proc/meminfo: memFree=1799312/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3303.79
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15145 0 1 0 330001 378 0 0 20 0 9 0 37626719 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14280 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=3303.49
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11371 0 1 0 329975 374 0 0 25 0 9 0 37626721 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4126600256 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 375 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3303.79
Current children cumulated vsize (KiB) 866628
[startup+3402.31 s]
/proc/loadavg: 2.44 2.25 2.12 3/121 13350
/proc/meminfo: memFree=1799120/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3363.11
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15145 0 1 0 335933 378 0 0 20 0 9 0 37626719 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14280 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=3362.81
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11371 0 1 0 335907 374 0 0 25 0 9 0 37626721 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4126605396 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 375 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3363.11
Current children cumulated vsize (KiB) 866628
[startup+3462.3 s]
/proc/loadavg: 2.25 2.22 2.11 3/121 13350
/proc/meminfo: memFree=1798928/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3422.41
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15145 0 1 0 341863 378 0 0 20 0 9 0 37626719 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14280 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=3422.11
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11371 0 1 0 341837 374 0 0 25 0 9 0 37626721 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4126605402 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 375 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3422.41
Current children cumulated vsize (KiB) 866628
[startup+3522.3 s]
/proc/loadavg: 2.21 2.20 2.11 3/120 13388
/proc/meminfo: memFree=1764112/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3481.8
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15145 0 1 0 347802 378 0 0 20 0 9 0 37626719 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14280 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=3481.5
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11371 0 1 0 347776 374 0 0 25 0 9 0 37626721 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4126605344 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 375 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3481.8
Current children cumulated vsize (KiB) 866628
[startup+3582.3 s]
/proc/loadavg: 2.35 2.23 2.12 3/120 13388
/proc/meminfo: memFree=1738192/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3541.45
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15145 0 1 0 353766 379 0 0 20 0 9 0 37626719 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14280 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=3541.15
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11371 0 1 0 353741 374 0 0 25 0 9 0 37626721 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4126605344 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 375 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3541.45
Current children cumulated vsize (KiB) 866628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3641.2 s]
/proc/loadavg: 2.69 2.35 2.17 3/120 13388
/proc/meminfo: memFree=1738000/2055920 swapFree=4192812/4192956
[pid=13333] ppid=13331 vsize=866628 CPUtime=3600
/proc/13333/stat : 13333 (java) S 13331 13333 12714 0 -1 0 15145 0 1 0 359621 379 0 0 20 0 9 0 37626719 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13333/statm: 216657 14280 2635 9 0 211163 0
[pid=13333/tid=13335] ppid=13331 vsize=866628 CPUtime=3599.69
/proc/13333/task/13335/stat : 13335 (java) R 13331 13333 12714 0 -1 64 11371 0 1 0 359595 374 0 0 25 0 9 0 37626721 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4126600270 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13336] ppid=13331 vsize=866628 CPUtime=0.06
/proc/13333/task/13336/stat : 13336 (java) S 13331 13333 12714 0 -1 64 2703 0 0 0 6 0 0 0 16 0 9 0 37626722 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13337] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13337/stat : 13337 (java) S 13331 13333 12714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13338] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13338/stat : 13338 (java) S 13331 13333 12714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37626723 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13339] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13339/stat : 13339 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13340] ppid=13331 vsize=866628 CPUtime=0.16
/proc/13333/task/13340/stat : 13340 (java) S 13331 13333 12714 0 -1 64 375 0 0 0 16 0 0 0 16 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13341] ppid=13331 vsize=866628 CPUtime=0
/proc/13333/task/13341/stat : 13341 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13333/tid=13342] ppid=13331 vsize=866628 CPUtime=0.05
/proc/13333/task/13342/stat : 13342 (java) S 13331 13333 12714 0 -1 64 1 0 0 0 2 3 0 0 15 0 9 0 37626725 887427072 14280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 866628
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): 3641.23
CPU time (s): 3600.02
CPU user time (s): 3596.22
CPU system time (s): 3.79842
CPU usage (%): 98.8683
Max. virtual memory (cumulated for all children) (KiB): 866632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.22
system time used= 3.79842
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15164
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= 74440
involuntary context switches= 154838
runsolver used 4.98324 second user time and 15.1197 second system time
The end
Begin job on node88 at 2008-07-11 22:48:16
IDJOB=1109716
IDBENCH=61004
IDSOLVER=360
FILE ID=node88/1109716-1215809296
PBS_JOBID= 7903207
Free space on /tmp= 66496 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-0_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-1109716-1215809296/watcher-1109716-1215809296 -o /tmp/evaluation-result-1109716-1215809296/solver-1109716-1215809296 -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-1109716-1215809296.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1b92140e9349a43b07ee62c365fab9f4
RANDOM SEED=366880518
node88.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 : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.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: 2055920 kB
MemFree: 1850736 kB
Buffers: 25308 kB
Cached: 65744 kB
SwapCached: 0 kB
Active: 107368 kB
Inactive: 40568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2916 kB
Writeback: 0 kB
Mapped: 78272 kB
Slab: 38808 kB
Committed_AS: 347856 kB
PageTables: 4608 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= 66496 MiB
End job on node88 at 2008-07-11 23:48:59