0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/221218-1168080013/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.50 nbVariables=65 nbDomainTypes=2 minDomainSize=10 maxDomainSize=64
0.50 => wckTime=0.107 cpuTime=0.09 mem=6M902
0.50
0.50 predicates being loaded...
0.50
0.50 constraints being loaded...
1.01 nbConstraints=2034 nbConvertedConstraints=2034 nbConvertConstraintsChecks=8832 nbExtensionStructures=3
1.01 nbSharedExtensionStructures=2031 nbConflictsStructures=3 nbSharedConflictsStructures=2031
1.01 nbSharedBinaryRepresentations=147 maxDegree=64 maxArity=2
1.01 => wckTime=0.624 cpuTime=0.47 mem=17M662
1.06
1.06 solver IterativeSystematicSolver being built...
1.23 => wckTime=0.837 cpuTime=0.59 mem=14M362
1.25
1.25 preprocessing
1.25 nbConstraintChecks=3444 nbPropagations=65 nbRevisions=54 nbUselessRevisions=36 nbRemovedValues=108
1.25 detectedInconsistency=no
1.25 => wckTime=0.02 cpuTime=0.01 mem=14M362
1.33
1.33 search
1.33 run=0 nbConstraintChecks=73286 nbPropagations=1043 nbRevisions=5498 nbUselessRevisions=3199 nbAssignments=29
1.33 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=11 nbInferences=0
1.33 nbTooLargeKeys=0
1.33 => wckTime=0.095 cpuTime=0.07 mem=15M403
1.36
1.36 search
1.36 run=1 nbConstraintChecks=149530 nbPropagations=3256 nbRevisions=16788 nbUselessRevisions=9714 nbAssignments=64
1.36 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=27 nbInferences=0
1.36 nbTooLargeKeys=0
1.36 => wckTime=0.135 cpuTime=0.1 mem=15M403
1.41
1.41 search
1.41 run=2 nbConstraintChecks=262500 nbPropagations=7161 nbRevisions=37654 nbUselessRevisions=21756
1.41 nbAssignments=119 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=192 nbRestartNogoods=4 mapSize=48
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.176 cpuTime=0.14 mem=15M403
1.44
1.44 search
1.44 run=3 nbConstraintChecks=361992 nbPropagations=12582 nbRevisions=65640 nbUselessRevisions=38190
1.44 nbAssignments=201 nbFailedAssignments=53 nbBacktracks=86 nbVisitedNodes=300 nbRestartNogoods=10 mapSize=66
1.44 nbInferences=1 nbTooLargeKeys=0
1.44 => wckTime=0.21 cpuTime=0.17 mem=15M403
1.47
1.47 search
1.47 run=4 nbConstraintChecks=466834 nbPropagations=19512 nbRevisions=101468 nbUselessRevisions=59424
1.47 nbAssignments=297 nbFailedAssignments=69 nbBacktracks=138 nbVisitedNodes=425 nbRestartNogoods=13 mapSize=87
1.47 nbInferences=1 nbTooLargeKeys=0
1.47 => wckTime=0.245 cpuTime=0.21 mem=15M403
1.52
1.52 search
1.52 run=5 nbConstraintChecks=591811 nbPropagations=28651 nbRevisions=148845 nbUselessRevisions=88004
1.52 nbAssignments=439 nbFailedAssignments=106 nbBacktracks=215 nbVisitedNodes=626 nbRestartNogoods=15 mapSize=128
1.52 nbInferences=1 nbTooLargeKeys=0
1.52 => wckTime=0.293 cpuTime=0.25 mem=15M403
1.59
1.59 search
1.59 run=6 nbConstraintChecks=756183 nbPropagations=40507 nbRevisions=211069 nbUselessRevisions=125239
1.59 nbAssignments=629 nbFailedAssignments=143 nbBacktracks=331 nbVisitedNodes=878 nbRestartNogoods=16 mapSize=167
1.59 nbInferences=3 nbTooLargeKeys=0
1.59 => wckTime=0.357 cpuTime=0.31 mem=15M403
1.66
1.66 search
1.66 run=7 nbConstraintChecks=961294 nbPropagations=55483 nbRevisions=293378 nbUselessRevisions=174927
1.66 nbAssignments=886 nbFailedAssignments=203 nbBacktracks=509 nbVisitedNodes=1223 nbRestartNogoods=20 mapSize=223
1.66 nbInferences=3 nbTooLargeKeys=0
1.66 => wckTime=0.432 cpuTime=0.39 mem=15M403
1.80
1.80 search
1.80 run=8 nbConstraintChecks=1356902 nbPropagations=76762 nbRevisions=419630 nbUselessRevisions=251684
1.80 nbAssignments=1267 nbFailedAssignments=295 nbBacktracks=769 nbVisitedNodes=1778 nbRestartNogoods=21
1.80 mapSize=362 nbInferences=3 nbTooLargeKeys=0
1.80 => wckTime=0.568 cpuTime=0.52 mem=15M403
1.99
1.99 search
1.99 run=9 nbConstraintChecks=1835845 nbPropagations=106128 nbRevisions=600073 nbUselessRevisions=361694
2.00 nbAssignments=1836 nbFailedAssignments=446 nbBacktracks=1160 nbVisitedNodes=2597 nbRestartNogoods=27
2.00 mapSize=520 nbInferences=3 nbTooLargeKeys=0
2.00 => wckTime=0.765 cpuTime=0.69 mem=15M403
2.32
2.32 search
2.32 run=10 nbConstraintChecks=2734061 nbPropagations=150809 nbRevisions=894212 nbUselessRevisions=542990
2.32 nbAssignments=2775 nbFailedAssignments=780 nbBacktracks=1736 nbVisitedNodes=4045 nbRestartNogoods=31
2.32 mapSize=818 nbInferences=5 nbTooLargeKeys=0
2.32 => wckTime=1.086 cpuTime=1.0 mem=15M403
2.78
2.78 search
2.78 run=11 nbConstraintChecks=4091005 nbPropagations=218293 nbRevisions=1368319 nbUselessRevisions=839830
2.78 nbAssignments=4167 nbFailedAssignments=1274 nbBacktracks=2605 nbVisitedNodes=6218 nbRestartNogoods=39
2.78 mapSize=1285 nbInferences=10 nbTooLargeKeys=0
2.78 => wckTime=1.547 cpuTime=1.45 mem=16M378
3.43
3.43 search
3.43 run=12 nbConstraintChecks=5882432 nbPropagations=317246 nbRevisions=2127097 nbUselessRevisions=1336446
3.43 nbAssignments=6240 nbFailedAssignments=2025 nbBacktracks=3903 nbVisitedNodes=9475 nbRestartNogoods=47
3.43 mapSize=1998 nbInferences=10 nbTooLargeKeys=0
3.43 => wckTime=2.203 cpuTime=2.09 mem=16M378
3.47
3.47 INFO : Stopping hyperNogood (mapSize=2012, nbTooLargekeys=0, mem=16M378)
4.40
4.40 search
4.40 run=13 nbConstraintChecks=8762763 nbPropagations=463950 nbRevisions=3342918 nbUselessRevisions=2156593
4.40 nbAssignments=9365 nbFailedAssignments=3174 nbBacktracks=5854 nbVisitedNodes=14302 nbRestartNogoods=63
4.40 => wckTime=3.175 cpuTime=3.06 mem=16M378
6.06
6.06 search
6.06 run=14 nbConstraintChecks=13883385 nbPropagations=691018 nbRevisions=5315446 nbUselessRevisions=3504778
6.06 nbAssignments=14179 nbFailedAssignments=5047 nbBacktracks=8773 nbVisitedNodes=22049 nbRestartNogoods=69
6.06 => wckTime=4.831 cpuTime=4.7 mem=16M378
8.92
8.92 search
8.92 run=15 nbConstraintChecks=22783687 nbPropagations=1051636 nbRevisions=8698229 nbUselessRevisions=5882126
8.92 nbAssignments=21739 nbFailedAssignments=8208 nbBacktracks=13153 nbVisitedNodes=34414 nbRestartNogoods=78
8.92 => wckTime=7.688 cpuTime=7.53 mem=16M378
13.04
13.04 search
13.04 run=16 nbConstraintChecks=36254461 nbPropagations=1609815 nbRevisions=14039230 nbUselessRevisions=9638130
13.04 nbAssignments=33242 nbFailedAssignments=13119 nbBacktracks=19723 nbVisitedNodes=53316 nbRestartNogoods=97
13.04 => wckTime=11.809 cpuTime=11.61 mem=16M378
19.02
19.02 search
19.02 run=17 nbConstraintChecks=53820717 nbPropagations=2449028 nbRevisions=22304430 nbUselessRevisions=15495352
19.02 nbAssignments=50351 nbFailedAssignments=20355 nbBacktracks=29578 nbVisitedNodes=81253 nbRestartNogoods=111
19.02 => wckTime=17.788 cpuTime=17.53 mem=16M378
27.10
27.10 search
27.10 run=18 nbConstraintChecks=77222924 nbPropagations=3665475 nbRevisions=34613201 nbUselessRevisions=24357983
27.10 nbAssignments=74668 nbFailedAssignments=29874 nbBacktracks=44356 nbVisitedNodes=120149 nbRestartNogoods=119
27.10 => wckTime=25.871 cpuTime=25.54 mem=16M378
40.13
40.13 search
40.13 run=19 nbConstraintChecks=122843583 nbPropagations=5485089 nbRevisions=53241048 nbUselessRevisions=37712949
40.13 nbAssignments=114270 nbFailedAssignments=47282 nbBacktracks=66526 nbVisitedNodes=185302 nbRestartNogoods=129
40.13 => wckTime=38.897 cpuTime=38.45 mem=16M378
57.43
57.43 search
57.43 run=20 nbConstraintChecks=168300190 nbPropagations=8134383 nbRevisions=81179471 nbUselessRevisions=58304295
57.43 nbAssignments=167860 nbFailedAssignments=67594 nbBacktracks=99782 nbVisitedNodes=271449 nbRestartNogoods=150
57.43 => wckTime=56.202 cpuTime=55.59 mem=16M378
87.12
87.12 search
87.12 run=21 nbConstraintChecks=270123732 nbPropagations=12173756 nbRevisions=123116999 nbUselessRevisions=88681008
87.12 nbAssignments=252131 nbFailedAssignments=101959 nbBacktracks=149660 nbVisitedNodes=409084 nbRestartNogoods=161
87.12 => wckTime=85.893 cpuTime=85.01 mem=16M378
133.18
133.18 search
133.18 run=22 nbConstraintChecks=416079891 nbPropagations=18376341 nbRevisions=185715688 nbUselessRevisions=133693096
133.18 nbAssignments=384888 nbFailedAssignments=159878 nbBacktracks=224479 nbVisitedNodes=629365 nbRestartNogoods=180
133.18 => wckTime=131.948 cpuTime=130.65 mem=16M378
193.27
193.27 search
193.27 run=23 nbConstraintChecks=575200298 nbPropagations=27483038 nbRevisions=280349238 nbUselessRevisions=203222897
193.27 nbAssignments=567838 nbFailedAssignments=230576 nbBacktracks=336709 nbVisitedNodes=926900 nbRestartNogoods=203
193.27 => wckTime=192.036 cpuTime=190.18 mem=16M378
299.24
299.24 search
299.24 run=24 nbConstraintChecks=923382381 nbPropagations=41561265 nbRevisions=423928958 nbUselessRevisions=306505868
299.24 nbAssignments=855835 nbFailedAssignments=350211 nbBacktracks=505051 nbVisitedNodes=1401249 nbRestartNogoods=214
299.24 => wckTime=298.008 cpuTime=295.18 mem=16M378
441.63
441.63 search
441.63 run=25 nbConstraintChecks=1323152658 nbPropagations=62318220 nbRevisions=641110549 nbUselessRevisions=465904234
441.63 nbAssignments=1261751 nbFailedAssignments=503594 nbBacktracks=757562 nbVisitedNodes=2054836
441.63 nbRestartNogoods=232
441.63 => wckTime=440.403 cpuTime=436.26 mem=16M378
716.06
716.06 search
716.06 run=26 nbConstraintChecks=2325159223 nbPropagations=95290037 nbRevisions=982138846 nbUselessRevisions=713956713
716.06 nbAssignments=1964693 nbFailedAssignments=827757 nbBacktracks=1136330 nbVisitedNodes=3248398
716.06 nbRestartNogoods=253
716.06 => wckTime=714.827 cpuTime=708.15 mem=16M378
1020.03
1020.03 search
1020.03 run=27 nbConstraintChecks=3134395028 nbPropagations=142787671 nbRevisions=1482207479
1020.03 nbUselessRevisions=1082307403 nbAssignments=2880562 nbFailedAssignments=1175448 nbBacktracks=1704482
1020.03 nbVisitedNodes=4726873 nbRestartNogoods=269
1020.03 => wckTime=1018.8 cpuTime=1009.34 mem=16M378
1601.95
1601.95 search
1601.95 run=28 nbConstraintChecks=5187404749 nbPropagations=218884046 nbRevisions=2259024513
1601.95 nbUselessRevisions=1647079978 nbAssignments=4409934 nbFailedAssignments=1852575 nbBacktracks=2556711
1601.95 nbVisitedNodes=7334032 nbRestartNogoods=280
1601.95 => wckTime=1600.72 cpuTime=1589.21 mem=16M378
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-221218-1168080013 -o ROOT/results/node12/solver-221218-1168080013 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221218-1168080013/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.17 1.67 1.84 4/93 22324
/proc/meminfo: memFree=1582568/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=18540 CPUtime=0
/proc/22323/stat : 22323 (runsolver) R 22321 22323 22032 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156396663 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22323/statm: 4635 279 244 17 0 2626 0
[startup+0.109888 s]
/proc/loadavg: 1.17 1.67 1.84 4/93 22324
/proc/meminfo: memFree=1582568/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=906128 CPUtime=0.02
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 1931 0 1 0 1 1 0 0 17 0 1 0 156396663 927875072 1680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153548488 0 4 0 7368 0 0 0 17 1 0 0
/proc/22323/statm: 226532 1680 975 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128
[startup+0.517957 s]
/proc/loadavg: 1.17 1.67 1.84 4/93 22324
/proc/meminfo: memFree=1582568/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915328 CPUtime=0.42
/proc/22323/stat : 22323 (java) S 22321 22323 22032 0 -1 0 6202 0 1 0 39 3 0 0 18 0 8 0 156396663 937295872 5941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228832 5941 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.3411 s]
/proc/loadavg: 1.17 1.67 1.84 3/100 22331
/proc/meminfo: memFree=1554800/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1.23
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9732 0 1 0 108 15 0 0 17 0 8 0 156396663 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9470 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 17 0 8 0 156396674 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.26
/proc/22323/task/22329/stat : 22329 (java) R 22321 22323 22032 0 -1 64 473 0 0 0 25 1 0 0 20 0 8 0 156396678 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915764
[startup+2.9944 s]
/proc/loadavg: 1.32 1.70 1.84 3/100 22331
/proc/meminfo: memFree=1554416/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=2.87
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9757 0 1 0 272 15 0 0 25 0 8 0 156396663 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9494 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 17 0 8 0 156396674 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.31
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 495 0 0 0 30 1 0 0 16 0 8 0 156396678 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915764
[startup+6.27799 s]
/proc/loadavg: 1.32 1.70 1.84 3/100 22331
/proc/meminfo: memFree=1554352/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=6.12
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9760 0 1 0 597 15 0 0 25 0 8 0 156396663 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9495 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.31
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915764
[startup+12.7662 s]
/proc/loadavg: 1.50 1.72 1.85 3/100 22331
/proc/meminfo: memFree=1554352/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=12.54
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9760 0 1 0 1239 15 0 0 25 0 8 0 156396663 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9495 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.31
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915764
[startup+25.6165 s]
/proc/loadavg: 1.58 1.73 1.85 3/100 22331
/proc/meminfo: memFree=1554352/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=25.28
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9760 0 1 0 2513 15 0 0 25 0 8 0 156396663 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9495 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.31
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915764
[startup+51.2271 s]
/proc/loadavg: 1.72 1.75 1.85 3/100 22331
/proc/meminfo: memFree=1554416/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=50.66
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9760 0 1 0 5050 16 0 0 25 0 8 0 156396663 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9495 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.31
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915764
[startup+102.442 s]
/proc/loadavg: 1.97 1.81 1.86 3/100 22331
/proc/meminfo: memFree=1554352/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=101.4
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9761 0 1 0 10124 16 0 0 25 0 8 0 156396663 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22323/statm: 228941 9496 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.31
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 497 0 0 0 30 1 0 0 16 0 8 0 156396678 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915764
[startup+162.505 s]
/proc/loadavg: 1.99 1.84 1.87 3/100 22331
/proc/meminfo: memFree=1554352/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=160.9
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9761 0 1 0 16074 16 0 0 25 0 8 0 156396663 937742336 9496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.49
Current children cumulated vsize (KiB) 915764
[startup+1483.83 s]
/proc/loadavg: 1.98 1.89 1.87 3/100 22587
/proc/meminfo: memFree=1459432/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1472.49
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 147213 36 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.49
Current children cumulated vsize (KiB) 915764
[startup+1543.93 s]
/proc/loadavg: 1.99 1.91 1.87 4/100 22587
/proc/meminfo: memFree=1459432/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1532.44
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 153208 36 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.44
Current children cumulated vsize (KiB) 915764
[startup+1603.93 s]
/proc/loadavg: 2.03 1.93 1.88 3/100 22587
/proc/meminfo: memFree=1459368/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1592.38
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 159201 37 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.38
Current children cumulated vsize (KiB) 915764
[startup+1663.94 s]
/proc/loadavg: 2.12 1.97 1.90 3/100 22587
/proc/meminfo: memFree=1459312/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1652.32
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 165195 37 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979133 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.32
Current children cumulated vsize (KiB) 915764
[startup+1724.03 s]
/proc/loadavg: 2.22 2.02 1.92 3/100 22587
/proc/meminfo: memFree=1459248/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1712.36
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 171199 37 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.36
Current children cumulated vsize (KiB) 915764
[startup+1784.13 s]
/proc/loadavg: 2.08 2.02 1.92 3/100 22587
/proc/meminfo: memFree=1459248/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1772.38
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 177201 37 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.38
Current children cumulated vsize (KiB) 915764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.83 s]
/proc/loadavg: 2.05 2.01 1.92 3/100 22587
/proc/meminfo: memFree=1459184/2055920 swapFree=4160348/4192956
[pid=22323] ppid=22321 vsize=915764 CPUtime=1800.06
/proc/22323/stat : 22323 (java) R 22321 22323 22032 0 -1 0 9764 0 1 0 179969 37 0 0 25 0 8 0 156396663 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22323/statm: 228941 9497 2530 14 0 215411 0
[pid=22323/tid=22325] ppid=22321 vsize=915764 CPUtime=0.04
/proc/22323/task/22325/stat : 22325 (java) S 22321 22323 22032 0 -1 64 375 0 0 0 4 0 0 0 16 0 8 0 156396674 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22326] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22326/stat : 22326 (java) S 22321 22323 22032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22327] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22327/stat : 22327 (java) S 22321 22323 22032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396675 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22328] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22328/stat : 22328 (java) S 22321 22323 22032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22329] ppid=22321 vsize=915764 CPUtime=0.32
/proc/22323/task/22329/stat : 22329 (java) S 22321 22323 22032 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22330] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22330/stat : 22330 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22323/tid=22331] ppid=22321 vsize=915764 CPUtime=0
/proc/22323/task/22331/stat : 22331 (java) S 22321 22323 22032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396678 937742336 9497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.9
CPU time (s): 1800.13
CPU user time (s): 1799.75
CPU system time (s): 0.378942
CPU usage (%): 99.3504
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.378942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9782
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= 37681
involuntary context switches= 77462
runsolver used 2.50562 s user time and 5.48616 s system time
The end
Begin job on node12 on Sat Jan 6 10:40:15 UTC 2007
IDJOB= 221218
IDBENCH= 5402
FILE ID= node12/221218-1168080013
PBS_JOBID= 3475851
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221218-1168080013/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-221218-1168080013 -o ROOT/results/node12/solver-221218-1168080013 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221218-1168080013/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 16844b2a8a95da9ff87f9b9658283ef6
RANDOM SEED= 527934020
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1583048 kB
Buffers: 34768 kB
Cached: 263352 kB
SwapCached: 4684 kB
Active: 157416 kB
Inactive: 234640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583048 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 113668 kB
Slab: 65648 kB
Committed_AS: 4778440 kB
PageTables: 2248 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= 66315 MiB
End job on node12 on Sat Jan 6 11:10:28 UTC 2007