0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/276671-1169243854/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.38 => wckTime=0.098 cpuTime=0.09 mem=6M910
0.38
0.38 relations being loaded...
0.50
0.50 constraints being loaded...
0.58 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.58 => wckTime=0.293 cpuTime=0.23 mem=15M719
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.378 cpuTime=0.28 mem=5M927
0.67
0.67 s SATISFIABLE
0.67 o 51
0.67 c 84
0.67 o 55
0.67 c 80
0.68 o 60
0.68 c 75
0.68 o 65
0.68 c 70
0.68 o 70
0.68 c 65
0.68 o 72
0.68 c 63
0.68 o 75
0.68 c 60
0.68 o 78
0.68 c 57
0.68 o 82
0.68 c 53
0.68 o 86
0.68 c 49
0.68 o 88
0.68 c 47
0.68 o 92
0.68 c 43
0.68 o 96
0.68 c 39
0.68 o 98
0.68 c 37
0.68 o 99
0.68 c 36
0.69 o 100
0.69 c 35
0.69 o 102
0.69 c 33
0.69 o 104
0.69 c 31
0.69 o 106
0.69 c 29
0.69 o 107
0.69 c 28
0.69 o 108
0.69 c 27
0.69 o 110
0.69 c 25
0.69 o 111
0.69 c 24
0.69 o 112
0.69 c 23
0.69 o 113
0.69 c 22
0.70 o 115
0.70 c 20
0.70 o 116
0.70 c 19
0.70 o 117
0.70 c 18
0.70 o 118
0.70 c 17
0.70 o 119
0.70 c 16
0.70 o 120
0.70 c 15
0.71 o 121
0.71 c 14
0.72 o 122
0.72 c 13
0.72 o 123
0.72 c 12
0.72 o 124
0.72 c 11
0.72 o 125
0.72 c 10
0.72 o 126
0.72 c 9
0.74 o 127
0.74 c 8
0.74 o 128
0.74 c 7
0.78 o 129
0.78 c 6
0.84 o 130
0.84 c 5
0.85 o 131
0.85 c 4
4.03
4.03 search
4.03 run=0 nbConstraintChecks=25874054 nbAssignments=10000
4.03 => wckTime=3.367 cpuTime=3.34 mem=5M927
7.57
7.57 search
7.57 run=1 nbConstraintChecks=53359113 nbAssignments=20000
7.57 => wckTime=6.914 cpuTime=6.88 mem=5M927
11.00
11.00 search
11.00 run=2 nbConstraintChecks=79880901 nbAssignments=30000
11.00 => wckTime=10.344 cpuTime=10.31 mem=5M927
14.77
14.77 search
14.77 run=3 nbConstraintChecks=109126929 nbAssignments=40000
14.77 => wckTime=14.111 cpuTime=14.07 mem=5M927
15.01 o 132
15.01 c 3
18.26
18.26 search
18.26 run=4 nbConstraintChecks=135879039 nbAssignments=50000
18.26 => wckTime=17.598 cpuTime=17.57 mem=5M927
21.71
21.71 search
21.71 run=5 nbConstraintChecks=161940294 nbAssignments=60000
21.71 => wckTime=21.045 cpuTime=21.01 mem=5M927
25.19
25.19 search
25.19 run=6 nbConstraintChecks=188863743 nbAssignments=70000
25.19 => wckTime=24.529 cpuTime=24.49 mem=5M927
28.83
28.83 search
28.83 run=7 nbConstraintChecks=217057788 nbAssignments=80000
28.83 => wckTime=28.166 cpuTime=28.13 mem=5M927
32.35
32.35 search
32.35 run=8 nbConstraintChecks=244321906 nbAssignments=90000
32.35 => wckTime=31.688 cpuTime=31.64 mem=5M927
36.35
36.35 search
36.35 run=9 nbConstraintChecks=275681528 nbAssignments=100000
36.35 => wckTime=35.693 cpuTime=35.62 mem=5M927
39.70
39.70 search
39.70 run=10 nbConstraintChecks=301025934 nbAssignments=110000
39.70 => wckTime=39.035 cpuTime=38.95 mem=5M927
43.26
43.26 search
43.26 run=11 nbConstraintChecks=328428775 nbAssignments=120000
43.26 => wckTime=42.595 cpuTime=42.52 mem=5M927
45.06
45.06 search
45.06 run=12 nbConstraintChecks=342403242 nbAssignments=125236
45.06 => wckTime=44.4 cpuTime=44.32 mem=5M927
45.06
45.06 global
45.06 nbConstraintChecks=342403242 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.06 solvingWckTime=44.395 solvingCpuTime=44.32 expiredTime=no totalExploration=no nbFoundSolutions=0
45.06 globalCpuTime=44.64
45.06 => wckTime=44.778 cpuTime=44.6 mem=5M927
45.06
45.06 solver IterativeSystematicSolver being built...
45.18 => wckTime=44.896 cpuTime=44.7 mem=16M883
45.19
45.19 preprocessing
45.19 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
45.19 detectedInconsistency=no
45.19 => wckTime=0.0060 cpuTime=0.0 mem=16M883
45.33
45.33 search
45.33 run=0 nbConstraintChecks=531762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82
45.33 nbFailedAssignments=60 nbBacktracks=10 nbVisitedNodes=153 nbRestartNogoods=0
45.33 => wckTime=0.146 cpuTime=0.12 mem=16M883
45.45
45.45 search
45.46 run=1 nbConstraintChecks=1080667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=192
45.46 nbFailedAssignments=142 nbBacktracks=25 nbVisitedNodes=360 nbRestartNogoods=24
45.46 => wckTime=0.273 cpuTime=0.24 mem=16M883
45.87
45.87 search
45.87 run=2 nbConstraintChecks=3334892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=500
45.87 nbFailedAssignments=423 nbBacktracks=47 nbVisitedNodes=971 nbRestartNogoods=46
45.87 => wckTime=0.693 cpuTime=0.66 mem=16M883
46.02
46.02 search
46.02 run=3 nbConstraintChecks=4112059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=635
46.02 nbFailedAssignments=513 nbBacktracks=80 nbVisitedNodes=1229 nbRestartNogoods=48
46.02 => wckTime=0.84 cpuTime=0.8 mem=16M883
46.43
46.43 search
46.43 run=4 nbConstraintChecks=6154023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=985
46.43 nbFailedAssignments=802 nbBacktracks=130 nbVisitedNodes=1918 nbRestartNogoods=59
46.43 => wckTime=1.247 cpuTime=1.21 mem=16M883
47.19
47.20 search
47.20 run=5 nbConstraintChecks=10337052 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1653
47.20 nbFailedAssignments=1384 nbBacktracks=205 nbVisitedNodes=3243 nbRestartNogoods=72
47.20 => wckTime=2.013 cpuTime=1.96 mem=16M883
47.69
47.69 search
47.69 run=6 nbConstraintChecks=12983728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2125
47.69 nbFailedAssignments=1731 nbBacktracks=318 nbVisitedNodes=4175 nbRestartNogoods=102
47.69 => wckTime=2.505 cpuTime=2.44 mem=16M883
48.56
48.56 search
48.56 run=7 nbConstraintChecks=16248275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2924
48.56 nbFailedAssignments=2346 nbBacktracks=489 nbVisitedNodes=5760 nbRestartNogoods=108
48.56 => wckTime=3.377 cpuTime=3.32 mem=16M883
50.91
50.91 search
50.91 run=8 nbConstraintChecks=26074997 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5538
50.91 nbFailedAssignments=4689 nbBacktracks=745 nbVisitedNodes=10972 nbRestartNogoods=139
50.91 => wckTime=5.727 cpuTime=5.67 mem=16M883
53.11
53.11 search
53.11 run=9 nbConstraintChecks=37096417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7914
53.11 nbFailedAssignments=6670 nbBacktracks=1129 nbVisitedNodes=15713 nbRestartNogoods=215
53.11 => wckTime=7.924 cpuTime=7.86 mem=16M883
57.38
57.38 search
57.38 run=10 nbConstraintChecks=56737870 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12611
57.38 nbFailedAssignments=10779 nbBacktracks=1705 nbVisitedNodes=25095 nbRestartNogoods=288
57.38 => wckTime=12.195 cpuTime=12.12 mem=16M883
62.21
62.21 search
62.21 run=11 nbConstraintChecks=80333435 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17632
62.21 nbFailedAssignments=14929 nbBacktracks=2569 nbVisitedNodes=35129 nbRestartNogoods=345
62.21 => wckTime=17.03 cpuTime=16.95 mem=16M883
70.49
70.49 search
70.49 run=12 nbConstraintChecks=117464433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23583
70.49 nbFailedAssignments=19567 nbBacktracks=3866 nbVisitedNodes=47010 nbRestartNogoods=361
70.49 => wckTime=25.306 cpuTime=25.23 mem=16M883
81.55
81.55 search
81.55 run=13 nbConstraintChecks=162237676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30409
81.55 nbFailedAssignments=24440 nbBacktracks=5812 nbVisitedNodes=60631 nbRestartNogoods=406
81.55 => wckTime=36.366 cpuTime=36.25 mem=16M883
96.93
96.95 search
96.95 run=14 nbConstraintChecks=216820892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40199
96.95 nbFailedAssignments=31296 nbBacktracks=8731 nbVisitedNodes=79917 nbRestartNogoods=448
96.95 => wckTime=51.745 cpuTime=51.63 mem=16M883
116.34
116.34 search
116.34 run=15 nbConstraintChecks=286469382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51951
116.34 nbFailedAssignments=38661 nbBacktracks=13109 nbVisitedNodes=102546 nbRestartNogoods=488
116.34 => wckTime=71.16 cpuTime=71.03 mem=16M883
147.23
147.23 search
147.23 run=16 nbConstraintChecks=389518651 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68481
147.23 nbFailedAssignments=48608 nbBacktracks=19678 nbVisitedNodes=134350 nbRestartNogoods=504
147.23 => wckTime=102.047 cpuTime=101.88 mem=16M883
194.73
194.73 search
194.73 run=17 nbConstraintChecks=559239303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95168
194.73 nbFailedAssignments=65437 nbBacktracks=29530 nbVisitedNodes=186658 nbRestartNogoods=550
194.73 => wckTime=149.553 cpuTime=149.34 mem=16M883
261.72
261.72 search
261.72 run=18 nbConstraintChecks=775042158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128606
261.72 nbFailedAssignments=84093 nbBacktracks=44308 nbVisitedNodes=250437 nbRestartNogoods=596
261.72 => wckTime=216.534 cpuTime=216.18 mem=16M883
348.23
348.23 search
348.23 run=19 nbConstraintChecks=1063108055 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174703
348.23 nbFailedAssignments=108008 nbBacktracks=66476 nbVisitedNodes=338787 nbRestartNogoods=627
348.23 => wckTime=303.046 cpuTime=302.61 mem=16M883
473.20
473.20 search
473.20 run=20 nbConstraintChecks=1484917310 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244984
473.20 nbFailedAssignments=145031 nbBacktracks=99728 nbVisitedNodes=472396 nbRestartNogoods=639
473.20 => wckTime=428.016 cpuTime=427.44 mem=16M883
660.17
660.17 search
660.17 run=21 nbConstraintChecks=2142701277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=349788
660.17 nbFailedAssignments=199947 nbBacktracks=149607 nbVisitedNodes=673794 nbRestartNogoods=712
660.17 => wckTime=614.99 cpuTime=614.24 mem=16M883
952.07
952.07 search
952.07 run=22 nbConstraintChecks=3150704684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=509238
952.07 nbFailedAssignments=284571 nbBacktracks=224425 nbVisitedNodes=982773 nbRestartNogoods=744
952.07 => wckTime=906.886 cpuTime=905.82 mem=16M883
1375.89
1375.89 search
1375.89 run=23 nbConstraintChecks=4670059492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=754000
1375.89 nbFailedAssignments=417099 nbBacktracks=336653 nbVisitedNodes=1455781 nbRestartNogoods=767
1375.89 => wckTime=1330.708 cpuTime=1329.22 mem=16M883
1910.85 o 133
1910.85 c 2
2024.06
2024.06 search
2024.06 run=24 nbConstraintChecks=6892918394 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1110348
2024.06 nbFailedAssignments=605094 nbBacktracks=504994 nbVisitedNodes=2137544 nbRestartNogoods=780
2024.06 => wckTime=1978.875 cpuTime=1975.73 mem=16M883
2405.02 v 0 0 16 26 13 2 28 13 13 32 9 31 17 12 28 17 2 16 12 1 3 38 12 20 32 32 3 37 13 20 19 10 25 0 1 6 39 35 38 26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-276671-1169243854 -o ROOT/results/node7/solver-276671-1169243854 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276671-1169243854/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.83 1.93 1.97 4/93 14791
/proc/meminfo: memFree=1319720/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=1784 CPUtime=0
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 272780845 1826816 158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/14790/statm: 447 158 123 14 0 92 0
[startup+0.10659 s]
/proc/loadavg: 1.83 1.93 1.97 4/93 14791
/proc/meminfo: memFree=1319720/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=914988 CPUtime=0.08
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 3120 0 1 0 7 1 0 0 24 0 8 0 272780845 936947712 2866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228747 2866 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514632 s]
/proc/loadavg: 1.83 1.93 1.97 4/93 14791
/proc/meminfo: memFree=1319720/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915332 CPUtime=0.5
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 7815 0 1 0 46 4 0 0 25 0 8 0 272780845 937299968 7554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228833 7554 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33572 s]
/proc/loadavg: 1.83 1.93 1.97 3/100 14798
/proc/meminfo: memFree=1294576/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=1.31
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 8980 0 1 0 119 12 0 0 25 0 8 0 272780845 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8718 2476 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.12
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97389 s]
/proc/loadavg: 1.83 1.93 1.97 3/100 14798
/proc/meminfo: memFree=1294576/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2.95
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 8981 0 1 0 265 30 0 0 25 0 8 0 272780845 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8718 2476 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915448 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937418752 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.12
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.18123 s]
/proc/loadavg: 1.92 1.95 1.98 3/100 14798
/proc/meminfo: memFree=1294512/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=6.16
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 8983 0 1 0 548 68 0 0 25 0 8 0 272780845 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8720 2476 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.12
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 337 0 0 0 12 0 0 0 17 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915444
[startup+12.6489 s]
/proc/loadavg: 1.93 1.95 1.98 3/100 14798
/proc/meminfo: memFree=1294448/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=12.63
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 8983 0 1 0 1127 136 0 0 25 0 8 0 272780845 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8720 2476 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.12
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 337 0 0 0 12 0 0 0 17 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.5163 s]
/proc/loadavg: 1.94 1.95 1.98 3/100 14798
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=25.49
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 8983 0 1 0 2273 276 0 0 25 0 8 0 272780845 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679219 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8720 2476 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.12
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 337 0 0 0 12 0 0 0 17 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915444
[startup+51.1249 s]
/proc/loadavg: 1.96 1.95 1.98 3/100 14798
/proc/meminfo: memFree=1293872/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=51.05
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9140 0 1 0 4627 478 0 0 25 0 8 0 272780845 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8872 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915444
[startup+102.336 s]
/proc/loadavg: 1.98 1.96 1.98 3/100 14798
/proc/meminfo: memFree=1293680/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=102.21
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9161 0 1 0 9743 478 0 0 25 0 8 0 272780845 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8891 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915444
[startup+162.387 s]
/proc/loadavg: 1.99 1.96 1.98 3/100 14798
/proc/meminfo: memFree=1293616/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=162.21
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9166 0 1 0 15743 478 0 0 25 0 8 0 272780845 937414656 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.71
Current children cumulated vsize (KiB) 915444
[startup+2083.89 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 14998
/proc/meminfo: memFree=1293104/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2080.47
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 207555 492 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856417 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.47
Current children cumulated vsize (KiB) 915444
[startup+2143.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 14998
/proc/meminfo: memFree=1293168/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2140.22
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 213530 492 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802247 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.22
Current children cumulated vsize (KiB) 915444
[startup+2203.94 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 14998
/proc/meminfo: memFree=1293104/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2199.94
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 219502 492 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2199.94
Current children cumulated vsize (KiB) 915444
[startup+2263.97 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 14998
/proc/meminfo: memFree=1293104/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2259.7
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 225478 492 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2259.7
Current children cumulated vsize (KiB) 915444
[startup+2324 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 14998
/proc/meminfo: memFree=1293168/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2319.45
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 231453 492 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2319.45
Current children cumulated vsize (KiB) 915444
[startup+2384.03 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 14998
/proc/meminfo: memFree=1293104/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2379.17
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 237425 492 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2379.17
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.01 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 15078
/proc/meminfo: memFree=1314520/2055920 swapFree=4192812/4192956
[pid=14790] ppid=14788 vsize=915444 CPUtime=2400.05
/proc/14790/stat : 14790 (java) R 14788 14790 14560 0 -1 0 9191 0 1 0 239511 494 0 0 25 0 8 0 272780845 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14790/statm: 228861 8918 2527 14 0 215331 0
[pid=14790/tid=14792] ppid=14788 vsize=915444 CPUtime=0.02
/proc/14790/task/14792/stat : 14792 (java) S 14788 14790 14560 0 -1 64 258 0 0 0 2 0 0 0 16 0 8 0 272780848 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14793] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14793/stat : 14793 (java) S 14788 14790 14560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14794] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14794/stat : 14794 (java) S 14788 14790 14560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272780849 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14795] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14795/stat : 14795 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14796] ppid=14788 vsize=915444 CPUtime=0.21
/proc/14790/task/14796/stat : 14796 (java) S 14788 14790 14560 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14797] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14797/stat : 14797 (java) S 14788 14790 14560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14790/tid=14798] ppid=14788 vsize=915444 CPUtime=0
/proc/14790/task/14798/stat : 14798 (java) S 14788 14790 14560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272780852 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.04
CPU time (s): 2400.08
CPU user time (s): 2395.13
CPU system time (s): 4.95025
CPU usage (%): 99.794
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.13
system time used= 4.95025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9212
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= 49789
involuntary context switches= 105528
runsolver used 2.81757 s user time and 7.37288 s system time
The end
Begin job on node7 on Fri Jan 19 21:57:34 UTC 2007
IDJOB= 276671
IDBENCH= 5937
IDSOLVER= 69
FILE ID= node7/276671-1169243854
PBS_JOBID= 3589048
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276671-1169243854/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-276671-1169243854 -o ROOT/results/node7/solver-276671-1169243854 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276671-1169243854/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fcab047e9b83f82daad7838afbfcb22c
RANDOM SEED= 460290350
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1320136 kB
Buffers: 52456 kB
Cached: 515752 kB
SwapCached: 0 kB
Active: 231112 kB
Inactive: 422964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1320136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4344 kB
Writeback: 0 kB
Mapped: 114860 kB
Slab: 66120 kB
Committed_AS: 8711528 kB
PageTables: 2464 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= 66559 MiB
End job on node7 on Fri Jan 19 22:37:39 UTC 2007