0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=pfc.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/277121-1169257068/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.51 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.51 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.51
0.51 relations being loaded...
0.59
0.59 constraints being loaded...
0.69 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1408 maxDegree=18
0.69 maxArity=2
0.69 => wckTime=0.277 cpuTime=0.2 mem=11M786
0.73
0.73 solver LocalSearchSolver being built...
0.78 => wckTime=0.362 cpuTime=0.24 mem=5M872
0.78
0.78 s SATISFIABLE
0.78 o 173
0.78 c 77
0.78 o 179
0.78 c 71
0.78 o 185
0.78 c 65
0.78 o 189
0.78 c 61
0.79 o 193
0.79 c 57
0.79 o 197
0.79 c 53
0.79 o 199
0.79 c 51
0.79 o 201
0.79 c 49
0.79 o 202
0.79 c 48
0.79 o 205
0.79 c 45
0.79 o 207
0.79 c 43
0.79 o 208
0.79 c 42
0.79 o 210
0.79 c 40
0.79 o 212
0.79 c 38
0.79 o 213
0.79 c 37
0.80 o 214
0.80 c 36
0.80 o 217
0.80 c 33
0.80 o 218
0.80 c 32
0.80 o 221
0.80 c 29
0.80 o 223
0.80 c 27
0.80 o 225
0.80 c 25
0.80 o 226
0.80 c 24
0.80 o 227
0.81 c 23
0.81 o 229
0.81 c 21
0.81 o 230
0.81 c 20
0.81 o 231
0.81 c 19
0.81 o 232
0.81 c 18
0.81 o 233
0.81 c 17
0.81 o 234
0.81 c 16
0.81 o 237
0.81 c 13
0.81 o 238
0.81 c 12
0.81 o 239
0.81 c 11
0.81 o 240
0.81 c 10
0.82 o 241
0.82 c 9
0.84 o 242
0.84 c 8
0.85 o 243
0.85 c 7
0.86 o 244
0.86 c 6
0.86 o 245
0.86 c 5
0.86 o 246
0.86 c 4
0.86 o 247
0.86 c 3
0.92 o 248
0.92 c 2
3.18
3.18 search
3.18 run=0 nbConstraintChecks=15565315 nbAssignments=10000
3.18 => wckTime=2.402 cpuTime=2.38 mem=5M872
5.59
5.59 search
5.59 run=1 nbConstraintChecks=31726502 nbAssignments=20000
5.59 => wckTime=4.812 cpuTime=4.78 mem=5M872
6.23 o 249
6.23 c 1
6.23
6.23 search
6.23 run=2 nbConstraintChecks=35884357 nbAssignments=23021
6.23 => wckTime=5.454 cpuTime=5.43 mem=5M872
6.23
6.23 global
6.23 nbConstraintChecks=35884357 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.23 solvingWckTime=5.452 solvingCpuTime=5.43 expiredTime=no totalExploration=no nbFoundSolutions=0
6.23 globalCpuTime=5.72
6.23 => wckTime=5.816 cpuTime=5.67 mem=5M872
6.23
6.23 solver IterativeSystematicSolver being built...
6.35 => wckTime=5.936 cpuTime=5.76 mem=16M772
6.36
6.36 preprocessing
6.36 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
6.36 detectedInconsistency=no
6.36 => wckTime=0.0050 cpuTime=0.01 mem=16M772
6.43
6.43 search
6.43 run=0 nbConstraintChecks=129457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
6.43 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=67 nbRestartNogoods=0
6.43 => wckTime=0.077 cpuTime=0.06 mem=16M772
6.49
6.49 search
6.49 run=1 nbConstraintChecks=309290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78
6.49 nbFailedAssignments=45 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=3
6.49 => wckTime=0.141 cpuTime=0.11 mem=16M772
6.55
6.55 search
6.55 run=2 nbConstraintChecks=533697 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
6.55 nbFailedAssignments=81 nbBacktracks=47 nbVisitedNodes=266 nbRestartNogoods=7
6.55 => wckTime=0.201 cpuTime=0.17 mem=16M772
6.63
6.63 search
6.63 run=3 nbConstraintChecks=856706 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=233
6.63 nbFailedAssignments=132 nbBacktracks=80 nbVisitedNodes=440 nbRestartNogoods=15
6.63 => wckTime=0.279 cpuTime=0.25 mem=16M772
6.74
6.74 search
6.74 run=4 nbConstraintChecks=1307425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=355
6.74 nbFailedAssignments=198 nbBacktracks=130 nbVisitedNodes=677 nbRestartNogoods=32
6.74 => wckTime=0.385 cpuTime=0.35 mem=16M772
6.93
6.93 search
6.93 run=5 nbConstraintChecks=2060833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=560
6.93 nbFailedAssignments=322 nbBacktracks=205 nbVisitedNodes=1077 nbRestartNogoods=38
6.93 => wckTime=0.583 cpuTime=0.55 mem=16M772
7.22
7.22 search
7.22 run=6 nbConstraintChecks=3236976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=860
7.22 nbFailedAssignments=501 nbBacktracks=318 nbVisitedNodes=1662 nbRestartNogoods=44
7.22 => wckTime=0.873 cpuTime=0.84 mem=16M772
7.67
7.67 search
7.67 run=7 nbConstraintChecks=5033217 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1305
7.67 nbFailedAssignments=771 nbBacktracks=488 nbVisitedNodes=2540 nbRestartNogoods=54
7.67 => wckTime=1.318 cpuTime=1.28 mem=16M772
8.36
8.36 search
8.36 run=8 nbConstraintChecks=7658949 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1979
8.36 nbFailedAssignments=1182 nbBacktracks=745 nbVisitedNodes=3851 nbRestartNogoods=77
8.36 => wckTime=2.011 cpuTime=1.95 mem=16M772
9.27
9.27 search
9.27 run=9 nbConstraintChecks=11531328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2980
9.27 nbFailedAssignments=1793 nbBacktracks=1129 nbVisitedNodes=5824 nbRestartNogoods=87
9.27 => wckTime=2.92 cpuTime=2.85 mem=16M772
10.74
10.74 search
10.74 run=10 nbConstraintChecks=17051177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4382
10.74 nbFailedAssignments=2614 nbBacktracks=1705 nbVisitedNodes=8456 nbRestartNogoods=100
10.74 => wckTime=4.39 cpuTime=4.33 mem=16M772
12.86
12.86 search
12.86 run=11 nbConstraintChecks=25240680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6456
12.86 nbFailedAssignments=3820 nbBacktracks=2569 nbVisitedNodes=12364 nbRestartNogoods=122
12.86 => wckTime=6.509 cpuTime=6.45 mem=16M772
15.70
15.70 search
15.70 run=12 nbConstraintChecks=35983587 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9287
15.70 nbFailedAssignments=5350 nbBacktracks=3866 nbVisitedNodes=17468 nbRestartNogoods=132
15.70 => wckTime=9.348 cpuTime=9.28 mem=16M772
19.75
19.75 search
19.75 run=13 nbConstraintChecks=51999112 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13432
19.75 nbFailedAssignments=7543 nbBacktracks=5813 nbVisitedNodes=24736 nbRestartNogoods=139
19.75 => wckTime=13.396 cpuTime=13.33 mem=16M772
24.41
24.41 search
24.41 run=14 nbConstraintChecks=70596126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18880
24.41 nbFailedAssignments=10068 nbBacktracks=8733 nbVisitedNodes=33647 nbRestartNogoods=152
24.41 => wckTime=18.064 cpuTime=18.0 mem=16M772
31.11
31.11 search
31.11 run=15 nbConstraintChecks=96579859 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26691
31.11 nbFailedAssignments=13498 nbBacktracks=13111 nbVisitedNodes=46102 nbRestartNogoods=161
31.11 => wckTime=24.763 cpuTime=24.69 mem=16M772
40.01
40.01 search
40.01 run=16 nbConstraintChecks=132513265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37732
40.01 nbFailedAssignments=17963 nbBacktracks=19679 nbVisitedNodes=62900 nbRestartNogoods=171
40.01 => wckTime=33.657 cpuTime=33.58 mem=16M772
53.25
53.25 search
53.25 run=17 nbConstraintChecks=185759255 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54029
53.25 nbFailedAssignments=24400 nbBacktracks=29533 nbVisitedNodes=87475 nbRestartNogoods=181
53.25 => wckTime=46.895 cpuTime=46.81 mem=16M772
72.60
72.60 search
72.60 run=18 nbConstraintChecks=263320737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78108
72.60 nbFailedAssignments=33692 nbBacktracks=44311 nbVisitedNodes=123527 nbRestartNogoods=189
72.60 => wckTime=66.248 cpuTime=66.16 mem=16M772
99.40
99.41 search
99.41 run=19 nbConstraintChecks=372720044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113585
99.41 nbFailedAssignments=46995 nbBacktracks=66480 nbVisitedNodes=175909 nbRestartNogoods=196
99.41 => wckTime=93.054 cpuTime=92.96 mem=16M772
140.79
140.79 search
140.79 run=20 nbConstraintChecks=540513071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166627
140.79 nbFailedAssignments=66778 nbBacktracks=99732 nbVisitedNodes=253950 nbRestartNogoods=203
140.79 => wckTime=134.435 cpuTime=134.32 mem=16M772
202.57
202.57 search
202.57 run=21 nbConstraintChecks=793038444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246291
202.57 nbFailedAssignments=96558 nbBacktracks=149610 nbVisitedNodes=371383 nbRestartNogoods=211
202.57 => wckTime=196.224 cpuTime=196.09 mem=16M772
295.49
295.49 search
295.49 run=22 nbConstraintChecks=1171903369 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=365470
295.49 nbFailedAssignments=140912 nbBacktracks=224428 nbVisitedNodes=546328 nbRestartNogoods=228
295.49 => wckTime=289.138 cpuTime=288.98 mem=16M772
324.02
324.02 search
324.02 run=23 nbConstraintChecks=1287250436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=402782
324.02 nbFailedAssignments=154499 nbBacktracks=248154 nbVisitedNodes=600853 nbRestartNogoods=235
324.02 => wckTime=317.672 cpuTime=317.5 mem=16M772
324.02
324.02 global
324.02 nbConstraintChecks=1287250436 nbRestartNogoods=235 solvingWckTime=317.672 solvingCpuTime=317.51 expiredTime=no
324.02 totalExploration=yes nbFoundSolutions=0 globalCpuTime=323.32
324.02 => wckTime=323.61 cpuTime=323.27 mem=16M772
324.03
324.03 s OPTIMUM FOUND
324.03 v 8 2 8 4 3 1 1 12 9 15 7 12 3 1 10 15 6 0 5 8 2 4 13 10 6 8 8 0 0 0 15 10 13 11 2 1 4 6 13 7
324.03
324.03 totalWckTime=323.685 totalCpuTime=323.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-277121-1169257068 -o ROOT/results/node18/solver-277121-1169257068 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277121-1169257068/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.12 1.52 4/78 6939
/proc/meminfo: memFree=1307432/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=292 CPUtime=0
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 274101462 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0
/proc/6938/statm: 77 40 31 14 0 5 0
[startup+0.102765 s]
/proc/loadavg: 0.91 1.12 1.52 4/78 6939
/proc/meminfo: memFree=1307432/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=47976 CPUtime=0
/proc/6938/stat : 6938 (java) D 6936 6938 6113 0 -1 0 1223 0 1 0 0 0 0 0 18 0 1 0 274101462 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/6938/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.510806 s]
/proc/loadavg: 0.91 1.12 1.52 4/78 6939
/proc/meminfo: memFree=1307432/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915332 CPUtime=0.36
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 6111 0 1 0 32 4 0 0 16 0 8 0 274101462 937299968 5850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228833 5850 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 915332
[startup+1.33188 s]
/proc/loadavg: 0.91 1.12 1.52 2/85 6946
/proc/meminfo: memFree=1286512/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915468 CPUtime=1.18
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 7897 0 1 0 105 13 0 0 17 0 8 0 274101462 937439232 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 7635 2476 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915468 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937439232 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.13
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 274101481 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915468 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937439232 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915468
[startup+2.96904 s]
/proc/loadavg: 0.91 1.12 1.52 2/85 6946
/proc/meminfo: memFree=1286448/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=2.82
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 7898 0 1 0 244 38 0 0 17 0 8 0 274101462 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 7635 2476 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915468 CPUtime=0.13
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 274101481 937439232 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 7635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915464
[startup+6.27136 s]
/proc/loadavg: 0.92 1.12 1.52 2/85 6946
/proc/meminfo: memFree=1286320/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=6.12
/proc/6938/stat : 6938 (java) S 6936 6938 6113 0 -1 0 7930 0 1 0 519 93 0 0 16 0 8 0 274101462 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6938/statm: 228866 7667 2487 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.14
/proc/6938/task/6944/stat : 6944 (java) R 6936 6938 6113 0 -1 64 356 0 0 0 14 0 0 0 16 0 8 0 274101481 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155059841 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 7667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915464
[startup+12.733 s]
/proc/loadavg: 0.93 1.12 1.51 2/85 6946
/proc/meminfo: memFree=1281712/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=12.57
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9128 0 1 0 1163 94 0 0 19 0 8 0 274101462 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8860 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 406 0 0 0 22 0 0 0 15 0 8 0 274101481 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464
[startup+25.5822 s]
/proc/loadavg: 0.94 1.11 1.50 2/85 6946
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=25.41
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9137 0 1 0 2447 94 0 0 25 0 8 0 274101462 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851575 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8869 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 406 0 0 0 22 0 0 0 15 0 8 0 274101481 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915464
[startup+51.2668 s]
/proc/loadavg: 0.96 1.10 1.49 2/85 6946
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=51.09
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9143 0 1 0 5015 94 0 0 25 0 8 0 274101462 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8874 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 406 0 0 0 22 0 0 0 16 0 8 0 274101481 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915464
[startup+102.527 s]
/proc/loadavg: 0.98 1.08 1.46 2/85 6946
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=102.34
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9152 0 1 0 10139 95 0 0 25 0 8 0 274101462 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8882 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 407 0 0 0 22 0 0 0 16 0 8 0 274101481 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8882 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+162.618 s]
/proc/loadavg: 0.99 1.06 1.43 2/85 6946
/proc/meminfo: memFree=1281584/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=162.41
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9154 0 1 0 16146 95 0 0 25 0 8 0 274101462 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8884 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 407 0 0 0 22 0 0 0 16 0 8 0 274101481 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.41
Current children cumulated vsize (KiB) 915464
[startup+222.715 s]
/proc/loadavg: 0.99 1.05 1.40 3/85 6946
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=222.49
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9157 0 1 0 22154 95 0 0 25 0 8 0 274101462 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8887 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 407 0 0 0 22 0 0 0 16 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (KiB) 915464
[startup+282.806 s]
/proc/loadavg: 0.99 1.04 1.37 2/85 6946
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=6938] ppid=6936 vsize=915464 CPUtime=282.57
/proc/6938/stat : 6938 (java) R 6936 6938 6113 0 -1 0 9157 0 1 0 28162 95 0 0 25 0 8 0 274101462 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6938/statm: 228866 8887 2527 14 0 215336 0
[pid=6938/tid=6940] ppid=6936 vsize=915464 CPUtime=0.02
/proc/6938/task/6940/stat : 6940 (java) S 6936 6938 6113 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274101478 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6941] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6941/stat : 6941 (java) S 6936 6938 6113 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6942] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6942/stat : 6942 (java) S 6936 6938 6113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274101478 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6943] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6943/stat : 6943 (java) S 6936 6938 6113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6944] ppid=6936 vsize=915464 CPUtime=0.22
/proc/6938/task/6944/stat : 6944 (java) S 6936 6938 6113 0 -1 64 407 0 0 0 22 0 0 0 16 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6938/tid=6945] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6945/stat : 6945 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6938/tid=6946] ppid=6936 vsize=915464 CPUtime=0
/proc/6938/task/6946/stat : 6946 (java) S 6936 6938 6113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274101481 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.57
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 324.074
CPU time (s): 323.797
CPU user time (s): 322.833
CPU system time (s): 0.963853
CPU usage (%): 99.9143
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 322.833
system time used= 0.963853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9256
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= 7502
involuntary context switches= 975
runsolver used 0.333949 s user time and 0.820875 s system time
The end
Begin job on node18 on Sat Jan 20 01:37:48 UTC 2007
IDJOB= 277121
IDBENCH= 6282
IDSOLVER= 69
FILE ID= node18/277121-1169257068
PBS_JOBID= 3589098
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277121-1169257068/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-277121-1169257068 -o ROOT/results/node18/solver-277121-1169257068 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277121-1169257068/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 89930ff3a56a06b2255baa2b0edc5800
RANDOM SEED= 181844341
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.231
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.231
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: 1307848 kB
Buffers: 52168 kB
Cached: 561192 kB
SwapCached: 0 kB
Active: 242884 kB
Inactive: 426548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1307848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1820 kB
Writeback: 0 kB
Mapped: 75100 kB
Slab: 64268 kB
Committed_AS: 8212200 kB
PageTables: 1720 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 node18 on Sat Jan 20 01:43:12 UTC 2007