0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=epfc.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/275933-1169229539/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=36 nbDomainTypes=2 minDomainSize=25 maxDomainSize=26
0.49 => wckTime=0.096 cpuTime=0.09 mem=6M887
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
0.71 nbConstraints=434 nbConvertedConstraints=406 nbConvertConstraintsChecks=18201 nbExtensionStructures=2
0.71 nbSharedExtensionStructures=404 nbConflictsStructures=3 nbSharedConflictsStructures=431
0.71 nbSharedBinaryRepresentations=27 nbEvaluationManagers=1 nbSharedEvaluationManagers=27 maxDegree=28 maxArity=3
0.71 => wckTime=0.321 cpuTime=0.23 mem=8M838
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.4 cpuTime=0.27 mem=5M584
0.80
0.80 s SATISFIABLE
0.80 o 371
0.80 c 63
0.80 o 376
0.80 c 58
0.80 o 380
0.80 c 54
0.80 o 385
0.80 c 49
0.80 o 389
0.80 c 45
0.81 o 393
0.81 c 41
0.81 o 397
0.81 c 37
0.81 o 399
0.81 c 35
0.81 o 402
0.81 c 32
0.81 o 404
0.81 c 30
0.81 o 406
0.81 c 28
0.81 o 408
0.81 c 26
0.81 o 409
0.81 c 25
0.82 o 410
0.82 c 24
0.82 o 411
0.82 c 23
0.82 o 412
0.82 c 22
0.82 o 414
0.82 c 20
0.82 o 415
0.82 c 19
0.82 o 416
0.82 c 18
0.82 o 417
0.82 c 17
0.83 o 418
0.83 c 16
0.83 o 419
0.83 c 15
0.83 o 420
0.83 c 14
0.84 o 421
0.84 c 13
0.84 o 422
0.84 c 12
0.84 o 423
0.84 c 11
0.85 o 424
0.85 c 10
0.85 o 425
0.85 c 9
0.92 o 426
0.92 c 8
0.92 o 427
0.92 c 7
6.33
6.33 search
6.33 run=0 nbConstraintChecks=27192953 nbAssignments=10000
6.33 => wckTime=5.546 cpuTime=5.5 mem=5M584
11.19
11.19 search
11.19 run=1 nbConstraintChecks=50803800 nbAssignments=20000
11.19 => wckTime=10.403 cpuTime=10.32 mem=5M584
16.69
16.69 search
16.69 run=2 nbConstraintChecks=78317439 nbAssignments=30000
16.69 => wckTime=15.898 cpuTime=15.79 mem=5M584
22.52
22.52 search
22.52 run=3 nbConstraintChecks=107530440 nbAssignments=40000
22.52 => wckTime=21.733 cpuTime=21.6 mem=5M584
23.47 o 428
23.47 c 6
23.47 o 429
23.47 c 5
27.08
27.08 search
27.08 run=4 nbConstraintChecks=130199303 nbAssignments=50000
27.08 => wckTime=26.289 cpuTime=26.14 mem=5M584
32.00
32.00 search
32.00 run=5 nbConstraintChecks=154033677 nbAssignments=60000
32.00 => wckTime=31.208 cpuTime=31.04 mem=5M584
36.91
36.91 search
36.91 run=6 nbConstraintChecks=178306064 nbAssignments=70000
36.91 => wckTime=36.12 cpuTime=35.93 mem=5M584
42.58
42.58 search
42.58 run=7 nbConstraintChecks=205984228 nbAssignments=80000
42.58 => wckTime=41.793 cpuTime=41.58 mem=5M584
47.53
47.53 search
47.53 run=8 nbConstraintChecks=230177097 nbAssignments=90000
47.53 => wckTime=46.744 cpuTime=46.5 mem=5M584
52.91
52.91 search
52.91 run=9 nbConstraintChecks=257560423 nbAssignments=100000
52.91 => wckTime=52.119 cpuTime=51.84 mem=5M584
53.63
53.63 search
53.63 run=10 nbConstraintChecks=261178372 nbAssignments=101482
53.63 => wckTime=52.842 cpuTime=52.56 mem=5M584
53.63
53.63 global
53.63 nbConstraintChecks=261178372 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
53.63 solvingWckTime=52.84 solvingCpuTime=52.55 expiredTime=no totalExploration=no nbFoundSolutions=0
53.63 globalCpuTime=52.87
53.63 => wckTime=53.242 cpuTime=52.83 mem=5M584
53.63
53.63 solver IterativeSystematicSolver being built...
53.77 => wckTime=53.38 cpuTime=52.93 mem=16M705
54.59
54.59 preprocessing
54.59 nbConstraintChecks=2550558 nbValidityChecks=123047 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.59 nbRemovedValues=17 detectedInconsistency=no
54.59 => wckTime=0.812 cpuTime=0.78 mem=16M705
55.88
55.88 search
55.88 run=0 nbConstraintChecks=4756461 nbValidityChecks=311571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.88 nbAssignments=101 nbFailedAssignments=84 nbBacktracks=10 nbVisitedNodes=196 nbRestartNogoods=0
55.88 => wckTime=2.105 cpuTime=2.07 mem=16M705
56.65
56.65 search
56.65 run=1 nbConstraintChecks=6916930 nbValidityChecks=505468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.65 nbAssignments=166 nbFailedAssignments=129 nbBacktracks=25 nbVisitedNodes=321 nbRestartNogoods=12
56.65 => wckTime=2.874 cpuTime=2.82 mem=16M705
56.79
56.79 search
56.79 run=2 nbConstraintChecks=7270732 nbValidityChecks=553852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.79 nbAssignments=216 nbFailedAssignments=153 nbBacktracks=47 nbVisitedNodes=404 nbRestartNogoods=26
56.79 => wckTime=3.02 cpuTime=2.96 mem=16M705
58.33
58.33 search
58.34 run=3 nbConstraintChecks=11842334 nbValidityChecks=1012479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.34 nbAssignments=409 nbFailedAssignments=309 nbBacktracks=80 nbVisitedNodes=786 nbRestartNogoods=42
58.34 => wckTime=4.563 cpuTime=4.5 mem=16M705
59.91
59.91 search
59.91 run=4 nbConstraintChecks=16730979 nbValidityChecks=1403659 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
59.91 nbAssignments=629 nbFailedAssignments=473 nbBacktracks=130 nbVisitedNodes=1215 nbRestartNogoods=46
59.91 => wckTime=6.139 cpuTime=6.08 mem=16M705
60.70
60.70 search
60.70 run=5 nbConstraintChecks=19004333 nbValidityChecks=1627854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.70 nbAssignments=806 nbFailedAssignments=570 nbBacktracks=206 nbVisitedNodes=1517 nbRestartNogoods=64
60.70 => wckTime=6.931 cpuTime=6.87 mem=16M705
63.56
63.56 search
63.56 run=6 nbConstraintChecks=28086993 nbValidityChecks=2453237 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
63.56 nbAssignments=1286 nbFailedAssignments=929 nbBacktracks=319 nbVisitedNodes=2469 nbRestartNogoods=88
63.56 => wckTime=9.792 cpuTime=9.71 mem=16M705
64.25
64.25 search
64.25 run=7 nbConstraintChecks=29456292 nbValidityChecks=2704157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
64.25 nbAssignments=1629 nbFailedAssignments=1098 nbBacktracks=489 nbVisitedNodes=3038 nbRestartNogoods=139
64.25 => wckTime=10.478 cpuTime=10.39 mem=16M705
66.70
66.70 search
66.70 run=8 nbConstraintChecks=35591636 nbValidityChecks=3386881 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
66.70 nbAssignments=2296 nbFailedAssignments=1505 nbBacktracks=745 nbVisitedNodes=4252 nbRestartNogoods=165
66.70 => wckTime=12.928 cpuTime=12.82 mem=16M705
73.15
73.15 search
73.15 run=9 nbConstraintChecks=53339225 nbValidityChecks=5067419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
73.15 nbAssignments=3375 nbFailedAssignments=2188 nbBacktracks=1132 nbVisitedNodes=6381 nbRestartNogoods=182
73.15 => wckTime=19.377 cpuTime=19.24 mem=16M705
85.68
85.68 search
85.68 run=10 nbConstraintChecks=90027221 nbValidityChecks=8118476 nbPropagations=0 nbRevisions=0
85.68 nbUselessRevisions=0 nbAssignments=5396 nbFailedAssignments=3625 nbBacktracks=1708 nbVisitedNodes=10272
85.68 nbRestartNogoods=215
85.68 => wckTime=31.909 cpuTime=31.72 mem=16M705
99.57
99.57 search
99.57 run=11 nbConstraintChecks=123716386 nbValidityChecks=12354644 nbPropagations=0 nbRevisions=0
99.57 nbUselessRevisions=0 nbAssignments=7971 nbFailedAssignments=5330 nbBacktracks=2575 nbVisitedNodes=15399
99.57 nbRestartNogoods=245
99.57 => wckTime=45.801 cpuTime=45.52 mem=16M705
125.66
125.66 search
125.66 run=12 nbConstraintChecks=199710033 nbValidityChecks=19587030 nbPropagations=0 nbRevisions=0
125.66 nbUselessRevisions=0 nbAssignments=13024 nbFailedAssignments=9079 nbBacktracks=3872 nbVisitedNodes=25382
125.66 nbRestartNogoods=276
125.66 => wckTime=71.886 cpuTime=71.47 mem=16M705
146.60
146.60 search
146.60 run=13 nbConstraintChecks=253713027 nbValidityChecks=25604238 nbPropagations=0 nbRevisions=0
146.60 nbUselessRevisions=0 nbAssignments=17508 nbFailedAssignments=11607 nbBacktracks=5818 nbVisitedNodes=34130
146.60 nbRestartNogoods=317
146.60 => wckTime=92.824 cpuTime=92.28 mem=16M705
197.88
197.88 search
197.88 run=14 nbConstraintChecks=409719294 nbValidityChecks=38946746 nbPropagations=0 nbRevisions=0
197.88 nbUselessRevisions=0 nbAssignments=27467 nbFailedAssignments=18637 nbBacktracks=8737 nbVisitedNodes=53725
197.88 nbRestartNogoods=361
197.88 => wckTime=144.111 cpuTime=143.26 mem=16M705
272.11
272.11 search
272.11 run=15 nbConstraintChecks=627223074 nbValidityChecks=57221500 nbPropagations=0 nbRevisions=0
272.11 nbUselessRevisions=0 nbAssignments=39836 nbFailedAssignments=26619 nbBacktracks=13115 nbVisitedNodes=77671
272.11 nbRestartNogoods=404
272.11 => wckTime=218.34 cpuTime=217.17 mem=16M705
361.12
361.12 search
361.12 run=16 nbConstraintChecks=885703118 nbValidityChecks=80369282 nbPropagations=0 nbRevisions=0
361.12 nbUselessRevisions=0 nbAssignments=58342 nbFailedAssignments=38547 nbBacktracks=19683 nbVisitedNodes=113126
361.12 nbRestartNogoods=440
361.12 => wckTime=307.346 cpuTime=305.77 mem=16M705
514.61
514.61 search
514.61 run=17 nbConstraintChecks=1321077439 nbValidityChecks=118543773 nbPropagations=0 nbRevisions=0
514.61 nbUselessRevisions=0 nbAssignments=84270 nbFailedAssignments=54613 nbBacktracks=29535 nbVisitedNodes=162539
514.61 nbRestartNogoods=471
514.61 => wckTime=460.839 cpuTime=458.54 mem=16M705
741.39
741.39 search
741.39 run=18 nbConstraintChecks=1969331934 nbValidityChecks=176735148 nbPropagations=0 nbRevisions=0
741.39 nbUselessRevisions=0 nbAssignments=124808 nbFailedAssignments=80367 nbBacktracks=44314 nbVisitedNodes=241157
741.39 nbRestartNogoods=523
741.39 => wckTime=687.621 cpuTime=684.3 mem=16M705
1003.12
1003.14 search
1003.14 run=19 nbConstraintChecks=2706861344 nbValidityChecks=252651725 nbPropagations=0 nbRevisions=0
1003.14 nbUselessRevisions=0 nbAssignments=186867 nbFailedAssignments=120246 nbBacktracks=66483 nbVisitedNodes=362249
1003.14 nbRestartNogoods=568
1003.14 => wckTime=949.349 cpuTime=944.84 mem=16M705
1826.52
1826.52 search
1826.52 run=20 nbConstraintChecks=5309086842 nbValidityChecks=434810847 nbPropagations=0 nbRevisions=0
1826.52 nbUselessRevisions=0 nbAssignments=301418 nbFailedAssignments=201539 nbBacktracks=99735 nbVisitedNodes=585415
1826.52 nbRestartNogoods=613
1826.52 => wckTime=1772.749 cpuTime=1764.51 mem=16M705
2328.49
2328.49 search
2328.49 run=21 nbConstraintChecks=6579135701 nbValidityChecks=595815805 nbPropagations=0 nbRevisions=0
2328.49 nbUselessRevisions=0 nbAssignments=437140 nbFailedAssignments=287375 nbBacktracks=149613 nbVisitedNodes=850701
2328.49 nbRestartNogoods=670
2328.49 => wckTime=2274.721 cpuTime=2264.2 mem=16M705
2411.29 v 0 3 7 8 13 22 24 25 3 7 8 13 22 24 25 4 5 10 19 21 22 1 6 15 17 18 5 14 16 17 9 11 12 2 3 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-275933-1169229539 -o ROOT/results/node51/solver-275933-1169229539 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275933-1169229539/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.91 1/68 5510
/proc/meminfo: memFree=1342856/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=1460 CPUtime=0
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 124 0 0 0 0 0 0 0 19 0 1 0 271352554 1495040 96 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0
/proc/5509/statm: 398 103 82 14 0 43 0
[startup+0.103025 s]
/proc/loadavg: 2.00 2.00 1.91 1/68 5510
/proc/meminfo: memFree=1342856/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=47892 CPUtime=0
/proc/5509/stat : 5509 (java) D 5507 5509 5314 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 271352554 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/5509/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.511094 s]
/proc/loadavg: 2.00 2.00 1.91 1/68 5510
/proc/meminfo: memFree=1342856/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915332 CPUtime=0.39
/proc/5509/stat : 5509 (java) S 5507 5509 5314 0 -1 0 6177 0 1 0 36 3 0 0 17 0 8 0 271352554 937299968 5916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228833 5916 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915332
[startup+1.33323 s]
/proc/loadavg: 2.08 2.02 1.91 3/87 5562
/proc/meminfo: memFree=1306544/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=1.21
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 7279 0 1 0 112 9 0 0 21 0 8 0 271352554 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668007 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 7017 2499 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 176 0 0 0 2 0 0 0 17 0 8 0 271352567 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.14
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 271352571 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915420
[startup+2.97451 s]
/proc/loadavg: 2.08 2.02 1.91 3/87 5562
/proc/meminfo: memFree=1303728/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2.85
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 7284 0 1 0 265 20 0 0 25 0 8 0 271352554 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 7021 2499 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.15
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915420
[startup+6.26306 s]
/proc/loadavg: 2.08 2.02 1.91 3/87 5562
/proc/meminfo: memFree=1303600/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=6.12
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 7284 0 1 0 569 43 0 0 25 0 8 0 271352554 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664990 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 7021 2499 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.15
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 7021 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) 915420
[startup+12.7402 s]
/proc/loadavg: 2.07 2.02 1.91 3/87 5562
/proc/meminfo: memFree=1303600/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=12.56
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 7286 0 1 0 1166 90 0 0 25 0 8 0 271352554 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 7023 2499 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.15
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915420
[startup+25.5763 s]
/proc/loadavg: 2.13 2.03 1.92 3/87 5562
/proc/meminfo: memFree=1303664/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=25.34
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 7286 0 1 0 2354 180 0 0 25 0 8 0 271352554 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 7023 2499 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.16
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 349 0 0 0 16 0 0 0 16 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915420
[startup+51.2707 s]
/proc/loadavg: 2.08 2.03 1.92 3/87 5562
/proc/meminfo: memFree=1303792/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=50.92
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 7286 0 1 0 4728 364 0 0 25 0 8 0 271352554 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 7023 2499 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.16
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 349 0 0 0 16 0 0 0 16 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915420
[startup+102.558 s]
/proc/loadavg: 2.03 2.02 1.92 3/87 5562
/proc/meminfo: memFree=1289328/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=101.96
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9184 0 1 0 9813 383 0 0 25 0 8 0 271352554 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8912 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.26
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 271352571 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915420
[startup+162.579 s]
/proc/loadavg: 2.01 2.02 1.92 3/93 5700
/proc/meminfo: memFree=1287792/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=161.64
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9192 0 1 0 15777 387 0 0 25 0 8 0 271352554 937390080 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668007 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2013.52
Current children cumulated vsize (KiB) 915420
[startup+2082.97 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288624/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2073.24
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9215 0 1 0 206930 394 0 0 25 0 8 0 271352554 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8940 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.24
Current children cumulated vsize (KiB) 915420
[startup+2142.98 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288624/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2132.99
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9215 0 1 0 212905 394 0 0 25 0 8 0 271352554 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8940 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.99
Current children cumulated vsize (KiB) 915420
[startup+2202.99 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288560/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2192.74
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9215 0 1 0 218879 395 0 0 25 0 8 0 271352554 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8940 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.74
Current children cumulated vsize (KiB) 915420
[startup+2263 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288624/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2252.46
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9215 0 1 0 224851 395 0 0 25 0 8 0 271352554 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8940 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.46
Current children cumulated vsize (KiB) 915420
[startup+2323.02 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288560/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2312.21
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9215 0 1 0 230826 395 0 0 25 0 8 0 271352554 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8940 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2312.21
Current children cumulated vsize (KiB) 915420
[startup+2383.02 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288624/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2371.95
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9217 0 1 0 236800 395 0 0 25 0 8 0 271352554 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8942 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.95
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.28 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 5762
/proc/meminfo: memFree=1288560/2055920 swapFree=4191892/4192956
[pid=5509] ppid=5507 vsize=915420 CPUtime=2400.07
/proc/5509/stat : 5509 (java) R 5507 5509 5314 0 -1 0 9217 0 1 0 239612 395 0 0 25 0 8 0 271352554 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668007 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5509/statm: 228855 8942 2551 14 0 215325 0
[pid=5509/tid=5511] ppid=5507 vsize=915420 CPUtime=0.02
/proc/5509/task/5511/stat : 5511 (java) S 5507 5509 5314 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 271352567 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5512] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5512/stat : 5512 (java) S 5507 5509 5314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271352568 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5513] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5513/stat : 5513 (java) S 5507 5509 5314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271352568 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5514] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5514/stat : 5514 (java) S 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5515] ppid=5507 vsize=915420 CPUtime=0.27
/proc/5509/task/5515/stat : 5515 (java) S 5507 5509 5314 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5516] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5516/stat : 5516 (java) S 5507 5509 5314 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5509/tid=5517] ppid=5507 vsize=915420 CPUtime=0
/proc/5509/task/5517/stat : 5517 (java) R 5507 5509 5314 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271352571 937390080 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.35
CPU time (s): 2400.14
CPU user time (s): 2396.18
CPU system time (s): 3.9594
CPU usage (%): 99.5352
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.18
system time used= 3.9594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9243
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= 49992
involuntary context switches= 81112
runsolver used 2.46462 s user time and 6.15706 s system time
The end
Begin job on node51 on Fri Jan 19 17:58:59 UTC 2007
IDJOB= 275933
IDBENCH= 5177
IDSOLVER= 68
FILE ID= node51/275933-1169229539
PBS_JOBID= 3589255
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-25-8-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275933-1169229539/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-275933-1169229539 -o ROOT/results/node51/solver-275933-1169229539 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275933-1169229539/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2497d67e4dec3c7a7ee1cfc380bfa734
RANDOM SEED= 496297407
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.277
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.277
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: 1343336 kB
Buffers: 56152 kB
Cached: 560300 kB
SwapCached: 512 kB
Active: 274336 kB
Inactive: 363216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343336 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 29784 kB
Slab: 60840 kB
Committed_AS: 5087224 kB
PageTables: 1624 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node51 on Fri Jan 19 18:39:12 UTC 2007