0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/217961-1168079523/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.55 nbVariables=990 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.56 => wckTime=0.194 cpuTime=0.13 mem=9M844
0.56
0.56 predicates being loaded...
0.56
0.56 constraints being loaded...
2.36 nbConstraints=14190 nbConflictsStructures=1 nbSharedConflictsStructures=14189 nbSharedBinaryRepresentations=0
2.36 nbEvaluationManagers=1 nbSharedEvaluationManagers=14189 maxDegree=43 maxArity=3
2.36 => wckTime=1.998 cpuTime=1.75 mem=38M82
2.50
2.50 solver IterativeSystematicSolver being built...
2.92 => wckTime=2.559 cpuTime=2.08 mem=59M653
3.01
3.01 preprocessing
3.01 nbConstraintChecks=0 nbPropagations=990 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.01 detectedInconsistency=no
3.01 => wckTime=0.079 cpuTime=0.07 mem=60M657
3.08
3.08 search
3.08 run=0 nbConstraintChecks=727 nbValidityChecks=302 nbPropagations=1171 nbRevisions=296 nbUselessRevisions=149
3.08 nbAssignments=57 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=75 nbRestartNogoods=0 mapSize=9
3.08 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=0.152 cpuTime=0.13 mem=61M726
3.17
3.17 search
3.17 run=1 nbConstraintChecks=5416 nbValidityChecks=2815 nbPropagations=2834 nbRevisions=2275
3.17 nbUselessRevisions=1548 nbAssignments=215 nbFailedAssignments=24 nbBacktracks=27 nbVisitedNodes=263
3.17 nbRestartNogoods=8 mapSize=26 nbInferences=0 nbTooLargeKeys=0
3.17 => wckTime=0.246 cpuTime=0.21 mem=61M726
3.29
3.29 search
3.29 run=2 nbConstraintChecks=13322 nbValidityChecks=8254 nbPropagations=5240 nbRevisions=7137
3.29 nbUselessRevisions=5140 nbAssignments=451 nbFailedAssignments=42 nbBacktracks=49 nbVisitedNodes=535
3.29 nbRestartNogoods=20 mapSize=47 nbInferences=0 nbTooLargeKeys=0
3.29 => wckTime=0.365 cpuTime=0.33 mem=61M726
3.55
3.57 search
3.57 run=3 nbConstraintChecks=26026 nbValidityChecks=18376 nbPropagations=8726 nbRevisions=17275
3.57 nbUselessRevisions=12909 nbAssignments=796 nbFailedAssignments=67 nbBacktracks=82 nbVisitedNodes=918
3.57 nbRestartNogoods=34 mapSize=72 nbInferences=0 nbTooLargeKeys=0
3.57 => wckTime=0.624 cpuTime=0.58 mem=61M726
3.94
3.95 search
3.95 run=4 nbConstraintChecks=44263 nbValidityChecks=34481 nbPropagations=13646 nbRevisions=34980
3.95 nbUselessRevisions=26697 nbAssignments=1229 nbFailedAssignments=90 nbBacktracks=137 nbVisitedNodes=1394
3.95 nbRestartNogoods=46 mapSize=104 nbInferences=0 nbTooLargeKeys=0
3.95 => wckTime=1.021 cpuTime=0.97 mem=61M726
4.42
4.43 search
4.43 run=5 nbConstraintChecks=68666 nbValidityChecks=59440 nbPropagations=20296 nbRevisions=63129
4.43 nbUselessRevisions=48746 nbAssignments=1722 nbFailedAssignments=124 nbBacktracks=212 nbVisitedNodes=1950
4.43 nbRestartNogoods=55 mapSize=151 nbInferences=0 nbTooLargeKeys=0
4.43 => wckTime=1.5 cpuTime=1.43 mem=62M730
4.72
4.73 search
4.73 run=6 nbConstraintChecks=95078 nbValidityChecks=92408 nbPropagations=28871 nbRevisions=104405
4.73 nbUselessRevisions=81337 nbAssignments=2241 nbFailedAssignments=163 nbBacktracks=327 nbVisitedNodes=2550
4.73 nbRestartNogoods=70 mapSize=219 nbInferences=0 nbTooLargeKeys=0
4.73 => wckTime=1.798 cpuTime=1.72 mem=62M730
5.59
5.60 search
5.60 run=7 nbConstraintChecks=145544 nbValidityChecks=153911 nbPropagations=40400 nbRevisions=170887
5.60 nbUselessRevisions=134410 nbAssignments=2934 nbFailedAssignments=237 nbBacktracks=501 nbVisitedNodes=3384
5.60 nbRestartNogoods=82 mapSize=337 nbInferences=0 nbTooLargeKeys=0
5.60 => wckTime=2.665 cpuTime=2.58 mem=63M734
6.55
6.55 search
6.55 run=8 nbConstraintChecks=208383 nbValidityChecks=236703 nbPropagations=55478 nbRevisions=268455
6.55 nbUselessRevisions=212577 nbAssignments=3734 nbFailedAssignments=340 nbBacktracks=761 nbVisitedNodes=4372
6.55 nbRestartNogoods=102 mapSize=489 nbInferences=0 nbTooLargeKeys=0
6.55 => wckTime=3.631 cpuTime=3.54 mem=63M734
8.07
8.07 search
8.07 run=9 nbConstraintChecks=311606 nbValidityChecks=371089 nbPropagations=75884 nbRevisions=416694
8.07 nbUselessRevisions=331262 nbAssignments=4753 nbFailedAssignments=517 nbBacktracks=1148 nbVisitedNodes=5727
8.07 nbRestartNogoods=129 mapSize=776 nbInferences=0 nbTooLargeKeys=0
8.07 => wckTime=5.144 cpuTime=5.04 mem=64M738
8.79
8.79 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=23M595)
8.97
8.97 search
8.97 run=10 nbConstraintChecks=434622 nbValidityChecks=540938 nbPropagations=103174 nbRevisions=625822
8.97 nbUselessRevisions=498372 nbAssignments=6066 nbFailedAssignments=804 nbBacktracks=1731 nbVisitedNodes=7564
8.97 nbRestartNogoods=158
8.97 => wckTime=6.048 cpuTime=5.87 mem=23M595
9.57
9.57 search
9.57 run=11 nbConstraintChecks=630329 nbValidityChecks=804366 nbPropagations=140230 nbRevisions=929157
9.57 nbUselessRevisions=740106 nbAssignments=7801 nbFailedAssignments=1180 nbBacktracks=2596 nbVisitedNodes=10018
9.57 nbRestartNogoods=203
9.57 => wckTime=6.643 cpuTime=6.46 mem=23M595
10.37
10.37 search
10.37 run=12 nbConstraintChecks=936878 nbValidityChecks=1237143 nbPropagations=191656 nbRevisions=1388981
10.37 nbUselessRevisions=1107896 nbAssignments=10117 nbFailedAssignments=1711 nbBacktracks=3893 nbVisitedNodes=13358
10.37 nbRestartNogoods=247
10.37 => wckTime=7.446 cpuTime=7.26 mem=23M595
11.21
11.21 search
11.21 run=13 nbConstraintChecks=1094873 nbValidityChecks=1464845 nbPropagations=255423 nbRevisions=1932747
11.21 nbUselessRevisions=1536882 nbAssignments=12868 nbFailedAssignments=2366 nbBacktracks=5841 nbVisitedNodes=17365
11.21 nbRestartNogoods=275
11.21 => wckTime=8.289 cpuTime=8.1 mem=23M595
12.80
12.80 search
12.80 run=14 nbConstraintChecks=1626814 nbValidityChecks=2235636 nbPropagations=345174 nbRevisions=2766686
12.80 nbUselessRevisions=2200211 nbAssignments=17143 nbFailedAssignments=3256 nbBacktracks=8760 nbVisitedNodes=23410
12.80 nbRestartNogoods=290
12.80 => wckTime=9.879 cpuTime=9.68 mem=23M595
15.23
15.23 search
15.23 run=15 nbConstraintChecks=2517538 nbValidityChecks=3544170 nbPropagations=477789 nbRevisions=4098610
15.23 nbUselessRevisions=3267970 nbAssignments=23422 nbFailedAssignments=4712 nbBacktracks=13139 nbVisitedNodes=32517
15.23 nbRestartNogoods=319
15.23 => wckTime=12.302 cpuTime=12.09 mem=23M595
17.45
17.45 search
17.45 run=16 nbConstraintChecks=2739344 nbValidityChecks=3871859 nbPropagations=637939 nbRevisions=5577891
17.45 nbUselessRevisions=4438814 nbAssignments=31524 nbFailedAssignments=6152 nbBacktracks=19712 nbVisitedNodes=43375
17.45 nbRestartNogoods=354
17.45 => wckTime=14.528 cpuTime=14.31 mem=23M595
21.20
21.20 search
21.20 run=17 nbConstraintChecks=3324191 nbValidityChecks=4844920 nbPropagations=847947 nbRevisions=7421947
21.20 nbUselessRevisions=5884609 nbAssignments=43528 nbFailedAssignments=8151 nbBacktracks=29568 nbVisitedNodes=59311
21.20 nbRestartNogoods=359
21.20 => wckTime=18.279 cpuTime=18.02 mem=23M595
28.15
28.15 search
28.15 run=18 nbConstraintChecks=4705029 nbValidityChecks=7577525 nbPropagations=1165996 nbRevisions=10303437
28.15 nbUselessRevisions=8156334 nbAssignments=61847 nbFailedAssignments=11428 nbBacktracks=44354
28.15 nbVisitedNodes=84064 nbRestartNogoods=368
28.15 => wckTime=25.228 cpuTime=24.94 mem=23M595
40.50
40.50 search
40.50 run=19 nbConstraintChecks=8694098 nbValidityChecks=13754594 nbPropagations=1690881 nbRevisions=15640676
40.50 nbUselessRevisions=12442422 nbAssignments=91538 nbFailedAssignments=18549 nbBacktracks=66522
40.50 nbVisitedNodes=127533 nbRestartNogoods=377
40.50 => wckTime=37.578 cpuTime=37.24 mem=23M595
59.62
59.62 search
59.62 run=20 nbConstraintChecks=15162497 nbValidityChecks=24071017 nbPropagations=2544174 nbRevisions=25162924
59.62 nbUselessRevisions=20201100 nbAssignments=136184 nbFailedAssignments=29531 nbBacktracks=99775
59.62 nbVisitedNodes=193358 nbRestartNogoods=413
59.62 => wckTime=56.701 cpuTime=56.29 mem=23M595
78.66
78.66 search
78.66 run=21 nbConstraintChecks=17442793 nbValidityChecks=27764919 nbPropagations=3676924 nbRevisions=36341091
78.66 nbUselessRevisions=29136164 nbAssignments=197287 nbFailedAssignments=40621 nbBacktracks=149667
78.66 nbVisitedNodes=276563 nbRestartNogoods=440
78.66 => wckTime=75.738 cpuTime=75.23 mem=23M595
111.42
111.42 search
111.42 run=22 nbConstraintChecks=23639200 nbValidityChecks=37696090 nbPropagations=5287714 nbRevisions=51299448
111.42 nbUselessRevisions=40933045 nbAssignments=292640 nbFailedAssignments=60963 nbBacktracks=224485
111.42 nbVisitedNodes=412479 nbRestartNogoods=446
111.42 => wckTime=108.499 cpuTime=107.82 mem=23M595
162.30
162.30 search
162.30 run=23 nbConstraintChecks=33768117 nbValidityChecks=57107468 nbPropagations=7667517 nbRevisions=74084480
162.30 nbUselessRevisions=59049967 nbAssignments=428856 nbFailedAssignments=84662 nbBacktracks=336734
162.30 nbVisitedNodes=595216 nbRestartNogoods=466
162.30 => wckTime=159.374 cpuTime=158.46 mem=23M595
255.30
255.30 search
255.30 run=24 nbConstraintChecks=63395065 nbValidityChecks=103123181 nbPropagations=11620637 nbRevisions=115797745
255.30 nbUselessRevisions=92811478 nbAssignments=650276 nbFailedAssignments=137359 nbBacktracks=505076
255.30 nbVisitedNodes=921008 nbRestartNogoods=478
255.30 => wckTime=252.377 cpuTime=251.34 mem=23M595
390.95
390.95 search
390.95 run=25 nbConstraintChecks=103997109 nbValidityChecks=168097480 nbPropagations=17711074 nbRevisions=182722629
390.95 nbUselessRevisions=147069288 nbAssignments=983844 nbFailedAssignments=217989 nbBacktracks=757595
390.95 nbVisitedNodes=1414784 nbRestartNogoods=504
390.95 => wckTime=388.027 cpuTime=386.95 mem=23M595
615.49
615.49 search
615.49 run=26 nbConstraintChecks=183335795 nbValidityChecks=285017650 nbPropagations=27524868 nbRevisions=295503263
615.49 nbUselessRevisions=238895273 nbAssignments=1498763 nbFailedAssignments=353778 nbBacktracks=1136369
615.49 nbVisitedNodes=2194657 nbRestartNogoods=546
615.49 => wckTime=612.562 cpuTime=611.43 mem=23M595
841.06
841.06 search
841.06 run=27 nbConstraintChecks=211380570 nbValidityChecks=327356262 nbPropagations=40298323 nbRevisions=425994105
841.06 nbUselessRevisions=343478898 nbAssignments=2220467 nbFailedAssignments=507227 nbBacktracks=1704520
841.06 nbVisitedNodes=3219345 nbRestartNogoods=570
841.06 => wckTime=838.136 cpuTime=836.94 mem=23M595
1324.78
1324.78 search
1324.78 run=28 nbConstraintChecks=362354942 nbValidityChecks=565336716 nbPropagations=60572547 nbRevisions=650611683
1324.78 nbUselessRevisions=525529587 nbAssignments=3346885 nbFailedAssignments=780974 nbBacktracks=2556756
1324.78 nbVisitedNodes=4877254 nbRestartNogoods=585
1324.78 => wckTime=1321.861 cpuTime=1320.53 mem=23M595
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-217961-1168079523 -o ROOT/results/node40/solver-217961-1168079523 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217961-1168079523/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.49 1.83 1.78 3/68 27448
/proc/meminfo: memFree=1744312/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=1500 CPUtime=0
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 156351927 1536000 60 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6912721 0 0 4096 0 0 0 0 17 1 0 0
/proc/27447/statm: 363 70 54 14 0 8 0
[startup+0.107304 s]
/proc/loadavg: 1.49 1.83 1.78 3/68 27448
/proc/meminfo: memFree=1744312/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=907676 CPUtime=0.03
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 2225 0 1 0 2 1 0 0 19 0 4 0 156351927 929460224 1972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609669 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 226919 1972 1117 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515356 s]
/proc/loadavg: 1.49 1.83 1.78 3/68 27448
/proc/meminfo: memFree=1744312/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915328 CPUtime=0.43
/proc/27447/stat : 27447 (java) S 27445 27447 26893 0 -1 0 6446 0 1 0 38 5 0 0 17 0 8 0 156351927 937295872 6185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228832 6185 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33746 s]
/proc/loadavg: 1.49 1.83 1.78 2/75 27455
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915632 CPUtime=1.24
/proc/27447/stat : 27447 (java) S 27445 27447 26893 0 -1 0 18804 0 1 0 111 13 0 0 16 0 8 0 156351927 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228908 18541 2178 14 0 215378 0
[pid=27447/tid=27449] ppid=27445 vsize=915632 CPUtime=0.06
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 2204 0 0 0 6 0 0 0 16 0 8 0 156351937 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915632 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915632 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915632 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915632 CPUtime=0.16
/proc/27447/task/27453/stat : 27453 (java) R 27445 27447 26893 0 -1 64 411 0 0 0 15 1 0 0 16 0 8 0 156351941 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152828000 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915632 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915632 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937607168 18541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915632
[startup+2.98968 s]
/proc/loadavg: 1.49 1.83 1.78 2/75 27455
/proc/meminfo: memFree=1678464/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=2.89
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 21823 0 1 0 220 69 0 0 17 0 8 0 156351927 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228970 21546 2532 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.23
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 4722 0 0 0 22 1 0 0 16 0 8 0 156351937 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.25
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 479 0 0 0 24 1 0 0 16 0 8 0 156351941 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 21546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915880
[startup+6.2691 s]
/proc/loadavg: 1.61 1.85 1.79 3/87 27500
/proc/meminfo: memFree=1606496/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=6.15
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 21871 0 1 0 544 71 0 0 18 0 8 0 156351927 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074082814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228970 21591 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.23
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 4723 0 0 0 22 1 0 0 17 0 8 0 156351937 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.32
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 513 0 0 0 30 2 0 0 15 0 8 0 156351941 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 21591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915880
[startup+12.7599 s]
/proc/loadavg: 1.64 1.85 1.79 3/87 27500
/proc/meminfo: memFree=1598496/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=12.61
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 1189 72 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915880
[startup+25.6046 s]
/proc/loadavg: 1.72 1.86 1.79 3/87 27500
/proc/meminfo: memFree=1598560/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=25.38
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 2466 72 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074064891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915880
[startup+51.2229 s]
/proc/loadavg: 1.81 1.87 1.80 3/87 27500
/proc/meminfo: memFree=1598688/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=50.89
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 5016 73 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915880
[startup+102.45 s]
/proc/loadavg: 1.92 1.89 1.81 3/87 27556
/proc/meminfo: memFree=1596000/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=101.88
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 10114 74 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074064941 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915880
[startup+162.528 s]
/proc/loadavg: 1.97 1.91 1.82 3/87 27556
/proc/meminfo: memFree=1596128/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=161.68
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 16093 75 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074064891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.93
Current children cumulated vsize (KiB) 915880
[startup+1484.31 s]
/proc/loadavg: 1.02 1.02 1.18 2/72 27570
/proc/meminfo: memFree=1662872/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1482.99
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 148224 75 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.99
Current children cumulated vsize (KiB) 915880
[startup+1544.4 s]
/proc/loadavg: 1.01 1.01 1.17 2/75 27601
/proc/meminfo: memFree=1657536/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1543.06
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 154230 76 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.06
Current children cumulated vsize (KiB) 915880
[startup+1604.4 s]
/proc/loadavg: 1.04 1.02 1.16 2/75 27654
/proc/meminfo: memFree=1655360/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1603.02
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 160226 76 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.02
Current children cumulated vsize (KiB) 915880
[startup+1664.5 s]
/proc/loadavg: 1.01 1.02 1.15 2/75 27657
/proc/meminfo: memFree=1657472/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1663.11
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 166234 77 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074064938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.11
Current children cumulated vsize (KiB) 915880
[startup+1724.52 s]
/proc/loadavg: 1.34 1.09 1.16 4/87 27702
/proc/meminfo: memFree=1630048/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1723.08
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 172231 77 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.08
Current children cumulated vsize (KiB) 915880
[startup+1784.56 s]
/proc/loadavg: 1.76 1.25 1.21 3/93 27846
/proc/meminfo: memFree=1628848/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1782.95
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 178218 77 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.95
Current children cumulated vsize (KiB) 915880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.72 s]
/proc/loadavg: 1.83 1.30 1.23 3/93 27860
/proc/meminfo: memFree=1628784/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=915880 CPUtime=1800.1
/proc/27447/stat : 27447 (java) R 27445 27447 26893 0 -1 0 23854 0 1 0 179933 77 0 0 25 0 8 0 156351927 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074110315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228970 23570 2538 14 0 215440 0
[pid=27447/tid=27449] ppid=27445 vsize=915880 CPUtime=0.31
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 26893 0 -1 64 6695 0 0 0 28 3 0 0 16 0 8 0 156351937 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 26893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351938 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915880 CPUtime=0.34
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 26893 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 26893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915880 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 26893 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156351941 937861120 23570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.8
CPU time (s): 1800.19
CPU user time (s): 1799.39
CPU system time (s): 0.792879
CPU usage (%): 99.9102
Max. virtual memory (cumulated for all children) (KiB): 915952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.792879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23869
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= 37569
involuntary context switches= 13887
runsolver used 1.82572 s user time and 4.64529 s system time
The end
Begin job on node40 on Sat Jan 6 10:32:04 UTC 2007
IDJOB= 217961
IDBENCH= 5184
FILE ID= node40/217961-1168079523
PBS_JOBID= 3476070
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-45-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217961-1168079523/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-217961-1168079523 -o ROOT/results/node40/solver-217961-1168079523 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217961-1168079523/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6951a7d2d3323bc93e7e3c6c379c36c0
RANDOM SEED= 748018926
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.239
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.239
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: 1744728 kB
Buffers: 20428 kB
Cached: 199280 kB
SwapCached: 0 kB
Active: 67648 kB
Inactive: 173124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1744728 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3876 kB
Writeback: 0 kB
Mapped: 31292 kB
Slab: 56176 kB
Committed_AS: 2944472 kB
PageTables: 1620 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= 66541 MiB
End job on node40 on Sat Jan 6 11:02:16 UTC 2007