0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276293-1169234594/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=15 maxArity=2
0.62 => wckTime=0.31 cpuTime=0.24 mem=13M769
0.67
0.67 solver LocalSearchSolver being built...
0.71 => wckTime=0.399 cpuTime=0.28 mem=5M887
0.72
0.72 s SATISFIABLE
0.72 o 92
0.72 c 88
0.72 o 98
0.72 c 82
0.72 o 104
0.72 c 76
0.72 o 110
0.72 c 70
0.72 o 115
0.72 c 65
0.73 o 120
0.73 c 60
0.73 o 124
0.73 c 56
0.73 o 127
0.73 c 53
0.73 o 129
0.73 c 51
0.73 o 132
0.73 c 48
0.73 o 136
0.73 c 44
0.73 o 139
0.73 c 41
0.73 o 140
0.73 c 40
0.73 o 142
0.73 c 38
0.73 o 145
0.73 c 35
0.74 o 146
0.74 c 34
0.74 o 148
0.74 c 32
0.74 o 149
0.74 c 31
0.74 o 150
0.74 c 30
0.74 o 151
0.74 c 29
0.74 o 152
0.74 c 28
0.74 o 154
0.74 c 26
0.74 o 155
0.74 c 25
0.74 o 156
0.74 c 24
0.74 o 157
0.74 c 23
0.74 o 158
0.74 c 22
0.75 o 159
0.75 c 21
0.75 o 160
0.75 c 20
0.75 o 162
0.75 c 18
0.75 o 163
0.75 c 17
0.75 o 164
0.75 c 16
0.75 o 165
0.75 c 15
0.75 o 166
0.75 c 14
0.76 o 167
0.76 c 13
0.76 o 168
0.76 c 12
0.76 o 169
0.76 c 11
0.77 o 170
0.77 c 10
0.77 o 171
0.77 c 9
0.83 o 172
0.83 c 8
0.84 o 173
0.84 c 7
0.84 o 174
0.85 c 6
0.87 o 175
0.87 c 5
1.14 o 176
1.14 c 4
2.04 o 177
2.04 c 3
3.66
3.66 search
3.66 run=0 nbConstraintChecks=19329271 nbAssignments=10000
3.66 => wckTime=2.952 cpuTime=2.9 mem=5M887
6.69
6.69 search
6.69 run=1 nbConstraintChecks=40257606 nbAssignments=20000
6.69 => wckTime=5.98 cpuTime=5.91 mem=5M887
9.43
9.43 search
9.43 run=2 nbConstraintChecks=58560086 nbAssignments=30000
9.43 => wckTime=8.718 cpuTime=8.62 mem=5M887
12.29
12.29 search
12.29 run=3 nbConstraintChecks=77968695 nbAssignments=40000
12.29 => wckTime=11.581 cpuTime=11.47 mem=5M887
15.11
15.11 search
15.11 run=4 nbConstraintChecks=97144619 nbAssignments=50000
15.11 => wckTime=14.4 cpuTime=14.26 mem=5M887
18.02
18.02 search
18.02 run=5 nbConstraintChecks=117087511 nbAssignments=60000
18.02 => wckTime=17.309 cpuTime=17.14 mem=5M887
19.83 o 178
19.83 c 2
20.71
20.71 search
20.71 run=6 nbConstraintChecks=135243069 nbAssignments=70000
20.71 => wckTime=20.004 cpuTime=19.81 mem=5M887
23.73
23.73 search
23.73 run=7 nbConstraintChecks=156082124 nbAssignments=80000
23.73 => wckTime=23.022 cpuTime=22.8 mem=5M887
26.43
26.43 search
26.43 run=8 nbConstraintChecks=174058576 nbAssignments=90000
26.43 => wckTime=25.723 cpuTime=25.48 mem=5M887
29.41
29.41 search
29.41 run=9 nbConstraintChecks=194422527 nbAssignments=100000
29.41 => wckTime=28.702 cpuTime=28.42 mem=5M887
32.16
32.16 search
32.16 run=10 nbConstraintChecks=212847729 nbAssignments=110000
32.16 => wckTime=31.447 cpuTime=31.15 mem=5M887
35.07
35.07 search
35.07 run=11 nbConstraintChecks=232654893 nbAssignments=120000
35.07 => wckTime=34.358 cpuTime=34.03 mem=5M887
37.74
37.74 search
37.74 run=12 nbConstraintChecks=250674324 nbAssignments=130000
37.74 => wckTime=37.028 cpuTime=36.68 mem=5M887
40.72
40.72 search
40.72 run=13 nbConstraintChecks=271247043 nbAssignments=140000
40.72 => wckTime=40.011 cpuTime=39.63 mem=5M887
43.46
43.46 search
43.46 run=14 nbConstraintChecks=289809719 nbAssignments=150000
43.46 => wckTime=42.749 cpuTime=42.35 mem=5M887
46.41
46.41 search
46.41 run=15 nbConstraintChecks=309928092 nbAssignments=160000
46.41 => wckTime=45.704 cpuTime=45.27 mem=5M887
49.26
49.26 search
49.26 run=16 nbConstraintChecks=329269595 nbAssignments=170000
49.26 => wckTime=48.55 cpuTime=48.1 mem=5M887
50.11
50.11 search
50.11 run=17 nbConstraintChecks=335118548 nbAssignments=172837
50.11 => wckTime=49.403 cpuTime=48.95 mem=5M887
50.12
50.12 global
50.12 nbConstraintChecks=335118548 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
50.12 solvingWckTime=49.4 solvingCpuTime=48.94 expiredTime=no totalExploration=no nbFoundSolutions=0
50.12 globalCpuTime=49.27
50.12 => wckTime=49.802 cpuTime=49.22 mem=5M887
50.12
50.12 solver IterativeSystematicSolver being built...
50.24 => wckTime=49.93 cpuTime=49.32 mem=16M942
50.25
50.25 preprocessing
50.25 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
50.25 detectedInconsistency=no
50.25 => wckTime=0.0050 cpuTime=0.0 mem=16M942
50.41
50.41 search
50.41 run=0 nbConstraintChecks=483453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95
50.41 nbFailedAssignments=74 nbBacktracks=10 nbVisitedNodes=180 nbRestartNogoods=0
50.41 => wckTime=0.163 cpuTime=0.13 mem=16M942
50.57
50.57 search
50.57 run=1 nbConstraintChecks=1207221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=245
50.57 nbFailedAssignments=198 nbBacktracks=25 nbVisitedNodes=469 nbRestartNogoods=12
50.57 => wckTime=0.326 cpuTime=0.29 mem=16M942
50.75
50.75 search
50.75 run=2 nbConstraintChecks=2062741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=412
50.75 nbFailedAssignments=332 nbBacktracks=47 nbVisitedNodes=792 nbRestartNogoods=41
50.75 => wckTime=0.508 cpuTime=0.47 mem=16M942
51.10
51.10 search
51.10 run=3 nbConstraintChecks=3722468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=724
51.10 nbFailedAssignments=600 nbBacktracks=80 nbVisitedNodes=1405 nbRestartNogoods=64
51.10 => wckTime=0.856 cpuTime=0.81 mem=16M942
51.42
51.42 search
51.42 run=4 nbConstraintChecks=5181188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1035
51.42 nbFailedAssignments=848 nbBacktracks=130 nbVisitedNodes=2014 nbRestartNogoods=118
51.42 => wckTime=1.175 cpuTime=1.12 mem=16M942
51.95
51.95 search
51.95 run=5 nbConstraintChecks=7632875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1556
51.95 nbFailedAssignments=1284 nbBacktracks=205 nbVisitedNodes=3046 nbRestartNogoods=137
51.95 => wckTime=1.707 cpuTime=1.64 mem=16M942
52.85
52.85 search
52.85 run=6 nbConstraintChecks=12224104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2475
52.85 nbFailedAssignments=2078 nbBacktracks=318 nbVisitedNodes=4872 nbRestartNogoods=153
52.85 => wckTime=2.611 cpuTime=2.53 mem=16M942
53.96
53.96 search
53.96 run=7 nbConstraintChecks=17675631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3599
53.96 nbFailedAssignments=3018 nbBacktracks=488 nbVisitedNodes=7106 nbRestartNogoods=174
53.96 => wckTime=3.715 cpuTime=3.62 mem=16M942
55.92
55.93 search
55.93 run=8 nbConstraintChecks=26902496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5458
55.93 nbFailedAssignments=4606 nbBacktracks=744 nbVisitedNodes=10809 nbRestartNogoods=203
55.93 => wckTime=5.682 cpuTime=5.57 mem=16M942
58.23
58.23 search
58.23 run=9 nbConstraintChecks=35373987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7031
58.23 nbFailedAssignments=5783 nbBacktracks=1128 nbVisitedNodes=13943 nbRestartNogoods=241
58.23 => wckTime=7.991 cpuTime=7.86 mem=16M942
62.01
62.01 search
62.01 run=10 nbConstraintChecks=54242019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10821
62.01 nbFailedAssignments=8987 nbBacktracks=1704 nbVisitedNodes=21499 nbRestartNogoods=258
62.01 => wckTime=11.768 cpuTime=11.6 mem=16M942
69.11
69.11 search
69.11 run=11 nbConstraintChecks=91322692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17731
69.11 nbFailedAssignments=15021 nbBacktracks=2568 nbVisitedNodes=35301 nbRestartNogoods=270
69.11 => wckTime=18.865 cpuTime=18.63 mem=16M942
77.99
78.00 search
78.00 run=12 nbConstraintChecks=130859841 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25172
78.00 nbFailedAssignments=21154 nbBacktracks=3866 nbVisitedNodes=50166 nbRestartNogoods=290
78.00 => wckTime=27.752 cpuTime=27.45 mem=16M942
90.54
90.54 search
90.54 run=13 nbConstraintChecks=182238464 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36001
90.54 nbFailedAssignments=30028 nbBacktracks=5812 nbVisitedNodes=71795 nbRestartNogoods=300
90.54 => wckTime=40.296 cpuTime=39.88 mem=16M942
99.00
99.00 search
99.00 run=14 nbConstraintChecks=215962212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47053
99.00 nbFailedAssignments=38152 nbBacktracks=8732 nbVisitedNodes=93886 nbRestartNogoods=321
99.00 => wckTime=48.754 cpuTime=48.27 mem=16M942
120.91
120.91 search
120.91 run=15 nbConstraintChecks=309587241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65547
120.91 nbFailedAssignments=52258 nbBacktracks=13112 nbVisitedNodes=130722 nbRestartNogoods=329
120.91 => wckTime=70.671 cpuTime=69.99 mem=16M942
147.77
147.77 search
147.77 run=16 nbConstraintChecks=418994465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88200
147.77 nbFailedAssignments=68330 nbBacktracks=19680 nbVisitedNodes=175166 nbRestartNogoods=338
147.77 => wckTime=97.527 cpuTime=96.8 mem=16M942
185.53
185.53 search
185.53 run=17 nbConstraintChecks=576148005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117589
185.53 nbFailedAssignments=87856 nbBacktracks=29532 nbVisitedNodes=233317 nbRestartNogoods=355
185.53 => wckTime=135.286 cpuTime=134.52 mem=16M942
231.88
231.88 search
231.88 run=18 nbConstraintChecks=769385839 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153370
231.88 nbFailedAssignments=108851 nbBacktracks=44310 nbVisitedNodes=303381 nbRestartNogoods=366
231.88 => wckTime=181.639 cpuTime=180.83 mem=16M942
303.10
303.10 search
303.10 run=19 nbConstraintChecks=1041502717 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=204795
303.10 nbFailedAssignments=138101 nbBacktracks=66479 nbVisitedNodes=402283 nbRestartNogoods=390
303.10 => wckTime=252.855 cpuTime=251.97 mem=16M942
398.00
398.00 search
398.00 run=20 nbConstraintChecks=1416332331 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=277911
398.00 nbFailedAssignments=177959 nbBacktracks=99731 nbVisitedNodes=542950 nbRestartNogoods=406
398.00 => wckTime=347.756 cpuTime=346.78 mem=16M942
552.74
552.74 search
552.74 run=21 nbConstraintChecks=2009067108 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=394111
552.74 nbFailedAssignments=244268 nbBacktracks=149613 nbVisitedNodes=766727 nbRestartNogoods=420
552.74 => wckTime=502.499 cpuTime=501.38 mem=16M942
764.91
764.91 search
764.91 run=22 nbConstraintChecks=2815733351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=552431
764.91 nbFailedAssignments=327756 nbBacktracks=224432 nbVisitedNodes=1069707 nbRestartNogoods=451
764.91 => wckTime=714.67 cpuTime=713.34 mem=16M942
1084.76
1084.76 search
1084.76 run=23 nbConstraintChecks=4090160360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=802495
1084.76 nbFailedAssignments=465579 nbBacktracks=336659 nbVisitedNodes=1552127 nbRestartNogoods=475
1084.76 => wckTime=1034.513 cpuTime=1032.88 mem=16M942
1544.73
1544.73 search
1544.73 run=24 nbConstraintChecks=5881612679 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1161288
1544.73 nbFailedAssignments=656017 nbBacktracks=505000 nbVisitedNodes=2236439 nbRestartNogoods=496
1544.73 => wckTime=1494.486 cpuTime=1492.38 mem=16M942
1946.62 o 179
1946.62 c 1
2127.74
2127.74 search
2127.74 run=25 nbConstraintChecks=8214811372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1672650
2127.74 nbFailedAssignments=914862 nbBacktracks=757511 nbVisitedNodes=3164313 nbRestartNogoods=526
2127.74 => wckTime=2077.492 cpuTime=2074.69 mem=16M942
2404.57 v 0 7 2 6 4 7 11 18 14 11 4 13 13 17 6 10 21 4 6 17 15 5 18 1 1 1 10 24 8 8 6 22 4 21 19 5 1 0 10 6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-276293-1169234594 -o ROOT/results/node40/solver-276293-1169234594 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276293-1169234594/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: 2.07 1.99 1.96 4/74 573
/proc/meminfo: memFree=1571264/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=1784 CPUtime=0
/proc/572/stat : 572 (java) D 570 572 31990 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 271858790 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/572/statm: 446 136 102 14 0 91 0
[startup+0.106832 s]
/proc/loadavg: 2.07 1.99 1.96 4/74 573
/proc/meminfo: memFree=1571264/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=914988 CPUtime=0.08
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 271858790 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516885 s]
/proc/loadavg: 2.07 1.99 1.96 4/74 573
/proc/meminfo: memFree=1571264/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915332 CPUtime=0.49
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 7162 0 1 0 45 4 0 0 18 0 8 0 271858790 937299968 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228833 6901 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34599 s]
/proc/loadavg: 2.15 2.01 1.96 3/81 580
/proc/meminfo: memFree=1547784/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=1.31
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 8538 0 1 0 117 14 0 0 25 0 8 0 271858790 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8276 2476 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.15
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 346 0 0 0 14 1 0 0 16 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.9852 s]
/proc/loadavg: 2.15 2.01 1.96 3/81 580
/proc/meminfo: memFree=1547720/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2.94
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 8539 0 1 0 257 37 0 0 25 0 8 0 271858790 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8276 2476 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.15
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 346 0 0 0 14 1 0 0 16 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26462 s]
/proc/loadavg: 2.13 2.01 1.96 3/81 580
/proc/meminfo: memFree=1547656/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=6.19
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 8542 0 1 0 539 80 0 0 25 0 8 0 271858790 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8279 2476 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.16
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7515 s]
/proc/loadavg: 2.12 2.01 1.96 3/81 580
/proc/meminfo: memFree=1547784/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=12.62
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 8542 0 1 0 1093 169 0 0 25 0 8 0 271858790 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8279 2476 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.16
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6031 s]
/proc/loadavg: 2.10 2.01 1.96 3/81 580
/proc/meminfo: memFree=1547912/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=25.36
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 8543 0 1 0 2185 351 0 0 25 0 8 0 271858790 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8280 2476 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.16
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271858798 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2044 s]
/proc/loadavg: 2.06 2.00 1.96 3/81 580
/proc/meminfo: memFree=1545864/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=50.73
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9112 0 1 0 4385 688 0 0 25 0 8 0 271858790 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8848 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.22
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 271858798 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915464
[startup+102.414 s]
/proc/loadavg: 2.10 2.03 1.97 3/81 580
/proc/meminfo: memFree=1545736/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=101.5
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9160 0 1 0 9462 688 0 0 25 0 8 0 271858790 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 228866 8892 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.25
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 403 0 0 0 24 1 0 0 17 0 8 0 271858798 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271858798 937435136 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915464
[startup+162.466 s]
/proc/loadavg: 2.08 2.04 1.98 3/87 652
/proc/meminfo: memFree=1523040/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=161.33
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9165 0 1 0 15444 689 0 0 25 0 8 0 271858790 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.96
Current children cumulated vsize (KiB) 915464
[startup+2083.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 652
/proc/meminfo: memFree=1522528/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2080.94
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9188 0 1 0 207399 695 0 0 25 0 8 0 271858790 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8918 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.94
Current children cumulated vsize (KiB) 915464
[startup+2143.93 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 652
/proc/meminfo: memFree=1522592/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2140.71
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9190 0 1 0 213376 695 0 0 25 0 8 0 271858790 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8920 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.71
Current children cumulated vsize (KiB) 915464
[startup+2203.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 652
/proc/meminfo: memFree=1522528/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2200.45
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9190 0 1 0 219350 695 0 0 25 0 8 0 271858790 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8920 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.45
Current children cumulated vsize (KiB) 915464
[startup+2263.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 652
/proc/meminfo: memFree=1522528/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2260.19
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9190 0 1 0 225324 695 0 0 25 0 8 0 271858790 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8920 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.19
Current children cumulated vsize (KiB) 915464
[startup+2324 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 820
/proc/meminfo: memFree=1521256/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2319.86
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9190 0 1 0 231282 704 0 0 25 0 8 0 271858790 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8920 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.86
Current children cumulated vsize (KiB) 915464
[startup+2384.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 850
/proc/meminfo: memFree=1522272/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2379.59
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9190 0 1 0 237254 705 0 0 25 0 8 0 271858790 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8920 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.59
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 850
/proc/meminfo: memFree=1522272/2055920 swapFree=4191892/4192956
[pid=572] ppid=570 vsize=915464 CPUtime=2400.03
/proc/572/stat : 572 (java) R 570 572 31990 0 -1 0 9190 0 1 0 239298 705 0 0 25 0 8 0 271858790 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/572/statm: 228866 8920 2527 14 0 215336 0
[pid=572/tid=574] ppid=570 vsize=915464 CPUtime=0.03
/proc/572/task/574/stat : 574 (java) S 570 572 31990 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/575/stat : 575 (java) S 570 572 31990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271858794 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=915464 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31990 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=572/tid=579] ppid=570 vsize=915464 CPUtime=0
/proc/572/task/579/stat : 579 (java) S 570 572 31990 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=915464 CPUtime=0.04
/proc/572/task/580/stat : 580 (java) S 570 572 31990 0 -1 64 0 0 0 0 1 3 0 0 15 0 8 0 271858798 937435136 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2404.63
CPU time (s): 2400.1
CPU user time (s): 2393.03
CPU system time (s): 7.06193
CPU usage (%): 99.8114
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.03
system time used= 7.06193
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9211
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= 49791
involuntary context switches= 44045
runsolver used 3.02754 s user time and 6.83596 s system time
The end
Begin job on node40 on Fri Jan 19 19:23:15 UTC 2007
IDJOB= 276293
IDBENCH= 5661
IDSOLVER= 69
FILE ID= node40/276293-1169234594
PBS_JOBID= 3589274
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276293-1169234594/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-276293-1169234594 -o ROOT/results/node40/solver-276293-1169234594 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276293-1169234594/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0da2491e964a6fb21598906e2adbb760
RANDOM SEED= 152667483
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.239
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.239
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: 1571744 kB
Buffers: 41524 kB
Cached: 342000 kB
SwapCached: 268 kB
Active: 126020 kB
Inactive: 281004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1571744 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 34380 kB
Slab: 62424 kB
Committed_AS: 5064940 kB
PageTables: 1796 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= 66561 MiB
End job on node40 on Fri Jan 19 20:03:19 UTC 2007