0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/212741-1168077254/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.54 nbVariables=2000 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.54 => wckTime=0.224 cpuTime=0.14 mem=9M844
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
1.29 nbConstraints=5250 nbConvertedConstraints=1000 nbConvertConstraintsChecks=52 nbExtensionStructures=1
1.29 nbSharedExtensionStructures=999 nbConflictsStructures=7 nbSharedConflictsStructures=5243
1.29 nbSharedBinaryRepresentations=2 nbEvaluationManagers=6 nbSharedEvaluationManagers=4244 maxDegree=16 maxArity=3
1.29 => wckTime=0.981 cpuTime=0.82 mem=42M41
1.39
1.39 solver IterativeSystematicSolver being built...
1.71 => wckTime=1.397 cpuTime=1.07 mem=47M290
1.75
1.75 preprocessing
1.75 nbConstraintChecks=0 nbPropagations=2000 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.75 detectedInconsistency=no
1.75 => wckTime=0.03 cpuTime=0.02 mem=48M264
2.09
2.09 search
2.09 run=0 nbConstraintChecks=7227 nbValidityChecks=2302 nbPropagations=4302 nbRevisions=7624
2.09 nbUselessRevisions=5196 nbAssignments=382 nbFailedAssignments=4 nbBacktracks=24 nbVisitedNodes=394
2.09 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=0.37 cpuTime=0.32 mem=48M264
2.34
2.34 search
2.34 run=1 nbConstraintChecks=11952 nbValidityChecks=7037 nbPropagations=10793 nbRevisions=22479
2.34 nbUselessRevisions=15306 nbAssignments=761 nbFailedAssignments=6 nbBacktracks=48 nbVisitedNodes=783
2.34 nbRestartNogoods=4 mapSize=16 nbInferences=0 nbTooLargeKeys=0
2.34 => wckTime=0.624 cpuTime=0.57 mem=49M238
2.59
2.59 search
2.59 run=2 nbConstraintChecks=17253 nbValidityChecks=12577 nbPropagations=19721 nbRevisions=45579
2.59 nbUselessRevisions=31089 nbAssignments=1136 nbFailedAssignments=11 nbBacktracks=104 nbVisitedNodes=1168
2.59 nbRestartNogoods=5 mapSize=25 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=0.874 cpuTime=0.82 mem=49M238
2.84
2.84 search
2.84 run=3 nbConstraintChecks=22796 nbValidityChecks=18367 nbPropagations=31192 nbRevisions=77253
2.84 nbUselessRevisions=52747 nbAssignments=1500 nbFailedAssignments=17 nbBacktracks=167 nbVisitedNodes=1545
2.84 nbRestartNogoods=6 mapSize=36 nbInferences=0 nbTooLargeKeys=0
2.84 => wckTime=1.127 cpuTime=1.05 mem=49M238
3.10
3.10 search
3.10 run=4 nbConstraintChecks=26409 nbValidityChecks=21884 nbPropagations=44261 nbRevisions=114364
3.10 nbUselessRevisions=78246 nbAssignments=1888 nbFailedAssignments=20 nbBacktracks=258 nbVisitedNodes=1937
3.10 nbRestartNogoods=8 mapSize=39 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=1.384 cpuTime=1.31 mem=50M212
3.44
3.44 search
3.44 run=5 nbConstraintChecks=31579 nbValidityChecks=28049 nbPropagations=59719 nbRevisions=160312
3.44 nbUselessRevisions=110018 nbAssignments=2357 nbFailedAssignments=23 nbBacktracks=355 nbVisitedNodes=2415
3.44 nbRestartNogoods=9 mapSize=47 nbInferences=0 nbTooLargeKeys=0
3.44 => wckTime=1.727 cpuTime=1.65 mem=50M212
3.73
3.73 search
3.73 run=6 nbConstraintChecks=33539 nbValidityChecks=30269 nbPropagations=76200 nbRevisions=209458
3.73 nbUselessRevisions=144013 nbAssignments=2758 nbFailedAssignments=24 nbBacktracks=470 nbVisitedNodes=2819
3.73 nbRestartNogoods=10 mapSize=49 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=2.012 cpuTime=1.93 mem=51M186
4.16
4.16 search
4.16 run=7 nbConstraintChecks=42645 nbValidityChecks=41560 nbPropagations=96793 nbRevisions=273689
4.17 nbUselessRevisions=188637 nbAssignments=3335 nbFailedAssignments=36 nbBacktracks=643 nbVisitedNodes=3419
4.17 nbRestartNogoods=11 mapSize=67 nbInferences=0 nbTooLargeKeys=0
4.17 => wckTime=2.449 cpuTime=2.37 mem=52M160
4.70
4.70 search
4.70 run=8 nbConstraintChecks=62428 nbValidityChecks=66274 nbPropagations=126214 nbRevisions=370563
4.70 nbUselessRevisions=256347 nbAssignments=3996 nbFailedAssignments=58 nbBacktracks=1020 nbVisitedNodes=4122
4.70 nbRestartNogoods=16 mapSize=108 nbInferences=0 nbTooLargeKeys=0
4.70 => wckTime=2.98 cpuTime=2.9 mem=52M160
5.33
5.33 search
5.33 run=9 nbConstraintChecks=86456 nbValidityChecks=98678 nbPropagations=166585 nbRevisions=509566
5.33 nbUselessRevisions=354060 nbAssignments=4744 nbFailedAssignments=80 nbBacktracks=1467 nbVisitedNodes=4921
5.33 nbRestartNogoods=17 mapSize=157 nbInferences=0 nbTooLargeKeys=0
5.33 => wckTime=3.613 cpuTime=3.52 mem=52M949
6.10
6.10 search
6.10 run=10 nbConstraintChecks=110064 nbValidityChecks=131679 nbPropagations=218240 nbRevisions=690617
6.10 nbUselessRevisions=481441 nbAssignments=5646 nbFailedAssignments=104 nbBacktracks=2065 nbVisitedNodes=5886
6.10 nbRestartNogoods=19 mapSize=215 nbInferences=0 nbTooLargeKeys=0
6.10 => wckTime=4.38 cpuTime=4.26 mem=10M458
7.06
7.06 search
7.06 run=11 nbConstraintChecks=157381 nbValidityChecks=196018 nbPropagations=292429 nbRevisions=954209
7.06 nbUselessRevisions=666863 nbAssignments=6808 nbFailedAssignments=153 nbBacktracks=2932 nbVisitedNodes=7153
7.06 nbRestartNogoods=24 mapSize=317 nbInferences=0 nbTooLargeKeys=0
7.06 => wckTime=5.343 cpuTime=5.19 mem=11M446
8.50
8.50 search
8.50 run=12 nbConstraintChecks=219595 nbValidityChecks=283249 nbPropagations=395555 nbRevisions=1328640
8.50 nbUselessRevisions=930703 nbAssignments=8470 nbFailedAssignments=220 nbBacktracks=4253 nbVisitedNodes=8957
8.50 nbRestartNogoods=27 mapSize=454 nbInferences=0 nbTooLargeKeys=0
8.50 => wckTime=6.783 cpuTime=6.63 mem=13M421
10.58
10.58 search
10.58 run=13 nbConstraintChecks=337787 nbValidityChecks=447175 nbPropagations=554834 nbRevisions=1912385
10.58 nbUselessRevisions=1341291 nbAssignments=10783 nbFailedAssignments=325 nbBacktracks=6238 nbVisitedNodes=11528
10.58 nbRestartNogoods=32 mapSize=706 nbInferences=0 nbTooLargeKeys=0
10.58 => wckTime=8.861 cpuTime=8.71 mem=16M383
13.18
13.18 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=20M333)
13.34
13.34 search
13.34 run=14 nbConstraintChecks=488676 nbValidityChecks=652815 nbPropagations=785480 nbRevisions=2757031
13.34 nbUselessRevisions=1933030 nbAssignments=14072 nbFailedAssignments=486 nbBacktracks=9161 nbVisitedNodes=15162
13.34 nbRestartNogoods=38
13.34 => wckTime=11.623 cpuTime=11.47 mem=20M333
15.77
15.77 search
15.77 run=15 nbConstraintChecks=693473 nbValidityChecks=911211 nbPropagations=1114228 nbRevisions=3930478
15.77 nbUselessRevisions=2745961 nbAssignments=18907 nbFailedAssignments=730 nbBacktracks=13542 nbVisitedNodes=20464
15.77 nbRestartNogoods=40
15.77 => wckTime=14.056 cpuTime=13.9 mem=20M333
19.38
19.38 search
19.38 run=16 nbConstraintChecks=998798 nbValidityChecks=1307877 nbPropagations=1586896 nbRevisions=5609497
19.38 nbUselessRevisions=3904702 nbAssignments=26075 nbFailedAssignments=1091 nbBacktracks=20131 nbVisitedNodes=28312
19.38 nbRestartNogoods=47
19.38 => wckTime=17.665 cpuTime=17.5 mem=21M321
25.05
25.05 search
25.05 run=17 nbConstraintChecks=1507922 nbValidityChecks=1986733 nbPropagations=2303519 nbRevisions=8152753
25.05 nbUselessRevisions=5657056 nbAssignments=36681 nbFailedAssignments=1656 nbBacktracks=29989 nbVisitedNodes=40041
25.05 nbRestartNogoods=50
25.05 => wckTime=23.334 cpuTime=23.17 mem=21M321
33.13
33.13 search
33.13 run=18 nbConstraintChecks=2167806 nbValidityChecks=2854141 nbPropagations=3341928 nbRevisions=11806855
33.13 nbUselessRevisions=8163840 nbAssignments=52424 nbFailedAssignments=2413 nbBacktracks=44784 nbVisitedNodes=57228
33.13 nbRestartNogoods=58
33.13 => wckTime=31.415 cpuTime=31.24 mem=21M321
45.75
45.75 search
45.75 run=19 nbConstraintChecks=3309197 nbValidityChecks=4345155 nbPropagations=4933827 nbRevisions=17376271
45.75 nbUselessRevisions=11972928 nbAssignments=76094 nbFailedAssignments=3716 nbBacktracks=66975
45.75 nbVisitedNodes=83495 nbRestartNogoods=63
45.75 => wckTime=44.032 cpuTime=43.85 mem=21M321
65.07
65.07 search
65.07 run=20 nbConstraintChecks=5106537 nbValidityChecks=6746134 nbPropagations=7375010 nbRevisions=26029837
65.07 nbUselessRevisions=17921811 nbAssignments=111462 nbFailedAssignments=5598 nbBacktracks=100273
65.07 nbVisitedNodes=122766 nbRestartNogoods=70
65.07 => wckTime=63.352 cpuTime=63.14 mem=21M321
93.84
93.84 search
93.84 run=21 nbConstraintChecks=7741874 nbValidityChecks=10280523 nbPropagations=11046890 nbRevisions=39265844
93.84 nbUselessRevisions=27090074 nbAssignments=164258 nbFailedAssignments=8319 nbBacktracks=150165
93.84 nbVisitedNodes=181021 nbRestartNogoods=77
93.84 => wckTime=92.127 cpuTime=91.9 mem=21M321
140.70
140.70 search
140.70 run=22 nbConstraintChecks=12327615 nbValidityChecks=16340525 nbPropagations=16944237 nbRevisions=60337306
140.70 nbUselessRevisions=41622699 nbAssignments=244703 nbFailedAssignments=13770 nbBacktracks=225013
140.70 nbVisitedNodes=271593 nbRestartNogoods=87
140.70 => wckTime=138.982 cpuTime=138.71 mem=21M321
209.68
209.68 search
209.68 run=23 nbConstraintChecks=18919000 nbValidityChecks=25388700 nbPropagations=26083538 nbRevisions=93091307
209.68 nbUselessRevisions=64241265 nbAssignments=365125 nbFailedAssignments=21799 nbBacktracks=337263
209.68 nbVisitedNodes=406952 nbRestartNogoods=94
209.68 => wckTime=207.961 cpuTime=207.6 mem=21M321
305.20
305.20 search
305.20 run=24 nbConstraintChecks=27165205 nbValidityChecks=36024302 nbPropagations=39255394 nbRevisions=139618732
305.20 nbUselessRevisions=96166635 nbAssignments=543376 nbFailedAssignments=31516 nbBacktracks=505635
305.20 nbVisitedNodes=603867 nbRestartNogoods=99
305.20 => wckTime=303.483 cpuTime=303.03 mem=21M321
451.30
451.30 search
451.30 run=25 nbConstraintChecks=40135059 nbValidityChecks=53169243 nbPropagations=58782381 nbRevisions=208263694
451.30 nbUselessRevisions=143177074 nbAssignments=811334 nbFailedAssignments=46771 nbBacktracks=758153
451.30 nbVisitedNodes=903690 nbRestartNogoods=109
451.30 => wckTime=449.588 cpuTime=448.93 mem=21M321
675.20
675.20 search
675.20 run=26 nbConstraintChecks=60524767 nbValidityChecks=81013310 nbPropagations=88278342 nbRevisions=312961916
675.20 nbUselessRevisions=215225605 nbAssignments=1215585 nbFailedAssignments=72102 nbBacktracks=1136937
675.20 nbVisitedNodes=1354740 nbRestartNogoods=118
675.20 => wckTime=673.485 cpuTime=672.58 mem=21M321
1005.76
1005.76 search
1005.76 run=27 nbConstraintChecks=90320130 nbValidityChecks=119781241 nbPropagations=132288881 nbRevisions=467685746
1005.76 nbUselessRevisions=321162250 nbAssignments=1816101 nbFailedAssignments=104254 nbBacktracks=1705121
1005.76 nbVisitedNodes=2023167 nbRestartNogoods=125
1005.76 => wckTime=1004.044 cpuTime=1002.79 mem=21M321
1504.62
1504.62 search
1504.62 run=28 nbConstraintChecks=135420261 nbValidityChecks=179132386 nbPropagations=198436891 nbRevisions=699387465
1504.62 nbUselessRevisions=479477136 nbAssignments=2718992 nbFailedAssignments=154751 nbBacktracks=2557347
1504.62 nbVisitedNodes=3030295 nbRestartNogoods=137
1504.62 => wckTime=1502.906 cpuTime=1501.13 mem=21M321
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-212741-1168077254 -o ROOT/results/node6/solver-212741-1168077254 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212741-1168077254/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.93 1.99 1.96 4/93 9324
/proc/meminfo: memFree=1027616/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=1500 CPUtime=0
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 256 0 0 0 0 0 0 0 18 0 1 0 156120824 1536000 61 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2152241 0 0 4096 0 0 0 0 17 0 0 0
/proc/9323/statm: 375 69 55 14 0 8 0
[startup+0.107357 s]
/proc/loadavg: 1.93 1.99 1.96 4/93 9324
/proc/meminfo: memFree=1027616/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=912908 CPUtime=0.07
/proc/9323/stat : 9323 (java) S 9321 9323 9256 0 -1 0 2833 0 1 0 6 1 0 0 22 0 8 0 156120824 934817792 2579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228227 2579 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.515405 s]
/proc/loadavg: 1.93 1.99 1.96 4/93 9324
/proc/meminfo: memFree=1027616/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915328 CPUtime=0.48
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 6617 0 1 0 44 4 0 0 25 0 8 0 156120824 937295872 6356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228832 6356 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3365 s]
/proc/loadavg: 1.93 1.99 1.96 3/100 9331
/proc/meminfo: memFree=981672/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915820 CPUtime=1.3
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 14860 0 1 0 103 27 0 0 25 0 8 0 156120824 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228955 14597 2181 14 0 215425 0
[pid=9323/tid=9325] ppid=9321 vsize=915820 CPUtime=0.03
/proc/9323/task/9325/stat : 9325 (java) R 9321 9323 9256 0 -1 64 37 0 0 0 3 0 0 0 16 0 8 0 156120830 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525442 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156120831 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156120831 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915820 CPUtime=0.2
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915820
[startup+2.97369 s]
/proc/loadavg: 1.93 1.99 1.96 3/100 9331
/proc/meminfo: memFree=970088/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915716 CPUtime=2.93
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 17322 0 1 0 264 29 0 0 25 0 8 0 156120824 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074109158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228929 17058 2533 14 0 215399 0
[pid=9323/tid=9325] ppid=9321 vsize=915716 CPUtime=0.08
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1065 0 0 0 8 0 0 0 16 0 8 0 156120830 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915716 CPUtime=0.36
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 517 0 0 0 35 1 0 0 15 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915716
[startup+6.26208 s]
/proc/loadavg: 1.93 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962344/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=6.22
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19027 0 1 0 592 30 0 0 25 0 8 0 156120824 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074114565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18761 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 523 0 0 0 36 2 0 0 16 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915844
[startup+12.7378 s]
/proc/loadavg: 1.94 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962352/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=12.67
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19029 0 1 0 1237 30 0 0 25 0 8 0 156120824 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074086368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18762 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 524 0 0 0 36 2 0 0 15 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915844
[startup+25.6003 s]
/proc/loadavg: 1.95 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962416/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=25.52
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 2522 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074101668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915844
[startup+51.2044 s]
/proc/loadavg: 1.97 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962480/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=51.11
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 5081 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074218807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915844
[startup+102.502 s]
/proc/loadavg: 1.98 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962480/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=102.33
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 10203 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915844
[startup+162.546 s]
/proc/loadavg: 1.99 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962480/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=162.31
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 16201 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074101640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 915844
[startup+1483.57 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 9531
/proc/meminfo: memFree=962104/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1481.91
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 148141 50 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 915844
[startup+1543.62 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 9531
/proc/meminfo: memFree=962104/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1541.88
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 154138 50 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 915844
[startup+1603.66 s]
/proc/loadavg: 2.06 2.02 1.99 3/100 9531
/proc/meminfo: memFree=962168/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1601.88
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 160137 51 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 915844
[startup+1663.71 s]
/proc/loadavg: 2.02 2.01 1.99 3/100 9531
/proc/meminfo: memFree=962168/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1661.85
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 166134 51 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 915844
[startup+1723.76 s]
/proc/loadavg: 2.05 2.02 2.00 2/88 9578
/proc/meminfo: memFree=1177240/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1721.82
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 172130 52 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 915844
[startup+1783.81 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 9623
/proc/meminfo: memFree=1110200/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1781.81
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 178128 53 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178134 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 915844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.01 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 9623
/proc/meminfo: memFree=1110264/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1800.01
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 179948 53 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.07
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.547916
CPU usage (%): 99.8895
Max. virtual memory (cumulated for all children) (KiB): 915844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.547916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19048
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= 38131
involuntary context switches= 51565
runsolver used 2.26066 s user time and 5.72413 s system time
The end
Begin job on node6 on Sat Jan 6 09:54:14 UTC 2007
IDJOB= 212741
IDBENCH= 4794
FILE ID= node6/212741-1168077254
PBS_JOBID= 3475810
Free space on /tmp= 66526 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/f1000.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212741-1168077254/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-212741-1168077254 -o ROOT/results/node6/solver-212741-1168077254 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212741-1168077254/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b612940242fa18a717b5dca5f05715d9
RANDOM SEED= 41517842
TIME LIMIT= 1800 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.240
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.240
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: 2055924 kB
MemFree: 1028096 kB
Buffers: 82916 kB
Cached: 600304 kB
SwapCached: 3036 kB
Active: 571832 kB
Inactive: 359048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1028096 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2608 kB
Writeback: 0 kB
Mapped: 266824 kB
Slab: 81168 kB
Committed_AS: 5033780 kB
PageTables: 2824 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= 66528 MiB
End job on node6 on Sat Jan 6 10:24:16 UTC 2007