0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275401-1169221309/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=346 nbRelationTypes=346 nbExtensionStructures=346 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=346 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3145 maxDegree=24
0.65 maxArity=2
0.65 => wckTime=0.331 cpuTime=0.23 mem=13M746
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.42 cpuTime=0.28 mem=6M71
0.74
0.74 s SATISFIABLE
0.74 o 261
0.74 c 85
0.74 o 266
0.74 c 80
0.74 o 272
0.74 c 74
0.75 o 275
0.75 c 71
0.75 o 277
0.75 c 69
0.75 o 280
0.75 c 66
0.75 o 283
0.75 c 63
0.75 o 285
0.75 c 61
0.75 o 288
0.75 c 58
0.75 o 290
0.75 c 56
0.75 o 293
0.75 c 53
0.76 o 295
0.76 c 51
0.76 o 296
0.76 c 50
0.76 o 297
0.76 c 49
0.76 o 298
0.76 c 48
0.76 o 300
0.76 c 46
0.76 o 302
0.76 c 44
0.76 o 305
0.76 c 41
0.76 o 307
0.76 c 39
0.76 o 309
0.76 c 37
0.76 o 310
0.76 c 36
0.76 o 311
0.76 c 35
0.76 o 314
0.76 c 32
0.76 o 315
0.76 c 31
0.77 o 317
0.77 c 29
0.77 o 319
0.77 c 27
0.77 o 321
0.77 c 25
0.77 o 322
0.77 c 24
0.77 o 324
0.77 c 22
0.77 o 325
0.77 c 21
0.78 o 326
0.78 c 20
0.78 o 327
0.78 c 19
0.79 o 329
0.79 c 17
0.79 o 330
0.79 c 16
0.79 o 331
0.79 c 15
0.80 o 332
0.80 c 14
0.81 o 333
0.81 c 13
0.81 o 334
0.81 c 12
0.82 o 335
0.82 c 11
0.82 o 336
0.82 c 10
0.82 o 337
0.82 c 9
0.83 o 338
0.83 c 8
0.83 o 339
0.83 c 7
0.91 o 340
0.91 c 6
0.97 o 341
0.97 c 5
1.12 o 342
1.12 c 4
1.12 o 343
1.12 c 3
1.18 o 344
1.18 c 2
3.19 o 345
3.19 c 1
3.19
3.19 search
3.19 run=0 nbConstraintChecks=17170681 nbAssignments=7367
3.19 => wckTime=2.46 cpuTime=2.41 mem=6M71
3.20
3.20 global
3.20 nbConstraintChecks=17170681 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.20 solvingWckTime=2.458 solvingCpuTime=2.42 expiredTime=no totalExploration=no nbFoundSolutions=0
3.20 globalCpuTime=2.75
3.20 => wckTime=2.881 cpuTime=2.7 mem=6M71
3.20
3.20 solver IterativeSystematicSolver being built...
3.33 => wckTime=3.012 cpuTime=2.79 mem=16M946
3.44
3.44 preprocessing
3.44 nbConstraintChecks=144935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.44 detectedInconsistency=no
3.44 => wckTime=0.107 cpuTime=0.08 mem=16M946
3.49
3.49 search
3.49 run=0 nbConstraintChecks=184095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
3.49 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
3.49 => wckTime=0.164 cpuTime=0.14 mem=16M946
3.58
3.58 search
3.58 run=1 nbConstraintChecks=473640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
3.58 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=176 nbRestartNogoods=11
3.58 => wckTime=0.249 cpuTime=0.22 mem=16M946
3.67
3.67 search
3.67 run=2 nbConstraintChecks=832135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164
3.67 nbFailedAssignments=98 nbBacktracks=47 nbVisitedNodes=309 nbRestartNogoods=31
3.67 => wckTime=0.339 cpuTime=0.3 mem=16M946
3.80
3.80 search
3.80 run=3 nbConstraintChecks=1336702 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=278
3.80 nbFailedAssignments=173 nbBacktracks=81 nbVisitedNodes=530 nbRestartNogoods=65
3.80 => wckTime=0.47 cpuTime=0.43 mem=16M946
3.99
3.99 search
3.99 run=4 nbConstraintChecks=2186439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458
3.99 nbFailedAssignments=296 nbBacktracks=131 nbVisitedNodes=882 nbRestartNogoods=78
3.99 => wckTime=0.664 cpuTime=0.62 mem=16M946
4.30
4.30 search
4.30 run=5 nbConstraintChecks=3552764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=678
4.30 nbFailedAssignments=436 nbBacktracks=206 nbVisitedNodes=1317 nbRestartNogoods=105
4.30 => wckTime=0.975 cpuTime=0.93 mem=16M946
4.67
4.67 search
4.67 run=6 nbConstraintChecks=5103134 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1000
4.67 nbFailedAssignments=638 nbBacktracks=319 nbVisitedNodes=1951 nbRestartNogoods=138
4.67 => wckTime=1.34 cpuTime=1.28 mem=16M946
5.23
5.23 search
5.23 run=7 nbConstraintChecks=7550001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1489
5.23 nbFailedAssignments=952 nbBacktracks=489 nbVisitedNodes=2921 nbRestartNogoods=152
5.23 => wckTime=1.898 cpuTime=1.83 mem=16M946
5.98
5.98 search
5.98 run=8 nbConstraintChecks=10965681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2241
5.98 nbFailedAssignments=1441 nbBacktracks=745 nbVisitedNodes=4412 nbRestartNogoods=156
5.98 => wckTime=2.653 cpuTime=2.56 mem=16M946
7.57
7.57 search
7.57 run=9 nbConstraintChecks=18346593 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3447
7.57 nbFailedAssignments=2258 nbBacktracks=1129 nbVisitedNodes=6802 nbRestartNogoods=191
7.57 => wckTime=4.239 cpuTime=4.13 mem=16M946
10.04
10.04 search
10.04 run=10 nbConstraintChecks=28947058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5232
10.04 nbFailedAssignments=3461 nbBacktracks=1705 nbVisitedNodes=10313 nbRestartNogoods=231
10.04 => wckTime=6.715 cpuTime=6.59 mem=16M946
12.95
12.95 search
12.95 run=11 nbConstraintChecks=42223294 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7836
12.95 nbFailedAssignments=5194 nbBacktracks=2569 nbVisitedNodes=15455 nbRestartNogoods=249
12.95 => wckTime=9.625 cpuTime=9.46 mem=16M946
17.84
17.84 search
17.84 run=12 nbConstraintChecks=64222816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11571
17.84 nbFailedAssignments=7625 nbBacktracks=3866 nbVisitedNodes=22748 nbRestartNogoods=275
17.84 => wckTime=14.509 cpuTime=14.31 mem=16M946
24.30
24.30 search
24.30 run=13 nbConstraintChecks=91475024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16207
24.30 nbFailedAssignments=10311 nbBacktracks=5812 nbVisitedNodes=31369 nbRestartNogoods=289
24.30 => wckTime=20.975 cpuTime=20.72 mem=16M946
33.22
33.22 search
33.22 run=14 nbConstraintChecks=128112245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22652
33.22 nbFailedAssignments=13828 nbBacktracks=8731 nbVisitedNodes=42803 nbRestartNogoods=307
33.22 => wckTime=29.896 cpuTime=29.56 mem=16M946
45.13
45.13 search
45.13 run=15 nbConstraintChecks=178595145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32253
45.13 nbFailedAssignments=19044 nbBacktracks=13109 nbVisitedNodes=59824 nbRestartNogoods=343
45.13 => wckTime=41.803 cpuTime=41.36 mem=16M946
62.62
62.62 search
62.62 run=16 nbConstraintChecks=246490503 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44856
62.62 nbFailedAssignments=25074 nbBacktracks=19677 nbVisitedNodes=80530 nbRestartNogoods=356
62.62 => wckTime=59.294 cpuTime=58.69 mem=16M946
87.07
87.07 search
87.07 run=17 nbConstraintChecks=344016730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63194
87.07 nbFailedAssignments=33553 nbBacktracks=29530 nbVisitedNodes=109935 nbRestartNogoods=391
87.07 => wckTime=83.744 cpuTime=82.94 mem=16M946
121.35
121.35 search
121.35 run=18 nbConstraintChecks=480744187 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89462
121.35 nbFailedAssignments=45035 nbBacktracks=44312 nbVisitedNodes=151052 nbRestartNogoods=425
121.35 => wckTime=118.018 cpuTime=116.91 mem=16M946
171.35
171.35 search
171.35 run=19 nbConstraintChecks=674691919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127516
171.35 nbFailedAssignments=60915 nbBacktracks=66482 nbVisitedNodes=209385 nbRestartNogoods=451
171.35 => wckTime=168.025 cpuTime=166.5 mem=16M946
250.77
250.77 search
250.77 run=20 nbConstraintChecks=978690667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=185563
250.77 nbFailedAssignments=85703 nbBacktracks=99735 nbVisitedNodes=298870 nbRestartNogoods=462
250.77 => wckTime=247.441 cpuTime=245.24 mem=16M946
370.13
370.13 search
370.13 run=21 nbConstraintChecks=1445040669 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=273038
370.13 nbFailedAssignments=123293 nbBacktracks=149615 nbVisitedNodes=434756 nbRestartNogoods=485
370.13 => wckTime=366.798 cpuTime=363.53 mem=16M946
541.13
541.13 search
541.13 run=22 nbConstraintChecks=2115279292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=401447
541.13 nbFailedAssignments=176878 nbBacktracks=224433 nbVisitedNodes=632454 nbRestartNogoods=522
541.13 => wckTime=537.802 cpuTime=533.08 mem=16M946
804.82
804.82 search
804.82 run=23 nbConstraintChecks=3143889283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=596371
804.82 nbFailedAssignments=259570 nbBacktracks=336661 nbVisitedNodes=933000 nbRestartNogoods=530
804.82 => wckTime=801.493 cpuTime=794.54 mem=16M946
1198.02
1198.02 search
1198.02 run=24 nbConstraintChecks=4672970976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=888006
1198.02 nbFailedAssignments=382857 nbBacktracks=505002 nbVisitedNodes=1382172 nbRestartNogoods=538
1198.02 => wckTime=1194.696 cpuTime=1185.05 mem=16M946
1771.55
1771.55 search
1771.55 run=25 nbConstraintChecks=6949857516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1322325
1771.55 nbFailedAssignments=564662 nbBacktracks=757514 nbVisitedNodes=2048534 nbRestartNogoods=559
1771.55 => wckTime=1768.221 cpuTime=1755.95 mem=16M946
2415.73 v 8 9 18 14 12 5 5 2 10 15 15 8 9 3 15 5 14 18 2 6 12 0 10 10 16 0 7 18 6 6 14 10 8 6 11 8 16 7 13 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-275401-1169221309 -o ROOT/results/node12/solver-275401-1169221309 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275401-1169221309/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 1.97 1.99 4/87 26514
/proc/meminfo: memFree=1362200/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=18540 CPUtime=0
/proc/26513/stat : 26513 (runsolver) R 26511 26513 25484 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270526014 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26513/statm: 4635 279 244 17 0 2626 0
[startup+0.102866 s]
/proc/loadavg: 1.85 1.97 1.99 4/87 26514
/proc/meminfo: memFree=1362200/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=914988 CPUtime=0.07
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 2958 0 1 0 6 1 0 0 17 0 8 0 270526014 936947712 2704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228747 2704 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.514127 s]
/proc/loadavg: 1.85 1.97 1.99 4/87 26514
/proc/meminfo: memFree=1362200/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915332 CPUtime=0.48
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 6767 0 1 0 44 4 0 0 18 0 8 0 270526014 937299968 6506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228833 6506 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33708 s]
/proc/loadavg: 1.85 1.97 1.99 3/94 26521
/proc/meminfo: memFree=1339296/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=1.29
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 8382 0 1 0 116 13 0 0 25 0 8 0 270526014 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8120 2479 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 295 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.14
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.99038 s]
/proc/loadavg: 1.85 1.97 1.99 3/94 26521
/proc/meminfo: memFree=1339232/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2.93
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 8383 0 1 0 261 32 0 0 25 0 8 0 270526014 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8120 2479 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 295 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.14
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.27297 s]
/proc/loadavg: 1.86 1.97 1.99 3/94 26521
/proc/meminfo: memFree=1336160/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=6.18
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9201 0 1 0 583 35 0 0 25 0 8 0 270526014 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8935 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 17 0 8 0 270526018 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.25
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 270526022 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7621 s]
/proc/loadavg: 1.87 1.97 1.99 3/94 26521
/proc/meminfo: memFree=1336104/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=12.61
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9210 0 1 0 1226 35 0 0 25 0 8 0 270526014 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8943 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 406 0 0 0 25 1 0 0 15 0 8 0 270526022 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6125 s]
/proc/loadavg: 1.90 1.97 1.99 3/94 26521
/proc/meminfo: memFree=1336168/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=25.35
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9219 0 1 0 2500 35 0 0 25 0 8 0 270526014 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8951 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2251 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 26521
/proc/meminfo: memFree=1336232/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=50.74
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9225 0 1 0 5039 35 0 0 25 0 8 0 270526014 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8956 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915464
[startup+102.45 s]
/proc/loadavg: 2.02 1.99 1.99 4/94 26521
/proc/meminfo: memFree=1336232/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=101.53
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9232 0 1 0 10117 36 0 0 25 0 8 0 270526014 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26513/statm: 228866 8962 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 15 0 8 0 270526022 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270526022 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915464
[startup+162.512 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 26521
/proc/meminfo: memFree=1336232/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=161.08
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9235 0 1 0 16072 36 0 0 25 0 8 0 270526014 937435136 8965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2010.34
Current children cumulated vsize (KiB) 915464
[startup+2083.99 s]
/proc/loadavg: 2.09 2.03 2.00 3/101 26876
/proc/meminfo: memFree=1380656/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2070.06
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 206958 48 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.06
Current children cumulated vsize (KiB) 915464
[startup+2144.03 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 26876
/proc/meminfo: memFree=1380656/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2129.76
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 212927 49 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.76
Current children cumulated vsize (KiB) 915464
[startup+2204.06 s]
/proc/loadavg: 2.08 2.05 2.01 3/101 26876
/proc/meminfo: memFree=1380656/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2189.48
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 218899 49 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918845 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.48
Current children cumulated vsize (KiB) 915464
[startup+2264.1 s]
/proc/loadavg: 2.03 2.04 2.00 3/101 26876
/proc/meminfo: memFree=1380656/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2249.2
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 224871 49 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.2
Current children cumulated vsize (KiB) 915464
[startup+2324.13 s]
/proc/loadavg: 2.01 2.03 2.00 3/101 26876
/proc/meminfo: memFree=1380656/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2308.88
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 230839 49 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.88
Current children cumulated vsize (KiB) 915464
[startup+2384.17 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 26878
/proc/meminfo: memFree=1380464/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2368.61
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 236811 50 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.61
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2415.73 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 26878
/proc/meminfo: memFree=1380528/2055920 swapFree=4160348/4192956
[pid=26513] ppid=26511 vsize=915464 CPUtime=2400
/proc/26513/stat : 26513 (java) R 26511 26513 25484 0 -1 0 9253 0 1 0 239950 50 0 0 25 0 8 0 270526014 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26513/statm: 228866 8982 2532 14 0 215336 0
[pid=26513/tid=26515] ppid=26511 vsize=915464 CPUtime=0.03
/proc/26513/task/26515/stat : 26515 (java) S 26511 26513 25484 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526018 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26516] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26516/stat : 26516 (java) S 26511 26513 25484 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26517] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26517/stat : 26517 (java) S 26511 26513 25484 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526019 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26518] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26518/stat : 26518 (java) S 26511 26513 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26519] ppid=26511 vsize=915464 CPUtime=0.26
/proc/26513/task/26519/stat : 26519 (java) S 26511 26513 25484 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26520] ppid=26511 vsize=915464 CPUtime=0
/proc/26513/task/26520/stat : 26520 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26513/tid=26521] ppid=26511 vsize=915464 CPUtime=0.01
/proc/26513/task/26521/stat : 26521 (java) S 26511 26513 25484 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270526022 937435136 8982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2415.78
CPU time (s): 2400.05
CPU user time (s): 2399.54
CPU system time (s): 0.508922
CPU usage (%): 99.349
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.54
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9276
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= 50062
involuntary context switches= 100152
runsolver used 3.03154 s user time and 7.2659 s system time
The end
Begin job on node12 on Fri Jan 19 15:41:50 UTC 2007
IDJOB= 275401
IDBENCH= 3870
IDSOLVER= 68
FILE ID= node12/275401-1169221309
PBS_JOBID= 3588917
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275401-1169221309/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-275401-1169221309 -o ROOT/results/node12/solver-275401-1169221309 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275401-1169221309/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 745238c24d77c42b64b045bb1e956fec
RANDOM SEED= 36738796
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.265
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.265
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: 1362616 kB
Buffers: 57712 kB
Cached: 475480 kB
SwapCached: 5164 kB
Active: 285596 kB
Inactive: 333880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1362616 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 96676 kB
Slab: 58708 kB
Committed_AS: 7415512 kB
PageTables: 2184 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 node12 on Fri Jan 19 16:22:06 UTC 2007