0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/237613-1168083343/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.63 nbVariables=2916 nbDomainTypes=1 minDomainSize=54 maxDomainSize=54
0.63 => wckTime=0.277 cpuTime=0.2 mem=15M680
0.63
0.63 predicates being loaded...
0.63
0.63 constraints being loaded...
4.88
4.88 INFO : Stopping converting binary constraints (cpu=4.01, mem = 76M72)
5.92 nbConstraints=77327 nbConvertedConstraints=26916 nbConvertConstraintsChecks=11664 nbExtensionStructures=4
5.92 nbSharedExtensionStructures=26912 nbConflictsStructures=4 nbSharedConflictsStructures=26912
5.92 nbSharedBinaryRepresentations=323 nbEvaluationManagers=4 nbSharedEvaluationManagers=50407 maxDegree=54
5.92 maxArity=2
5.92 => wckTime=5.566 cpuTime=4.62 mem=100M471
6.36
6.36 solver IterativeSystematicSolver being built...
7.21 => wckTime=6.855 cpuTime=5.2 mem=120M26
9.69
9.69 preprocessing
9.69 nbConstraintChecks=5441836 nbValidityChecks=102278 nbPropagations=2916 nbRevisions=100822
9.69 nbUselessRevisions=100822 nbRemovedValues=0 detectedInconsistency=no
9.69 => wckTime=2.464 cpuTime=2.44 mem=120M26
13.62
13.62 search
13.62 run=0 nbConstraintChecks=6267527 nbValidityChecks=11287586 nbPropagations=11552 nbRevisions=342362
13.62 nbUselessRevisions=333856 nbAssignments=219 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=240
13.62 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
13.62 => wckTime=6.4 cpuTime=6.35 mem=124M329
15.50
15.50 search
15.50 run=1 nbConstraintChecks=7745179 nbValidityChecks=22807437 nbPropagations=31881 nbRevisions=932576
15.50 nbUselessRevisions=906931 nbAssignments=448 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=495
15.50 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
15.50 => wckTime=8.282 cpuTime=8.2 mem=128M466
17.37
17.37 search
17.37 run=2 nbConstraintChecks=9110836 nbValidityChecks=34453589 nbPropagations=61212 nbRevisions=1772218
17.37 nbUselessRevisions=1720582 nbAssignments=696 nbFailedAssignments=39 nbBacktracks=47 nbVisitedNodes=776
17.37 nbRestartNogoods=7 mapSize=47 nbInferences=1 nbTooLargeKeys=0
17.37 => wckTime=10.147 cpuTime=10.07 mem=132M915
19.22
19.22 search
19.22 run=3 nbConstraintChecks=10323197 nbValidityChecks=46146678 nbPropagations=99823 nbRevisions=2860052
19.22 nbUselessRevisions=2773290 nbAssignments=964 nbFailedAssignments=64 nbBacktracks=80 nbVisitedNodes=1094
19.22 nbRestartNogoods=9 mapSize=80 nbInferences=1 nbTooLargeKeys=0
19.22 => wckTime=12.0 cpuTime=11.91 mem=138M271
21.28
21.28 search
21.28 run=4 nbConstraintChecks=12014098 nbValidityChecks=58381323 nbPropagations=148069 nbRevisions=4208719
21.28 nbUselessRevisions=4077348 nbAssignments=1269 nbFailedAssignments=102 nbBacktracks=132 nbVisitedNodes=1477
21.28 nbRestartNogoods=12 mapSize=132 nbInferences=3 nbTooLargeKeys=0
21.28 => wckTime=14.055 cpuTime=13.96 mem=142M749
23.48
23.48 search
23.48 run=5 nbConstraintChecks=13660816 nbValidityChecks=70973558 nbPropagations=206397 nbRevisions=5824523
23.48 nbUselessRevisions=5638628 nbAssignments=1621 nbFailedAssignments=154 nbBacktracks=207 nbVisitedNodes=1940
23.48 nbRestartNogoods=15 mapSize=207 nbInferences=10 nbTooLargeKeys=0
23.48 => wckTime=16.264 cpuTime=16.08 mem=112M27
25.67
25.67 search
25.67 run=6 nbConstraintChecks=14856496 nbValidityChecks=83533211 nbPropagations=275345 nbRevisions=7705680
25.67 nbUselessRevisions=7454841 nbAssignments=2049 nbFailedAssignments=227 nbBacktracks=320 nbVisitedNodes=2533
25.67 nbRestartNogoods=21 mapSize=320 nbInferences=29 nbTooLargeKeys=0
25.67 => wckTime=18.446 cpuTime=18.26 mem=119M192
28.22
28.22 search
28.22 run=7 nbConstraintChecks=16438005 nbValidityChecks=96759564 nbPropagations=355621 nbRevisions=9868487
28.22 nbUselessRevisions=9541593 nbAssignments=2583 nbFailedAssignments=337 nbBacktracks=490 nbVisitedNodes=3315
28.22 nbRestartNogoods=27 mapSize=490 nbInferences=57 nbTooLargeKeys=0
28.22 => wckTime=21.003 cpuTime=20.81 mem=127M701
31.11
31.11 search
31.11 run=8 nbConstraintChecks=17952865 nbValidityChecks=110528585 nbPropagations=448212 nbRevisions=12326674
31.11 nbUselessRevisions=11911663 nbAssignments=3283 nbFailedAssignments=502 nbBacktracks=746 nbVisitedNodes=4396
31.11 nbRestartNogoods=30 mapSize=746 nbInferences=108 nbTooLargeKeys=0
31.11 => wckTime=23.888 cpuTime=23.7 mem=138M597
34.72
34.72 search
34.72 run=9 nbConstraintChecks=19320774 nbValidityChecks=124514581 nbPropagations=554904 nbRevisions=15087340
34.72 nbUselessRevisions=14570698 nbAssignments=4311 nbFailedAssignments=699 nbBacktracks=1130 nbVisitedNodes=6036
34.72 nbRestartNogoods=33 mapSize=1130 nbInferences=326 nbTooLargeKeys=0
34.72 => wckTime=27.497 cpuTime=27.3 mem=157M223
39.14
39.14 search
39.14 run=10 nbConstraintChecks=20735717 nbValidityChecks=138892195 nbPropagations=677905 nbRevisions=18164245
39.14 nbUselessRevisions=17530433 nbAssignments=5744 nbFailedAssignments=1009 nbBacktracks=1707 nbVisitedNodes=8390
39.14 nbRestartNogoods=42 mapSize=1707 nbInferences=627 nbTooLargeKeys=0
39.14 => wckTime=31.924 cpuTime=31.66 mem=160M575
44.82
44.82 search
44.82 run=11 nbConstraintChecks=22497285 nbValidityChecks=153963485 nbPropagations=820311 nbRevisions=21579169
44.82 nbUselessRevisions=20809871 nbAssignments=7774 nbFailedAssignments=1475 nbBacktracks=2572 nbVisitedNodes=11807
44.82 nbRestartNogoods=45 mapSize=2572 nbInferences=1082 nbTooLargeKeys=0
44.82 => wckTime=37.598 cpuTime=37.27 mem=174M374
52.29
52.29 search
52.29 run=12 nbConstraintChecks=24403103 nbValidityChecks=169680125 nbPropagations=986602 nbRevisions=25356525
52.29 nbUselessRevisions=24429370 nbAssignments=10703 nbFailedAssignments=2183 nbBacktracks=3870 nbVisitedNodes=16820
52.29 nbRestartNogoods=47 mapSize=3870 nbInferences=1750 nbTooLargeKeys=0
52.29 => wckTime=45.069 cpuTime=44.67 mem=207M941
64.11
64.11 search
64.11 run=13 nbConstraintChecks=26279847 nbValidityChecks=186021043 nbPropagations=1187138 nbRevisions=29538174
64.11 nbUselessRevisions=28422466 nbAssignments=15563 nbFailedAssignments=3054 nbBacktracks=5816 nbVisitedNodes=25205
64.11 nbRestartNogoods=51 mapSize=5816 nbInferences=3533 nbTooLargeKeys=0
64.11 => wckTime=56.886 cpuTime=56.36 mem=257M99
82.66
82.66 search
82.66 run=14 nbConstraintChecks=28276437 nbValidityChecks=203193309 nbPropagations=1439267 nbRevisions=34197803
82.66 nbUselessRevisions=32849422 nbAssignments=23514 nbFailedAssignments=4136 nbBacktracks=8737 nbVisitedNodes=38996
82.66 nbRestartNogoods=54 mapSize=8737 nbInferences=7209 nbTooLargeKeys=0
82.66 => wckTime=75.437 cpuTime=74.77 mem=337M250
108.19
108.19 search
108.19 run=15 nbConstraintChecks=30866093 nbValidityChecks=220935804 nbPropagations=1759527 nbRevisions=39386834
108.19 nbUselessRevisions=37746370 nbAssignments=34871 nbFailedAssignments=6037 nbBacktracks=13116
108.19 nbVisitedNodes=58961 nbRestartNogoods=63 mapSize=13116 nbInferences=12015 nbTooLargeKeys=0
108.19 => wckTime=100.967 cpuTime=100.04 mem=435M984
148.08
148.08 INFO : Stopping hyperNogood (mapSize=18899, nbTooLargekeys=0, mem=600M979)
149.51
149.51 search
149.51 run=16 nbConstraintChecks=33142799 nbValidityChecks=240014596 nbPropagations=2193840 nbRevisions=45306259
149.51 nbUselessRevisions=43278811 nbAssignments=53701 nbFailedAssignments=8399 nbBacktracks=19685
149.51 nbVisitedNodes=92134 nbRestartNogoods=77
149.51 => wckTime=142.291 cpuTime=141.05 mem=600M979
167.85
167.85 search
167.85 run=17 nbConstraintChecks=35364387 nbValidityChecks=258991421 nbPropagations=2715514 nbRevisions=51796249
167.85 nbUselessRevisions=49294620 nbAssignments=70605 nbFailedAssignments=15162 nbBacktracks=29537
167.85 nbVisitedNodes=122564 nbRestartNogoods=93
167.85 => wckTime=160.634 cpuTime=159.38 mem=600M979
194.29
194.29 search
194.29 run=18 nbConstraintChecks=37519057 nbValidityChecks=278808544 nbPropagations=3362093 nbRevisions=58959846
194.29 nbUselessRevisions=55859328 nbAssignments=95856 nbFailedAssignments=25340 nbBacktracks=44315
194.29 nbVisitedNodes=168171 nbRestartNogoods=104
194.29 => wckTime=187.067 cpuTime=185.8 mem=600M979
232.79
232.79 search
232.79 run=19 nbConstraintChecks=40005143 nbValidityChecks=299572694 nbPropagations=4189726 nbRevisions=66946887
232.79 nbUselessRevisions=63066593 nbAssignments=133598 nbFailedAssignments=40609 nbBacktracks=66483
232.79 nbVisitedNodes=236451 nbRestartNogoods=116
232.79 => wckTime=225.575 cpuTime=224.25 mem=600M979
289.08
289.08 search
289.08 run=20 nbConstraintChecks=42452736 nbValidityChecks=321129283 nbPropagations=5282438 nbRevisions=75966839
289.08 nbUselessRevisions=71041872 nbAssignments=190070 nbFailedAssignments=63522 nbBacktracks=99735
289.08 nbVisitedNodes=338749 nbRestartNogoods=135
289.08 => wckTime=281.859 cpuTime=280.46 mem=600M979
371.75
371.75 search
371.75 run=21 nbConstraintChecks=45587013 nbValidityChecks=344172337 nbPropagations=6766170 nbRevisions=86342084
371.75 nbUselessRevisions=79981668 nbAssignments=274694 nbFailedAssignments=97951 nbBacktracks=149614
371.75 nbVisitedNodes=492231 nbRestartNogoods=147
371.75 => wckTime=364.533 cpuTime=363.06 mem=600M979
495.83
495.83 search
495.83 run=22 nbConstraintChecks=49503156 nbValidityChecks=369100004 nbPropagations=8830258 nbRevisions=98545341
495.83 nbUselessRevisions=90169374 nbAssignments=401663 nbFailedAssignments=149776 nbBacktracks=224432
495.83 nbVisitedNodes=722850 nbRestartNogoods=157
495.83 => wckTime=488.609 cpuTime=486.98 mem=600M979
678.53
678.53 search
678.53 run=23 nbConstraintChecks=54530921 nbValidityChecks=396485901 nbPropagations=11757849 nbRevisions=113282162
678.53 nbUselessRevisions=102027349 nbAssignments=592003 nbFailedAssignments=227550 nbBacktracks=336660
678.53 nbVisitedNodes=1068738 nbRestartNogoods=171
678.53 => wckTime=671.312 cpuTime=669.49 mem=600M979
945.16
945.16 search
945.16 run=24 nbConstraintChecks=60889904 nbValidityChecks=426748766 nbPropagations=15973452 nbRevisions=131590518
945.16 nbUselessRevisions=116169071 nbAssignments=877307 nbFailedAssignments=344171 nbBacktracks=505001
945.16 nbVisitedNodes=1587284 nbRestartNogoods=185
945.16 => wckTime=937.944 cpuTime=935.8 mem=600M979
1332.82
1332.82 search
1332.82 run=25 nbConstraintChecks=69706451 nbValidityChecks=462110548 nbPropagations=22109747 nbRevisions=155069256
1332.82 nbUselessRevisions=133557813 nbAssignments=1304018 nbFailedAssignments=518014 nbBacktracks=757512
1332.82 nbVisitedNodes=2361681 nbRestartNogoods=205
1332.82 => wckTime=1325.596 cpuTime=1323.01 mem=600M979
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-237613-1168083343 -o ROOT/results/node21/solver-237613-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237613-1168083343/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.18 1.69 1.71 4/93 22544
/proc/meminfo: memFree=1530520/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=172 CPUtime=0
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156730956 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 0 0 0
/proc/22543/statm: 43 24 18 14 0 3 0
[startup+0.108162 s]
/proc/loadavg: 1.18 1.69 1.71 4/93 22544
/proc/meminfo: memFree=1530520/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=907808 CPUtime=0.05
/proc/22543/stat : 22543 (java) D 22541 22543 21801 0 -1 0 2507 0 1 0 4 1 0 0 21 0 4 0 156730956 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.521721 s]
/proc/loadavg: 1.18 1.69 1.71 4/93 22544
/proc/meminfo: memFree=1530520/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915328 CPUtime=0.44
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 6575 0 1 0 41 3 0 0 23 0 8 0 156730956 937295872 6314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228832 6314 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.35081 s]
/proc/loadavg: 1.18 1.69 1.71 3/100 22551
/proc/meminfo: memFree=1464928/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915644 CPUtime=1.27
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 18777 0 1 0 117 10 0 0 25 0 8 0 156730956 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228911 18515 2160 14 0 215381 0
[pid=22543/tid=22545] ppid=22541 vsize=915644 CPUtime=0.05
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 2237 0 0 0 5 0 0 0 17 0 8 0 156730960 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915644 CPUtime=0.14
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915644
[startup+2.99371 s]
/proc/loadavg: 1.18 1.69 1.71 3/100 22551
/proc/meminfo: memFree=1446624/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915648 CPUtime=2.91
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 24498 0 1 0 277 14 0 0 25 0 8 0 156730956 937623552 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228911 24232 2180 14 0 215381 0
[pid=22543/tid=22545] ppid=22541 vsize=915644 CPUtime=0.33
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 7885 0 0 0 31 2 0 0 16 0 8 0 156730960 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915648 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937623552 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915644 CPUtime=0.15
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 156730969 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915648 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937623552 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915648
[startup+6.28886 s]
/proc/loadavg: 1.24 1.70 1.71 3/100 22551
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=916148 CPUtime=6.21
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 31890 0 1 0 508 113 0 0 25 0 8 0 156730956 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 229037 31556 2189 14 0 215507 0
[pid=22543/tid=22545] ppid=22541 vsize=916148 CPUtime=1.13
/proc/22543/task/22545/stat : 22545 (java) R 22541 22543 21801 0 -1 64 15228 0 0 0 108 5 0 0 18 0 8 0 156730960 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525778 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=916148 CPUtime=0.19
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 441 0 0 0 19 0 0 0 15 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 916148
[startup+12.776 s]
/proc/loadavg: 1.30 1.70 1.71 3/100 22551
/proc/meminfo: memFree=1370912/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=12.69
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 42772 0 1 0 1151 118 0 0 25 0 8 0 156730956 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 42352 2535 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=1.38
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 25576 0 0 0 129 9 0 0 16 0 8 0 156730960 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.33
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 545 0 0 0 32 1 0 0 15 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915872
[startup+25.633 s]
/proc/loadavg: 1.46 1.71 1.72 3/100 22551
/proc/meminfo: memFree=1359648/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=25.5
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 45593 0 1 0 2431 119 0 0 25 0 8 0 156730956 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 45166 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=1.45
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 28369 0 0 0 135 10 0 0 16 0 8 0 156730960 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.37
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 563 0 0 0 36 1 0 0 16 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915872
[startup+51.2653 s]
/proc/loadavg: 1.64 1.74 1.73 3/100 22551
/proc/meminfo: memFree=1277536/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=51.12
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 66104 0 1 0 4985 127 0 0 25 0 8 0 156730956 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 65670 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=1.63
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 48867 0 0 0 145 18 0 0 16 0 8 0 156730960 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.38
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 569 0 0 0 37 1 0 0 16 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915872
[startup+102.521 s]
/proc/loadavg: 1.99 1.81 1.75 3/100 22551
/proc/meminfo: memFree=1090208/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=102.33
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 118133 0 1 0 10085 148 0 0 25 0 8 0 156730956 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 117690 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.04
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 100887 0 0 0 166 38 0 0 16 0 8 0 156730960 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.38
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 569 0 0 0 37 1 0 0 16 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915872
[startup+162.622 s]
/proc/loadavg: 1.99 1.84 1.76 3/100 22551
/proc/meminfo: memFree=919200/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=162.34
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155532 0 1 0 16071 163 0 0 25 0 8 0 156730956 937852928 155080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 915872
[startup+1483.94 s]
/proc/loadavg: 2.12 2.06 1.94 3/100 22609
/proc/meminfo: memFree=507496/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1482.17
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 148048 169 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 915872
[startup+1544.02 s]
/proc/loadavg: 2.04 2.05 1.94 3/106 22751
/proc/meminfo: memFree=486056/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1542.13
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 154035 178 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 915872
[startup+1604.12 s]
/proc/loadavg: 2.01 2.04 1.94 3/100 22807
/proc/meminfo: memFree=466720/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1602.13
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 160028 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 915872
[startup+1664.19 s]
/proc/loadavg: 2.00 2.03 1.94 3/100 22807
/proc/meminfo: memFree=445664/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1662.14
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 166029 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 915872
[startup+1724.25 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 22807
/proc/meminfo: memFree=445600/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1722.15
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 172030 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 915872
[startup+1784.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 22807
/proc/meminfo: memFree=445536/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1782.11
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 178026 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.29 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 22807
/proc/meminfo: memFree=445536/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1800.09
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 179824 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.44
CPU time (s): 1800.24
CPU user time (s): 1798.3
CPU system time (s): 1.9467
CPU usage (%): 99.8781
Max. virtual memory (cumulated for all children) (KiB): 916148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.3
system time used= 1.9467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155550
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= 38487
involuntary context switches= 80548
runsolver used 2.05069 s user time and 5.9371 s system time
The end
Begin job on node21 on Sat Jan 6 11:35:48 UTC 2007
IDJOB= 237613
IDBENCH= 6952
FILE ID= node21/237613-1168083343
PBS_JOBID= 3476122
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_54.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237613-1168083343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-237613-1168083343 -o ROOT/results/node21/solver-237613-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237613-1168083343/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 19223f33b07fb306db25b88716a23e2c
RANDOM SEED= 372712756
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.261
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.261
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: 1530872 kB
Buffers: 35908 kB
Cached: 215828 kB
SwapCached: 0 kB
Active: 333636 kB
Inactive: 119500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1530872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11180 kB
Writeback: 0 kB
Mapped: 230436 kB
Slab: 56508 kB
Committed_AS: 3785048 kB
PageTables: 2464 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= 66535 MiB
End job on node21 on Sat Jan 6 12:06:12 UTC 2007