0.31
0.31 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199491-1168071438/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=29 nbDomainTypes=2 minDomainSize=14 maxDomainSize=15
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.56 nbConstraints=210 nbConvertedConstraints=196 nbConvertConstraintsChecks=3571 nbExtensionStructures=2
0.56 nbSharedExtensionStructures=194 nbConflictsStructures=3 nbSharedConflictsStructures=207
0.56 nbSharedBinaryRepresentations=29 nbEvaluationManagers=1 nbSharedEvaluationManagers=13 maxDegree=16 maxArity=3
0.56 => wckTime=0.245 cpuTime=0.2 mem=7M927
0.60
0.60 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.447 cpuTime=0.33 mem=13M403
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=29 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0030 cpuTime=0.01 mem=13M403
0.83
0.84 search
0.84 run=0 nbConstraintChecks=28577 nbValidityChecks=3424 nbPropagations=357 nbRevisions=977 nbUselessRevisions=494
0.84 nbAssignments=27 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=7
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.066 cpuTime=0.05 mem=14M378
0.87
0.87 search
0.87 run=1 nbConstraintChecks=50676 nbValidityChecks=7625 nbPropagations=1085 nbRevisions=3034
0.87 nbUselessRevisions=1502 nbAssignments=61 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=88
0.87 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.101 cpuTime=0.08 mem=14M378
0.90
0.90 search
0.90 run=2 nbConstraintChecks=74755 nbValidityChecks=12177 nbPropagations=2260 nbRevisions=6453
0.90 nbUselessRevisions=3100 nbAssignments=100 nbFailedAssignments=20 nbBacktracks=52 nbVisitedNodes=142
0.90 nbRestartNogoods=6 mapSize=27 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.129 cpuTime=0.09 mem=14M378
0.92
0.92 search
0.93 run=3 nbConstraintChecks=114418 nbValidityChecks=21218 nbPropagations=4593 nbRevisions=13976
0.93 nbUselessRevisions=6663 nbAssignments=170 nbFailedAssignments=47 nbBacktracks=85 nbVisitedNodes=263
0.93 nbRestartNogoods=8 mapSize=55 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.157 cpuTime=0.12 mem=14M378
0.95
0.95 search
0.95 run=4 nbConstraintChecks=159568 nbValidityChecks=29271 nbPropagations=7854 nbRevisions=24569
0.95 nbUselessRevisions=11611 nbAssignments=261 nbFailedAssignments=76 nbBacktracks=136 nbVisitedNodes=407
0.95 nbRestartNogoods=13 mapSize=88 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.185 cpuTime=0.15 mem=14M378
1.01
1.01 search
1.01 run=5 nbConstraintChecks=265961 nbValidityChecks=49681 nbPropagations=13380 nbRevisions=43724
1.01 nbUselessRevisions=20648 nbAssignments=407 nbFailedAssignments=139 nbBacktracks=211 nbVisitedNodes=652
1.01 nbRestartNogoods=18 mapSize=136 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.247 cpuTime=0.2 mem=14M378
1.07
1.07 search
1.07 run=6 nbConstraintChecks=349317 nbValidityChecks=65226 nbPropagations=21009 nbRevisions=70001
1.07 nbUselessRevisions=32813 nbAssignments=592 nbFailedAssignments=199 nbBacktracks=324 nbVisitedNodes=951
1.07 nbRestartNogoods=22 mapSize=213 nbInferences=1 nbTooLargeKeys=0
1.07 => wckTime=0.299 cpuTime=0.25 mem=14M378
1.14
1.14 search
1.14 run=7 nbConstraintChecks=447541 nbValidityChecks=88750 nbPropagations=32122 nbRevisions=108432
1.14 nbUselessRevisions=50644 nbAssignments=874 nbFailedAssignments=301 nbBacktracks=495 nbVisitedNodes=1411
1.14 nbRestartNogoods=27 mapSize=317 nbInferences=1 nbTooLargeKeys=0
1.14 => wckTime=0.371 cpuTime=0.32 mem=14M378
1.26
1.26 search
1.26 run=8 nbConstraintChecks=644271 nbValidityChecks=130135 nbPropagations=49100 nbRevisions=169936
1.26 nbUselessRevisions=79545 nbAssignments=1300 nbFailedAssignments=463 nbBacktracks=751 nbVisitedNodes=2118
1.26 nbRestartNogoods=33 mapSize=489 nbInferences=1 nbTooLargeKeys=0
1.26 => wckTime=0.494 cpuTime=0.43 mem=14M378
1.59
1.59 search
1.59 run=9 nbConstraintChecks=1332184 nbValidityChecks=238443 nbPropagations=77860 nbRevisions=286898
1.59 nbUselessRevisions=134013 nbAssignments=2002 nbFailedAssignments=772 nbBacktracks=1137 nbVisitedNodes=3314
1.59 nbRestartNogoods=41 mapSize=739 nbInferences=1 nbTooLargeKeys=0
1.59 => wckTime=0.822 cpuTime=0.75 mem=14M378
1.76
1.76 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M378)
1.82
1.82 search
1.82 run=10 nbConstraintChecks=1725683 nbValidityChecks=318995 nbPropagations=118664 nbRevisions=447675
1.82 nbUselessRevisions=207358 nbAssignments=3009 nbFailedAssignments=1191 nbBacktracks=1713 nbVisitedNodes=5016
1.82 nbRestartNogoods=49
1.82 => wckTime=1.049 cpuTime=0.96 mem=14M378
2.12
2.12 search
2.12 run=11 nbConstraintChecks=2294730 nbValidityChecks=446028 nbPropagations=178171 nbRevisions=675831
2.12 nbUselessRevisions=310458 nbAssignments=4453 nbFailedAssignments=1760 nbBacktracks=2580 nbVisitedNodes=7488
2.12 nbRestartNogoods=60
2.12 => wckTime=1.352 cpuTime=1.26 mem=14M378
2.58
2.58 search
2.58 run=12 nbConstraintChecks=3167069 nbValidityChecks=641461 nbPropagations=265690 nbRevisions=1008109
2.58 nbUselessRevisions=462227 nbAssignments=6665 nbFailedAssignments=2665 nbBacktracks=3877 nbVisitedNodes=11221
2.58 nbRestartNogoods=68
2.58 => wckTime=1.811 cpuTime=1.71 mem=14M378
3.13
3.13 search
3.13 run=13 nbConstraintChecks=4196202 nbValidityChecks=872572 nbPropagations=389861 nbRevisions=1474883
3.13 nbUselessRevisions=676782 nbAssignments=9789 nbFailedAssignments=3829 nbBacktracks=5823 nbVisitedNodes=16474
3.13 nbRestartNogoods=80
3.13 => wckTime=2.363 cpuTime=2.26 mem=14M378
3.87
3.87 search
3.87 run=14 nbConstraintChecks=5571331 nbValidityChecks=1180117 nbPropagations=562977 nbRevisions=2110234
3.87 nbUselessRevisions=966407 nbAssignments=14337 nbFailedAssignments=5447 nbBacktracks=8742 nbVisitedNodes=23943
3.87 nbRestartNogoods=88
3.87 => wckTime=3.105 cpuTime=3.0 mem=14M378
5.39
5.39 search
5.39 run=15 nbConstraintChecks=8455861 nbValidityChecks=1860033 nbPropagations=833273 nbRevisions=3119914
5.39 nbUselessRevisions=1430542 nbAssignments=21651 nbFailedAssignments=8375 nbBacktracks=13120 nbVisitedNodes=36309
5.39 nbRestartNogoods=100
5.39 => wckTime=4.622 cpuTime=4.5 mem=14M378
7.16
7.16 search
7.16 run=16 nbConstraintChecks=11771968 nbValidityChecks=2584454 nbPropagations=1222199 nbRevisions=4546572
7.16 nbUselessRevisions=2079675 nbAssignments=32060 nbFailedAssignments=12204 nbBacktracks=19688
7.16 nbVisitedNodes=53568 nbRestartNogoods=116
7.16 => wckTime=6.392 cpuTime=6.25 mem=14M378
11.23
11.23 search
11.23 run=17 nbConstraintChecks=20206257 nbValidityChecks=4279600 nbPropagations=1829174 nbRevisions=6840516
11.23 nbUselessRevisions=3142877 nbAssignments=48199 nbFailedAssignments=18480 nbBacktracks=29540
11.23 nbVisitedNodes=80519 nbRestartNogoods=131
11.23 => wckTime=10.46 cpuTime=10.28 mem=14M378
16.95
16.95 search
16.95 run=18 nbConstraintChecks=31258680 nbValidityChecks=6911365 nbPropagations=2793303 nbRevisions=10505862
16.96 nbUselessRevisions=4843487 nbAssignments=73289 nbFailedAssignments=28783 nbBacktracks=44318
16.96 nbVisitedNodes=123374 nbRestartNogoods=150
16.96 => wckTime=16.187 cpuTime=15.95 mem=14M378
27.39
27.39 search
27.39 run=19 nbConstraintChecks=53610441 nbValidityChecks=11278328 nbPropagations=4309238 nbRevisions=16502476
27.39 nbUselessRevisions=7642110 nbAssignments=110930 nbFailedAssignments=44247 nbBacktracks=66486
27.39 nbVisitedNodes=186741 nbRestartNogoods=164
27.39 => wckTime=26.624 cpuTime=26.29 mem=14M378
43.99
43.99 search
43.99 run=20 nbConstraintChecks=89357368 nbValidityChecks=18214604 nbPropagations=6693640 nbRevisions=26120429
43.99 nbUselessRevisions=12152373 nbAssignments=168254 nbFailedAssignments=68309 nbBacktracks=99738
43.99 nbVisitedNodes=283882 nbRestartNogoods=176
43.99 => wckTime=43.224 cpuTime=42.73 mem=14M378
65.66
65.66 search
65.66 run=21 nbConstraintChecks=133626184 nbValidityChecks=27622441 nbPropagations=10334455 nbRevisions=40791448
65.66 nbUselessRevisions=19091667 nbAssignments=254763 nbFailedAssignments=104926 nbBacktracks=149616
65.66 nbVisitedNodes=432216 nbRestartNogoods=186
65.66 => wckTime=64.893 cpuTime=64.21 mem=14M378
94.36
94.36 search
94.36 run=22 nbConstraintChecks=190791913 nbValidityChecks=40294108 nbPropagations=15732731 nbRevisions=62396590
94.36 nbUselessRevisions=29327523 nbAssignments=381865 nbFailedAssignments=157200 nbBacktracks=224435
94.36 nbVisitedNodes=648684 nbRestartNogoods=207
94.36 => wckTime=93.593 cpuTime=92.64 mem=14M378
147.67
147.67 search
147.67 run=23 nbConstraintChecks=303045665 nbValidityChecks=63150504 nbPropagations=24029521 nbRevisions=95839643
147.67 nbUselessRevisions=45183317 nbAssignments=574362 nbFailedAssignments=237461 nbBacktracks=336663
147.67 nbVisitedNodes=976670 nbRestartNogoods=221
147.67 => wckTime=146.901 cpuTime=145.46 mem=14M378
204.15
204.15 search
204.15 run=24 nbConstraintChecks=409397536 nbValidityChecks=89265732 nbPropagations=36170940 nbRevisions=143743560
204.15 nbUselessRevisions=67711019 nbAssignments=856570 nbFailedAssignments=351319 nbBacktracks=505004
204.15 nbVisitedNodes=1454971 nbRestartNogoods=234
204.15 => wckTime=203.383 cpuTime=201.43 mem=14M378
312.40
312.40 search
312.40 run=25 nbConstraintChecks=637816850 nbValidityChecks=135890830 nbPropagations=54231224 nbRevisions=216063970
312.40 nbUselessRevisions=101782470 nbAssignments=1264587 nbFailedAssignments=514849 nbBacktracks=749462
312.40 nbVisitedNodes=2141034 nbRestartNogoods=252
312.40 => wckTime=311.635 cpuTime=308.67 mem=14M378
312.40
312.40 global
312.40 nbConstraintChecks=637816850 nbValidityChecks=135890830 nbPropagations=54231253 nbRevisions=216063970
312.40 nbUselessRevisions=101782470 nbRestartNogoods=252 solvingWckTime=311.636 solvingCpuTime=308.67 expiredTime=no
312.40 totalExploration=no nbFoundSolutions=1 globalCpuTime=309.05
312.40 => wckTime=312.086 cpuTime=309.0 mem=14M378
312.41
312.41 s SATISFIABLE
312.41 v 6 9 5 4 11 3 14 0 13 1 10 8 2 12 7 2 3 0 6 7 10 13 12 11 8 1 5 9 4
312.41 d NODES 1264587
312.41 d CHECKS 637816850
312.41
312.41 totalWckTime=312.169 totalCpuTime=309.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-199491-1168071438 -o ROOT/results/node19/solver-199491-1168071438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199491-1168071438/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: 2.00 2.00 1.96 4/93 21449
/proc/meminfo: memFree=1222440/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=1784 CPUtime=0
/proc/21448/stat : 21448 (java) D 21446 21448 20716 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155538458 1826816 163 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 7484196 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21448/statm: 2437 412 333 14 0 1140 0
[startup+0.10329 s]
/proc/loadavg: 2.00 2.00 1.96 4/93 21449
/proc/meminfo: memFree=1222440/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=914988 CPUtime=0.09
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 155538458 936947712 2726 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072897196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511363 s]
/proc/loadavg: 2.00 2.00 1.96 4/93 21449
/proc/meminfo: memFree=1222440/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915328 CPUtime=0.49
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 6428 0 1 0 45 4 0 0 18 0 8 0 155538458 937295872 6167 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228832 6167 2165 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33251 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21456
/proc/meminfo: memFree=1199536/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=1.3
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8495 0 1 0 122 8 0 0 24 0 8 0 155538458 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073758172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8232 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.19
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 362 0 0 0 17 2 0 0 15 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98382 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21456
/proc/meminfo: memFree=1199280/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=2.94
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8540 0 1 0 286 8 0 0 25 0 8 0 155538458 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073604286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8276 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 376 0 0 0 19 2 0 0 15 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26844 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=6.19
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8548 0 1 0 611 8 0 0 25 0 8 0 155538458 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073615496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8284 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 376 0 0 0 19 2 0 0 15 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7517 s]
/proc/loadavg: 2.07 2.02 1.97 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=12.62
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8556 0 1 0 1253 9 0 0 25 0 8 0 155538458 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073611108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8291 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 377 0 0 0 19 2 0 0 16 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6011 s]
/proc/loadavg: 2.06 2.02 1.97 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=25.35
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8558 0 1 0 2526 9 0 0 25 0 8 0 155538458 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073746499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8293 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 377 0 0 0 19 2 0 0 16 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2059 s]
/proc/loadavg: 2.04 2.01 1.97 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=50.72
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8564 0 1 0 5063 9 0 0 25 0 8 0 155538458 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073717240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8299 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915460
[startup+102.408 s]
/proc/loadavg: 2.08 2.02 1.97 3/100 21458
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=101.44
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8570 0 1 0 10135 9 0 0 25 0 8 0 155538458 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073613235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8305 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915460
[startup+162.458 s]
/proc/loadavg: 2.03 2.02 1.97 3/100 21458
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=160.95
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8573 0 1 0 16085 10 0 0 25 0 8 0 155538458 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8308 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915460
[startup+222.51 s]
/proc/loadavg: 2.01 2.01 1.97 3/100 21458
/proc/meminfo: memFree=1199216/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=220.44
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8575 0 1 0 22034 10 0 0 25 0 8 0 155538458 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073716149 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8310 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 915460
[startup+282.554 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 21458
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=279.93
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8575 0 1 0 27983 10 0 0 25 0 8 0 155538458 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073612783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8310 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 312.472
CPU time (s): 309.53
CPU user time (s): 309.411
CPU system time (s): 0.118981
CPU usage (%): 99.0586
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.411
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8668
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= 7420
involuntary context switches= 19920
runsolver used 0.336948 s user time and 1.05584 s system time
The end
Begin job on node19 on Sat Jan 6 08:17:18 UTC 2007
IDJOB= 199491
IDBENCH= 3621
FILE ID= node19/199491-1168071438
PBS_JOBID= 3475425
Free space on /tmp= 66308 MiB
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199491-1168071438/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-199491-1168071438 -o ROOT/results/node19/solver-199491-1168071438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199491-1168071438/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c3c020e92582c095fcd4287156ec48b1
RANDOM SEED= 2467458
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.260
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.260
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: 1222856 kB
Buffers: 69876 kB
Cached: 543104 kB
SwapCached: 10036 kB
Active: 348076 kB
Inactive: 384092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1222856 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 138508 kB
Slab: 85212 kB
Committed_AS: 4339244 kB
PageTables: 2584 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= 66308 MiB
End job on node19 on Sat Jan 6 08:22:31 UTC 2007