0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278921-1169289543/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=62 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.41 => wckTime=0.107 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.54 nbConstraints=211 nbRelationTypes=211 nbExtensionStructures=211 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=211 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2078 maxDegree=21
0.54 maxArity=2
0.54 => wckTime=0.239 cpuTime=0.16 mem=8M860
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.32 cpuTime=0.2 mem=5M574
0.62
0.62 s SATISFIABLE
0.62 o 86
0.62 c 125
0.63 o 88
0.63 c 123
0.63 o 89
0.63 c 122
0.63 o 92
0.63 c 119
0.63 o 96
0.63 c 115
0.63 o 100
0.63 c 111
0.63 o 103
0.63 c 108
0.64 o 106
0.64 c 105
0.64 o 109
0.64 c 102
0.64 o 111
0.64 c 100
0.64 o 114
0.64 c 97
0.64 o 116
0.64 c 95
0.64 o 118
0.64 c 93
0.64 o 120
0.64 c 91
0.64 o 121
0.64 c 90
0.64 o 123
0.64 c 88
0.64 o 124
0.64 c 87
0.64 o 127
0.64 c 84
0.64 o 128
0.64 c 83
0.64 o 130
0.64 c 81
0.65 o 132
0.65 c 79
0.65 o 133
0.65 c 78
0.65 o 136
0.65 c 75
0.65 o 138
0.65 c 73
0.65 o 139
0.65 c 72
0.65 o 140
0.65 c 71
0.65 o 142
0.65 c 69
0.65 o 143
0.65 c 68
0.65 o 144
0.65 c 67
0.65 o 146
0.65 c 65
0.65 o 147
0.65 c 64
0.65 o 148
0.65 c 63
0.65 o 150
0.65 c 61
0.65 o 151
0.65 c 60
0.65 o 152
0.65 c 59
0.65 o 153
0.65 c 58
0.66 o 154
0.66 c 57
0.66 o 155
0.66 c 56
0.66 o 157
0.66 c 54
0.66 o 158
0.66 c 53
0.66 o 159
0.66 c 52
0.66 o 160
0.66 c 51
0.66 o 161
0.66 c 50
0.70 o 162
0.70 c 49
0.70 o 163
0.70 c 48
0.77 o 164
0.77 c 47
0.97 o 165
0.97 c 46
1.01 o 166
1.01 c 45
1.01 o 167
1.01 c 44
2.41
2.41 search
2.41 run=0 nbConstraintChecks=8922835 nbAssignments=10000
2.41 => wckTime=1.79 cpuTime=1.77 mem=5M574
4.15
4.15 search
4.15 run=1 nbConstraintChecks=18020989 nbAssignments=20000
4.15 => wckTime=3.529 cpuTime=3.51 mem=5M574
5.89
5.89 search
5.89 run=2 nbConstraintChecks=27039846 nbAssignments=30000
5.89 => wckTime=5.271 cpuTime=5.25 mem=5M574
7.65
7.65 search
7.65 run=3 nbConstraintChecks=36139545 nbAssignments=40000
7.65 => wckTime=7.027 cpuTime=7.0 mem=5M574
7.91 o 168
7.91 c 43
9.38
9.38 search
9.38 run=4 nbConstraintChecks=45007229 nbAssignments=50000
9.38 => wckTime=8.756 cpuTime=8.73 mem=5M574
11.14
11.14 search
11.14 run=5 nbConstraintChecks=54251671 nbAssignments=60000
11.14 => wckTime=10.524 cpuTime=10.5 mem=5M574
12.87
12.87 search
12.87 run=6 nbConstraintChecks=63072728 nbAssignments=70000
12.87 => wckTime=12.247 cpuTime=12.22 mem=5M574
14.64
14.64 search
14.64 run=7 nbConstraintChecks=72298368 nbAssignments=80000
14.64 => wckTime=14.017 cpuTime=13.99 mem=5M574
16.34
16.34 search
16.34 run=8 nbConstraintChecks=81069624 nbAssignments=90000
16.34 => wckTime=15.717 cpuTime=15.69 mem=5M574
18.06
18.06 search
18.06 run=9 nbConstraintChecks=90080939 nbAssignments=100000
18.06 => wckTime=17.443 cpuTime=17.41 mem=5M574
19.77
19.77 search
19.77 run=10 nbConstraintChecks=98964353 nbAssignments=110000
19.77 => wckTime=19.153 cpuTime=19.12 mem=5M574
21.48
21.48 search
21.48 run=11 nbConstraintChecks=107770459 nbAssignments=120000
21.48 => wckTime=20.858 cpuTime=20.83 mem=5M574
23.18
23.18 search
23.18 run=12 nbConstraintChecks=116618865 nbAssignments=130000
23.18 => wckTime=22.561 cpuTime=22.53 mem=5M574
24.93
24.93 search
24.93 run=13 nbConstraintChecks=125827933 nbAssignments=140000
24.93 => wckTime=24.314 cpuTime=24.28 mem=5M574
26.67
26.67 search
26.67 run=14 nbConstraintChecks=134776007 nbAssignments=150000
26.67 => wckTime=26.046 cpuTime=26.01 mem=5M574
28.41
28.41 search
28.41 run=15 nbConstraintChecks=143786022 nbAssignments=160000
28.41 => wckTime=27.787 cpuTime=27.75 mem=5M574
30.11
30.11 search
30.11 run=16 nbConstraintChecks=152492482 nbAssignments=170000
30.11 => wckTime=29.493 cpuTime=29.46 mem=5M574
31.87
31.87 search
31.87 run=17 nbConstraintChecks=161585799 nbAssignments=180000
31.87 => wckTime=31.25 cpuTime=31.21 mem=5M574
33.60
33.60 search
33.60 run=18 nbConstraintChecks=170512700 nbAssignments=190000
33.60 => wckTime=32.98 cpuTime=32.94 mem=5M574
35.38
35.38 search
35.38 run=19 nbConstraintChecks=179877203 nbAssignments=200000
35.38 => wckTime=34.759 cpuTime=34.72 mem=5M574
37.10
37.10 search
37.10 run=20 nbConstraintChecks=188793788 nbAssignments=210000
37.10 => wckTime=36.478 cpuTime=36.44 mem=5M574
37.92
37.92 search
37.92 run=21 nbConstraintChecks=193132329 nbAssignments=214720
37.92 => wckTime=37.304 cpuTime=37.27 mem=5M574
37.92
37.92 global
37.92 nbConstraintChecks=193132329 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.92 solvingWckTime=37.302 solvingCpuTime=37.26 expiredTime=no totalExploration=no nbFoundSolutions=0
37.92 globalCpuTime=37.52
37.92 => wckTime=37.624 cpuTime=37.47 mem=5M574
37.92
37.92 solver IterativeSystematicSolver being built...
38.05 => wckTime=37.752 cpuTime=37.57 mem=16M613
38.06
38.06 preprocessing
38.06 nbConstraintChecks=610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.06 detectedInconsistency=no
38.06 => wckTime=0.0060 cpuTime=0.01 mem=16M613
38.12
38.12 search
38.12 run=0 nbConstraintChecks=58075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52
38.12 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=73 nbRestartNogoods=0
38.12 => wckTime=0.064 cpuTime=0.04 mem=16M613
38.17
38.17 search
38.17 run=1 nbConstraintChecks=134694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109
38.17 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=159 nbRestartNogoods=3
38.17 => wckTime=0.113 cpuTime=0.08 mem=16M613
38.21
38.21 search
38.21 run=2 nbConstraintChecks=231309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=175
38.21 nbFailedAssignments=43 nbBacktracks=48 nbVisitedNodes=267 nbRestartNogoods=5
38.21 => wckTime=0.161 cpuTime=0.13 mem=16M613
38.28
38.28 search
38.28 run=3 nbConstraintChecks=389997 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=279
38.28 nbFailedAssignments=86 nbBacktracks=81 nbVisitedNodes=447 nbRestartNogoods=11
38.28 => wckTime=0.227 cpuTime=0.19 mem=16M613
38.37
38.37 search
38.37 run=4 nbConstraintChecks=590340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=401
38.37 nbFailedAssignments=133 nbBacktracks=132 nbVisitedNodes=667 nbRestartNogoods=14
38.37 => wckTime=0.317 cpuTime=0.28 mem=16M613
38.52
38.52 search
38.52 run=5 nbConstraintChecks=888650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=576
38.52 nbFailedAssignments=204 nbBacktracks=208 nbVisitedNodes=989 nbRestartNogoods=19
38.52 => wckTime=0.463 cpuTime=0.43 mem=16M613
38.74
38.74 search
38.74 run=6 nbConstraintChecks=1336938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=826
38.74 nbFailedAssignments=317 nbBacktracks=321 nbVisitedNodes=1465 nbRestartNogoods=26
38.74 => wckTime=0.683 cpuTime=0.65 mem=16M613
39.07
39.07 search
39.07 run=7 nbConstraintChecks=2166293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1256
39.07 nbFailedAssignments=551 nbBacktracks=491 nbVisitedNodes=2299 nbRestartNogoods=35
39.07 => wckTime=1.022 cpuTime=0.98 mem=16M613
39.52
39.52 search
39.52 run=8 nbConstraintChecks=3271241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1869
39.52 nbFailedAssignments=881 nbBacktracks=747 nbVisitedNodes=3498 nbRestartNogoods=38
39.52 => wckTime=1.464 cpuTime=1.41 mem=16M613
40.17
40.17 search
40.17 run=9 nbConstraintChecks=4931305 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2801
40.17 nbFailedAssignments=1399 nbBacktracks=1131 nbVisitedNodes=5332 nbRestartNogoods=44
40.17 => wckTime=2.119 cpuTime=2.06 mem=16M613
41.02
41.02 search
41.02 run=10 nbConstraintChecks=7054747 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3970
41.02 nbFailedAssignments=1969 nbBacktracks=1707 nbVisitedNodes=7647 nbRestartNogoods=49
41.02 => wckTime=2.967 cpuTime=2.9 mem=16M613
42.29
42.29 search
42.29 run=11 nbConstraintChecks=10597313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5943
42.29 nbFailedAssignments=3052 nbBacktracks=2571 nbVisitedNodes=11567 nbRestartNogoods=55
42.29 => wckTime=4.237 cpuTime=4.17 mem=16M613
44.57
44.57 search
44.57 run=12 nbConstraintChecks=16083109 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8832
44.57 nbFailedAssignments=4622 nbBacktracks=3868 nbVisitedNodes=17323 nbRestartNogoods=68
44.57 => wckTime=6.521 cpuTime=6.45 mem=16M613
47.33
47.33 search
47.33 run=13 nbConstraintChecks=23702410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12938
47.33 nbFailedAssignments=6752 nbBacktracks=5815 nbVisitedNodes=25506 nbRestartNogoods=79
47.33 => wckTime=9.282 cpuTime=9.21 mem=16M613
53.06
53.06 search
53.06 run=14 nbConstraintChecks=36963761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19999
53.06 nbFailedAssignments=10870 nbBacktracks=8736 nbVisitedNodes=39606 nbRestartNogoods=89
53.06 => wckTime=15.008 cpuTime=14.93 mem=16M613
60.22
60.22 search
60.22 run=15 nbConstraintChecks=54523901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29395
60.22 nbFailedAssignments=15863 nbBacktracks=13114 nbVisitedNodes=58373 nbRestartNogoods=96
60.22 => wckTime=22.168 cpuTime=22.09 mem=16M613
71.17
71.17 search
71.17 run=16 nbConstraintChecks=82219265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43353
71.17 nbFailedAssignments=23230 nbBacktracks=19682 nbVisitedNodes=86266 nbRestartNogoods=107
71.17 => wckTime=33.117 cpuTime=33.03 mem=16M613
92.12
92.12 search
92.12 run=17 nbConstraintChecks=133663992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69634
92.12 nbFailedAssignments=39640 nbBacktracks=29534 nbVisitedNodes=138809 nbRestartNogoods=113
92.12 => wckTime=54.063 cpuTime=53.97 mem=16M613
118.69
118.69 search
118.69 run=18 nbConstraintChecks=196068568 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102764
118.69 nbFailedAssignments=57969 nbBacktracks=44312 nbVisitedNodes=205046 nbRestartNogoods=120
118.69 => wckTime=80.634 cpuTime=80.54 mem=16M613
160.03
160.03 search
160.03 run=19 nbConstraintChecks=291336219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153194
160.03 nbFailedAssignments=86209 nbBacktracks=66481 nbVisitedNodes=305816 nbRestartNogoods=135
160.03 => wckTime=121.978 cpuTime=121.87 mem=16M613
214.80
214.80 search
214.80 run=20 nbConstraintChecks=414935143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=222326
214.80 nbFailedAssignments=122070 nbBacktracks=99734 nbVisitedNodes=444005 nbRestartNogoods=139
214.80 => wckTime=176.75 cpuTime=176.63 mem=16M613
316.17
316.17 search
316.17 run=21 nbConstraintChecks=640270075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=346532
316.17 nbFailedAssignments=196385 nbBacktracks=149612 nbVisitedNodes=691486 nbRestartNogoods=155
316.17 => wckTime=278.114 cpuTime=277.96 mem=16M613
444.22
444.22 search
444.22 run=22 nbConstraintChecks=918926032 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=504922
444.22 nbFailedAssignments=279942 nbBacktracks=224432 nbVisitedNodes=1003496 nbRestartNogoods=166
444.22 => wckTime=406.168 cpuTime=405.97 mem=16M613
633.78
633.78 search
633.78 run=23 nbConstraintChecks=1325860833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=757765
633.78 nbFailedAssignments=420531 nbBacktracks=336663 nbVisitedNodes=1498990 nbRestartNogoods=178
633.78 => wckTime=595.723 cpuTime=595.48 mem=16M613
841.30
841.30 search
841.30 run=24 nbConstraintChecks=1816199583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1087537
841.30 nbFailedAssignments=581943 nbBacktracks=505004 nbVisitedNodes=2144494 nbRestartNogoods=191
841.30 => wckTime=803.245 cpuTime=802.94 mem=16M613
1188.71
1188.71 search
1188.71 run=25 nbConstraintChecks=2548194287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1575833
1188.71 nbFailedAssignments=817707 nbBacktracks=757515 nbVisitedNodes=3096318 nbRestartNogoods=206
1188.71 => wckTime=1150.659 cpuTime=1150.25 mem=16M613
1586.16
1586.17 search
1586.17 run=26 nbConstraintChecks=3486189624 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2253806
1586.17 nbFailedAssignments=1116884 nbBacktracks=1136284 nbVisitedNodes=4398117 nbRestartNogoods=222
1586.17 => wckTime=1548.112 cpuTime=1547.5 mem=16M613
2270.29
2270.29 search
2270.29 run=27 nbConstraintChecks=4990947690 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3277001
2270.29 nbFailedAssignments=1571913 nbBacktracks=1704435 nbVisitedNodes=6409197 nbRestartNogoods=233
2270.29 => wckTime=2232.236 cpuTime=2231.43 mem=16M613
2400.93 v 4 1 3 0 2 2 4 1 4 1 0 0 1 2 0 1 2 2 4 2 2 2 0 4 4 2 3 0 0 1 4 2 3 3 0 4 1 1 3 4 3 2 4 3 3 2 3 2 0 4 2 4 4 1 2 3 1 2 3 4 0 2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-278921-1169289543 -o ROOT/results/node71/solver-278921-1169289543 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278921-1169289543/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: 0.91 1.02 1.44 3/65 29691
/proc/meminfo: memFree=1296232/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=168 CPUtime=0
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 76451245 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 1 0 0
/proc/29690/statm: 42 23 18 14 0 2 0
[startup+0.10702 s]
/proc/loadavg: 0.91 1.02 1.44 3/65 29691
/proc/meminfo: memFree=1296232/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=914988 CPUtime=0.09
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 3019 0 1 0 7 2 0 0 16 0 8 0 76451245 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515075 s]
/proc/loadavg: 0.91 1.02 1.44 3/65 29691
/proc/meminfo: memFree=1296232/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=915332 CPUtime=0.48
/proc/29690/stat : 29690 (java) S 29688 29690 28949 0 -1 0 6543 0 1 0 44 4 0 0 16 0 8 0 76451245 937299968 6282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 228833 6282 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33518 s]
/proc/loadavg: 0.91 1.02 1.44 2/72 29698
/proc/meminfo: memFree=1278064/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=915464 CPUtime=1.3
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 7227 0 1 0 110 20 0 0 17 0 8 0 76451245 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 228867 6965 2476 14 0 215337 0
[pid=29690/tid=29692] ppid=29688 vsize=915464 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 76451249 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29690/tid=29693] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=915468 CPUtime=0.12
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 346 0 0 0 12 0 0 0 16 0 8 0 76451253 937439232 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 76451253 937435136 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97141 s]
/proc/loadavg: 0.91 1.02 1.44 2/72 29698
/proc/meminfo: memFree=1278000/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=915464 CPUtime=2.94
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 7231 0 1 0 236 58 0 0 17 0 8 0 76451245 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 228866 6968 2476 14 0 215336 0
[pid=29690/tid=29692] ppid=29688 vsize=915468 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 76451249 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29690/tid=29693] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=915464 CPUtime=0.13
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 76451253 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=915468 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 76451253 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.17285 s]
/proc/loadavg: 0.92 1.02 1.43 2/72 29698
/proc/meminfo: memFree=1278008/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=915464 CPUtime=6.14
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 7231 0 1 0 486 128 0 0 17 0 8 0 76451245 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 228866 6968 2476 14 0 215336 0
[pid=29690/tid=29692] ppid=29688 vsize=915468 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 76451249 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=915464 CPUtime=0.13
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 76451253 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=915468 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 76451253 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464
[startup+12.6317 s]
/proc/loadavg: 0.93 1.02 1.43 2/72 29698
/proc/meminfo: memFree=1278008/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=915464 CPUtime=12.59
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 7232 0 1 0 978 281 0 0 18 0 8 0 76451245 937435136 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 228866 6969 2476 14 0 215336 0
[pid=29690/tid=29692] ppid=29688 vsize=915464 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 76451249 937435136 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=915468 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 937439232 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 937435136 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 937435136 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=915464 CPUtime=0.13
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 76451253 937435136 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=915464 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 937435136 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=915468 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 76451253 937439232 6969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.4815 s]
/proc/loadavg: 0.94 1.02 1.42 2/72 29698
/proc/meminfo: memFree=1278008/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=25.44
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 7233 0 1 0 1972 572 0 0 15 0 8 0 76451245 938483712 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 6970 2476 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916492 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938487808 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.13
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 76451253 938483712 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916492 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938487808 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 6970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 916488
[startup+51.164 s]
/proc/loadavg: 0.96 1.02 1.41 3/72 29698
/proc/meminfo: memFree=1270968/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=51.1
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9102 0 1 0 4256 854 0 0 25 0 8 0 76451245 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8834 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.21
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 403 0 0 0 20 1 0 0 16 0 8 0 76451253 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 916488
[startup+102.413 s]
/proc/loadavg: 0.98 1.01 1.39 2/72 29698
/proc/meminfo: memFree=1270904/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=102.34
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9113 0 1 0 9379 855 0 0 25 0 8 0 76451245 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8845 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 916488
[startup+162.495 s]
/proc/loadavg: 0.99 1.01 1.36 2/72 29698
/proc/meminfo: memFree=1270840/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=162.41
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9119 0 1 0 15386 855 0 0 25 0 8 0 76451245 938483712 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.39
Current children cumulated vsize (KiB) 916488
[startup+2085.19 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 29896
/proc/meminfo: memFree=1270392/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2084.46
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9139 0 1 0 207590 856 0 0 25 0 8 0 76451245 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8869 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.46
Current children cumulated vsize (KiB) 916488
[startup+2145.28 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 29896
/proc/meminfo: memFree=1270392/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2144.53
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9139 0 1 0 213597 856 0 0 25 0 8 0 76451245 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8869 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.53
Current children cumulated vsize (KiB) 916488
[startup+2205.36 s]
/proc/loadavg: 1.03 1.01 1.01 2/72 29896
/proc/meminfo: memFree=1270392/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2204.6
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9139 0 1 0 219604 856 0 0 25 0 8 0 76451245 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862606 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8869 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.6
Current children cumulated vsize (KiB) 916488
[startup+2265.46 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 29896
/proc/meminfo: memFree=1270392/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2264.67
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9139 0 1 0 225611 856 0 0 25 0 8 0 76451245 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8869 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.67
Current children cumulated vsize (KiB) 916488
[startup+2325.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29896
/proc/meminfo: memFree=1270456/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2324.73
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9141 0 1 0 231617 856 0 0 25 0 8 0 76451245 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8871 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.73
Current children cumulated vsize (KiB) 916488
[startup+2385.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29896
/proc/meminfo: memFree=1270456/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2384.8
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9141 0 1 0 237624 856 0 0 25 0 8 0 76451245 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8871 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.8
Current children cumulated vsize (KiB) 916488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29896
/proc/meminfo: memFree=1270456/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=916488 CPUtime=2400.1
/proc/29690/stat : 29690 (java) R 29688 29690 28949 0 -1 0 9141 0 1 0 239154 856 0 0 25 0 8 0 76451245 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29690/statm: 229122 8871 2527 14 0 215592 0
[pid=29690/tid=29692] ppid=29688 vsize=916488 CPUtime=0.02
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 28949 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 76451249 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 28949 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 28949 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76451250 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 28949 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=916488 CPUtime=0.22
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 28949 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 28949 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=916488 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 28949 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 76451253 938483712 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 916488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.97
CPU time (s): 2400.15
CPU user time (s): 2391.58
CPU system time (s): 8.5727
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.58
system time used= 8.5727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9164
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= 49454
involuntary context switches= 1643
runsolver used 2.52262 s user time and 5.99709 s system time
The end
Begin job on node71 on Sat Jan 20 10:39:03 UTC 2007
IDJOB= 278921
IDBENCH= 9101
IDSOLVER= 69
FILE ID= node71/278921-1169289543
PBS_JOBID= 3609744
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/kbtree-5-2-4-5-60-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278921-1169289543/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-278921-1169289543 -o ROOT/results/node71/solver-278921-1169289543 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278921-1169289543/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 41d347fbeffe46f3a1bd757198d5bbb4
RANDOM SEED= 551642245
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.236
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.236
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: 1296776 kB
Buffers: 51448 kB
Cached: 617808 kB
SwapCached: 0 kB
Active: 119108 kB
Inactive: 565512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1776 kB
Writeback: 0 kB
Mapped: 25568 kB
Slab: 60544 kB
Committed_AS: 759036 kB
PageTables: 1448 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= 66563 MiB
End job on node71 on Sat Jan 20 11:19:05 UTC 2007