0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210327-1168075051/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=293 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.112 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.68 nbConstraints=236 nbConflictsStructures=6 nbSharedConflictsStructures=230 nbSharedBinaryRepresentations=0
0.68 nbEvaluationManagers=6 nbSharedEvaluationManagers=230 maxDegree=14 maxArity=15
0.68 => wckTime=0.378 cpuTime=0.26 mem=13M786
0.72
0.72 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.622 cpuTime=0.42 mem=18M894
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=293 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.011 cpuTime=0.01 mem=18M894
1.06
1.06 search
1.06 run=0 nbConstraintChecks=9745 nbValidityChecks=316 nbPropagations=590 nbRevisions=553 nbUselessRevisions=248
1.06 nbAssignments=255 nbFailedAssignments=1 nbBacktracks=164 nbVisitedNodes=258 nbRestartNogoods=0 mapSize=1
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.142 cpuTime=0.12 mem=19M918
1.18
1.18 search
1.18 run=1 nbConstraintChecks=33722 nbValidityChecks=872 nbPropagations=1530 nbRevisions=1766
1.18 nbUselessRevisions=784 nbAssignments=525 nbFailedAssignments=3 nbBacktracks=190 nbVisitedNodes=532
1.18 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.26 cpuTime=0.23 mem=19M918
1.25
1.25 search
1.25 run=2 nbConstraintChecks=49511 nbValidityChecks=1571 nbPropagations=2794 nbRevisions=3785
1.25 nbUselessRevisions=1788 nbAssignments=655 nbFailedAssignments=4 nbBacktracks=228 nbVisitedNodes=665
1.25 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.328 cpuTime=0.29 mem=19M918
1.34
1.34 search
1.34 run=3 nbConstraintChecks=79678 nbValidityChecks=2645 nbPropagations=4438 nbRevisions=6908
1.34 nbUselessRevisions=3486 nbAssignments=794 nbFailedAssignments=6 nbBacktracks=272 nbVisitedNodes=810
1.34 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.34 => wckTime=0.418 cpuTime=0.37 mem=19M918
1.43
1.43 search
1.43 run=4 nbConstraintChecks=109829 nbValidityChecks=3694 nbPropagations=6462 nbRevisions=11094
1.43 nbUselessRevisions=5838 nbAssignments=945 nbFailedAssignments=8 nbBacktracks=327 nbVisitedNodes=967
1.43 nbRestartNogoods=4 mapSize=16 nbInferences=2 nbTooLargeKeys=0
1.43 => wckTime=0.505 cpuTime=0.46 mem=19M918
1.57
1.57 search
1.57 run=5 nbConstraintChecks=158504 nbValidityChecks=5057 nbPropagations=8964 nbRevisions=16612
1.57 nbUselessRevisions=9001 nbAssignments=1175 nbFailedAssignments=11 nbBacktracks=406 nbVisitedNodes=1206
1.57 nbRestartNogoods=5 mapSize=23 nbInferences=4 nbTooLargeKeys=0
1.57 => wckTime=0.651 cpuTime=0.6 mem=19M918
1.71
1.71 search
1.71 run=6 nbConstraintChecks=203087 nbValidityChecks=6293 nbPropagations=11931 nbRevisions=23317
1.71 nbUselessRevisions=12832 nbAssignments=1427 nbFailedAssignments=14 nbBacktracks=558 nbVisitedNodes=1467
1.71 nbRestartNogoods=7 mapSize=30 nbInferences=5 nbTooLargeKeys=0
1.71 => wckTime=0.791 cpuTime=0.73 mem=19M918
1.92
1.92 search
1.92 run=7 nbConstraintChecks=258948 nbValidityChecks=9244 nbPropagations=15965 nbRevisions=32615
1.92 nbUselessRevisions=18177 nbAssignments=1765 nbFailedAssignments=18 nbBacktracks=759 nbVisitedNodes=1827
1.92 nbRestartNogoods=9 mapSize=48 nbInferences=18 nbTooLargeKeys=0
1.92 => wckTime=0.997 cpuTime=0.92 mem=19M918
2.26
2.26 search
2.26 run=8 nbConstraintChecks=431625 nbValidityChecks=12649 nbPropagations=20936 nbRevisions=44614
2.26 nbUselessRevisions=25144 nbAssignments=2143 nbFailedAssignments=37 nbBacktracks=1015 nbVisitedNodes=2243
2.26 nbRestartNogoods=13 mapSize=81 nbInferences=18 nbTooLargeKeys=0
2.26 => wckTime=1.344 cpuTime=1.27 mem=20M894
2.83
2.83 search
2.83 run=9 nbConstraintChecks=733799 nbValidityChecks=23429 nbPropagations=28560 nbRevisions=66851
2.83 nbUselessRevisions=38112 nbAssignments=2715 nbFailedAssignments=76 nbBacktracks=1403 nbVisitedNodes=2910
2.84 nbRestartNogoods=14 mapSize=173 nbInferences=19 nbTooLargeKeys=0
2.84 => wckTime=1.913 cpuTime=1.83 mem=20M894
3.09
3.09 search
3.09 run=10 nbConstraintChecks=797003 nbValidityChecks=45293 nbPropagations=41097 nbRevisions=113281
3.09 nbUselessRevisions=70036 nbAssignments=3611 nbFailedAssignments=232 nbBacktracks=1988 nbVisitedNodes=4023
3.09 nbRestartNogoods=17 mapSize=377 nbInferences=28 nbTooLargeKeys=0
3.09 => wckTime=2.169 cpuTime=2.07 mem=20M894
4.35
4.35 search
4.35 run=11 nbConstraintChecks=1651085 nbValidityChecks=56554 nbPropagations=57267 nbRevisions=165940
4.35 nbUselessRevisions=104540 nbAssignments=4668 nbFailedAssignments=305 nbBacktracks=2852 nbVisitedNodes=5245
4.35 nbRestartNogoods=30 mapSize=539 nbInferences=28 nbTooLargeKeys=0
4.35 => wckTime=3.431 cpuTime=3.32 mem=21M869
4.92
4.92 search
4.92 run=12 nbConstraintChecks=1896211 nbValidityChecks=76294 nbPropagations=80360 nbRevisions=229921
4.92 nbUselessRevisions=143088 nbAssignments=6291 nbFailedAssignments=461 nbBacktracks=4149 nbVisitedNodes=7186
4.92 nbRestartNogoods=32 mapSize=852 nbInferences=28 nbTooLargeKeys=0
4.92 => wckTime=4.001 cpuTime=3.89 mem=22M844
6.92
6.92 search
6.92 run=13 nbConstraintChecks=3183115 nbValidityChecks=99799 nbPropagations=110401 nbRevisions=307313
6.92 nbUselessRevisions=186566 nbAssignments=8532 nbFailedAssignments=596 nbBacktracks=6099 nbVisitedNodes=9753
6.92 nbRestartNogoods=36 mapSize=1175 nbInferences=28 nbTooLargeKeys=0
6.92 => wckTime=5.994 cpuTime=5.88 mem=23M819
10.15
10.15 search
10.15 run=14 nbConstraintChecks=5276251 nbValidityChecks=133824 nbPropagations=150896 nbRevisions=403925
10.15 nbUselessRevisions=236976 nbAssignments=11793 nbFailedAssignments=793 nbBacktracks=9042 nbVisitedNodes=13503
10.15 nbRestartNogoods=39 mapSize=1657 nbInferences=28 nbTooLargeKeys=0
10.15 => wckTime=9.226 cpuTime=9.09 mem=24M794
15.22
15.22 search
15.22 run=15 nbConstraintChecks=8563259 nbValidityChecks=191299 nbPropagations=211310 nbRevisions=533134
15.22 nbUselessRevisions=298569 nbAssignments=16725 nbFailedAssignments=1206 nbBacktracks=13443 nbVisitedNodes=19263
15.22 nbRestartNogoods=41 mapSize=2483 nbInferences=28 nbTooLargeKeys=0
15.22 => wckTime=14.295 cpuTime=14.14 mem=27M720
21.98
21.98 search
21.98 run=16 nbConstraintChecks=12900172 nbValidityChecks=263807 nbPropagations=294075 nbRevisions=704195
21.98 nbUselessRevisions=374610 nbAssignments=23872 nbFailedAssignments=1646 nbBacktracks=20011 nbVisitedNodes=27442
21.98 nbRestartNogoods=43 mapSize=3512 nbInferences=28 nbTooLargeKeys=0
21.98 => wckTime=21.055 cpuTime=20.86 mem=30M645
31.08
31.08 INFO : Stopping hyperNogood (mapSize=5603, nbTooLargekeys=0, mem=35M521)
31.20
31.20 search
31.20 run=17 nbConstraintChecks=18642439 nbValidityChecks=375471 nbPropagations=414046 nbRevisions=939365
31.20 nbUselessRevisions=475143 nbAssignments=34768 nbFailedAssignments=2549 nbBacktracks=29866 nbVisitedNodes=40455
31.20 nbRestartNogoods=46
31.20 => wckTime=30.279 cpuTime=30.04 mem=35M521
45.65
45.65 search
45.65 run=18 nbConstraintChecks=28867119 nbValidityChecks=565649 nbPropagations=593848 nbRevisions=1284285
45.65 nbUselessRevisions=612507 nbAssignments=50892 nbFailedAssignments=3750 nbBacktracks=44652 nbVisitedNodes=59535
45.65 nbRestartNogoods=51
45.65 => wckTime=44.729 cpuTime=44.41 mem=35M521
65.10
65.10 search
65.10 run=19 nbConstraintChecks=42460654 nbValidityChecks=818937 nbPropagations=859505 nbRevisions=1773071
65.10 nbUselessRevisions=799328 nbAssignments=75226 nbFailedAssignments=5782 nbBacktracks=66820 nbVisitedNodes=88637
65.10 nbRestartNogoods=55
65.10 => wckTime=64.183 cpuTime=63.77 mem=35M521
98.87
98.87 search
98.87 run=20 nbConstraintChecks=66420124 nbValidityChecks=1237131 nbPropagations=1260528 nbRevisions=2501550
98.87 nbUselessRevisions=1069188 nbAssignments=111483 nbFailedAssignments=8635 nbBacktracks=100073
98.87 nbVisitedNodes=131443 nbRestartNogoods=60
98.87 => wckTime=97.951 cpuTime=97.38 mem=35M521
154.69
154.69 search
154.69 run=21 nbConstraintChecks=106109179 nbValidityChecks=1863516 nbPropagations=1869844 nbRevisions=3580795
154.69 nbUselessRevisions=1465593 nbAssignments=165827 nbFailedAssignments=12968 nbBacktracks=149954
154.69 nbVisitedNodes=195885 nbRestartNogoods=65
154.69 => wckTime=153.769 cpuTime=152.94 mem=35M521
244.28
244.28 search
244.28 run=22 nbConstraintChecks=170106749 nbValidityChecks=2849439 nbPropagations=2790518 nbRevisions=5224314
244.28 nbUselessRevisions=2065191 nbAssignments=247203 nbFailedAssignments=19398 nbBacktracks=224788
244.28 nbVisitedNodes=292902 nbRestartNogoods=69
244.28 => wckTime=243.356 cpuTime=242.11 mem=35M521
390.65
390.65 search
390.65 run=23 nbConstraintChecks=275300037 nbValidityChecks=4448057 nbPropagations=4202032 nbRevisions=7796143
390.65 nbUselessRevisions=2996454 nbAssignments=369784 nbFailedAssignments=29603 nbBacktracks=337016
390.65 nbVisitedNodes=440392 nbRestartNogoods=72
390.65 => wckTime=389.732 cpuTime=387.8 mem=35M521
581.89
581.89 search
581.89 run=24 nbConstraintChecks=403813043 nbValidityChecks=6473257 nbPropagations=6277490 nbRevisions=11508092
581.89 nbUselessRevisions=4338500 nbAssignments=550714 nbFailedAssignments=42049 nbBacktracks=505372
581.89 nbVisitedNodes=652708 nbRestartNogoods=77
581.89 => wckTime=580.968 cpuTime=577.46 mem=35M521
847.29
847.29 search
847.29 run=25 nbConstraintChecks=578893823 nbValidityChecks=9926454 nbPropagations=9490478 nbRevisions=17185999
847.29 nbUselessRevisions=6395871 nbAssignments=822815 nbFailedAssignments=61478 nbBacktracks=757899
847.29 nbVisitedNodes=982826 nbRestartNogoods=81
847.29 => wckTime=846.368 cpuTime=840.59 mem=35M521
1257.83
1257.83 search
1257.83 run=26 nbConstraintChecks=848555530 nbValidityChecks=14759597 nbPropagations=14253725 nbRevisions=25678411
1257.83 nbUselessRevisions=9438238 nbAssignments=1231391 nbFailedAssignments=91136 nbBacktracks=1136678
1257.83 nbVisitedNodes=1467392 nbRestartNogoods=86
1257.83 => wckTime=1256.911 cpuTime=1247.41 mem=35M521
1670.87
1670.87 search
1670.87 run=27 nbConstraintChecks=1108137140 nbValidityChecks=22691094 nbPropagations=21521757 nbRevisions=38655426
1670.87 nbUselessRevisions=14065269 nbAssignments=1844667 nbFailedAssignments=136134 nbBacktracks=1704835
1670.87 nbVisitedNodes=2218920 nbRestartNogoods=91
1670.87 => wckTime=1669.947 cpuTime=1656.69 mem=35M521
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-210327-1168075051 -o ROOT/results/node26/solver-210327-1168075051 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210327-1168075051/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: 0.54 0.72 0.96 3/93 20143
/proc/meminfo: memFree=1294408/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=172 CPUtime=0
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155899539 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12591403 0 0 4096 0 0 0 0 17 0 0 0
/proc/20142/statm: 43 24 18 14 0 3 0
[startup+0.107551 s]
/proc/loadavg: 0.54 0.72 0.96 3/93 20143
/proc/meminfo: memFree=1294408/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=914988 CPUtime=0.09
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 3065 0 1 0 8 1 0 0 23 0 8 0 155899539 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515589 s]
/proc/loadavg: 0.54 0.72 0.96 3/93 20143
/proc/meminfo: memFree=1294408/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915328 CPUtime=0.5
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 7240 0 1 0 46 4 0 0 25 0 8 0 155899539 937295872 6979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228832 6988 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33867 s]
/proc/loadavg: 0.54 0.72 0.96 3/100 20150
/proc/meminfo: memFree=1265616/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915460 CPUtime=1.31
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 9894 0 1 0 123 8 0 0 25 0 8 0 155899539 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228865 9632 2532 14 0 215335 0
[pid=20142/tid=20144] ppid=20140 vsize=915460 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915460 CPUtime=0.23
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 155899546 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937431040 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.99182 s]
/proc/loadavg: 0.54 0.72 0.96 3/100 20150
/proc/meminfo: memFree=1264272/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915460 CPUtime=2.95
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 10185 0 1 0 287 8 0 0 25 0 8 0 155899539 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073902776 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228865 9921 2532 14 0 215335 0
[pid=20142/tid=20144] ppid=20140 vsize=915460 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 17 0 8 0 155899543 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915460 CPUtime=0.27
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 419 0 0 0 26 1 0 0 15 0 8 0 155899546 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915460 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937431040 9921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27913 s]
/proc/loadavg: 0.66 0.74 0.96 3/100 20150
/proc/meminfo: memFree=1260624/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=6.22
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 10752 0 1 0 614 8 0 0 25 0 8 0 155899539 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228898 10485 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 17 0 8 0 155899543 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.27
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 422 0 0 0 26 1 0 0 15 0 8 0 155899546 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 10485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915592
[startup+12.7717 s]
/proc/loadavg: 0.76 0.76 0.97 3/100 20150
/proc/meminfo: memFree=1254672/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=12.67
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 11502 0 1 0 1259 8 0 0 25 0 8 0 155899539 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073920646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228898 11234 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.27
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 155899546 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915592
[startup+25.6159 s]
/proc/loadavg: 1.04 0.82 0.98 3/100 20150
/proc/meminfo: memFree=1245904/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=25.46
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 12943 0 1 0 2537 9 0 0 25 0 8 0 155899539 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073695683 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228898 12675 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 12675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915592
[startup+51.2403 s]
/proc/loadavg: 1.37 0.91 1.01 3/100 20150
/proc/meminfo: memFree=1235408/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=50.96
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13734 0 1 0 5086 10 0 0 25 0 8 0 155899539 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073887627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228898 13465 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915592
[startup+102.483 s]
/proc/loadavg: 1.72 1.08 1.06 3/100 20152
/proc/meminfo: memFree=1228688/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=101.95
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13741 0 1 0 10185 10 0 0 25 0 8 0 155899539 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20142/statm: 228898 13472 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915592
[startup+162.575 s]
/proc/loadavg: 1.95 1.26 1.12 3/100 20152
/proc/meminfo: memFree=1228624/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=161.77
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13744 0 1 0 16167 10 0 0 25 0 8 0 155899539 937566208 13475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.76
Current children cumulated vsize (KiB) 915592
[startup+1483.75 s]
/proc/loadavg: 2.11 2.03 1.78 3/100 20320
/proc/meminfo: memFree=1037328/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1472.26
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13759 0 1 0 147206 20 0 0 25 0 8 0 155899539 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13490 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1472.26
Current children cumulated vsize (KiB) 915592
[startup+1543.79 s]
/proc/loadavg: 2.10 2.04 1.80 3/100 20320
/proc/meminfo: memFree=1037392/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1531.76
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13759 0 1 0 153155 21 0 0 25 0 8 0 155899539 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13490 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.76
Current children cumulated vsize (KiB) 915592
[startup+1603.84 s]
/proc/loadavg: 2.03 2.03 1.81 3/100 20320
/proc/meminfo: memFree=1037328/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1591.26
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13759 0 1 0 159105 21 0 0 25 0 8 0 155899539 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683445 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13490 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.26
Current children cumulated vsize (KiB) 915592
[startup+1663.88 s]
/proc/loadavg: 2.01 2.02 1.82 3/100 20320
/proc/meminfo: memFree=1037328/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1650.75
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13759 0 1 0 165054 21 0 0 25 0 8 0 155899539 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13490 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.75
Current children cumulated vsize (KiB) 915592
[startup+1723.92 s]
/proc/loadavg: 2.00 2.02 1.83 3/100 20320
/proc/meminfo: memFree=1037328/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1710.26
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13762 0 1 0 171004 22 0 0 25 0 8 0 155899539 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13493 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.26
Current children cumulated vsize (KiB) 915592
[startup+1783.97 s]
/proc/loadavg: 2.07 2.03 1.84 3/100 20320
/proc/meminfo: memFree=1037264/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1769.75
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13762 0 1 0 176953 22 0 0 25 0 8 0 155899539 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13493 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.75
Current children cumulated vsize (KiB) 915592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.59 s]
/proc/loadavg: 2.04 2.02 1.84 3/100 20320
/proc/meminfo: memFree=1037264/2055920 swapFree=4192812/4192956
[pid=20142] ppid=20140 vsize=915592 CPUtime=1800.1
/proc/20142/stat : 20142 (java) R 20140 20142 19831 0 -1 0 13762 0 1 0 179988 22 0 0 25 0 8 0 155899539 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20142/statm: 228898 13493 2532 14 0 215368 0
[pid=20142/tid=20144] ppid=20140 vsize=915592 CPUtime=0.03
/proc/20142/task/20144/stat : 20144 (java) S 20140 20142 19831 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20145] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20145/stat : 20145 (java) S 20140 20142 19831 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20146] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20146/stat : 20146 (java) S 20140 20142 19831 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899543 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20147] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20147/stat : 20147 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20148] ppid=20140 vsize=915592 CPUtime=0.28
/proc/20142/task/20148/stat : 20148 (java) S 20140 20142 19831 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20149] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20149/stat : 20149 (java) S 20140 20142 19831 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20142/tid=20150] ppid=20140 vsize=915592 CPUtime=0
/proc/20142/task/20150/stat : 20150 (java) S 20140 20142 19831 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899546 937566208 13493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.63
CPU time (s): 1800.13
CPU user time (s): 1799.9
CPU system time (s): 0.232964
CPU usage (%): 99.2012
Max. virtual memory (cumulated for all children) (KiB): 915592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13781
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= 38054
involuntary context switches= 61669
runsolver used 1.9947 s user time and 6.04108 s system time
The end
Begin job on node26 on Sat Jan 6 09:17:33 UTC 2007
IDJOB= 210327
IDBENCH= 4611
FILE ID= node26/210327-1168075051
PBS_JOBID= 3476032
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-15-13.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210327-1168075051/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-210327-1168075051 -o ROOT/results/node26/solver-210327-1168075051 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210327-1168075051/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 484be45bb21187452705ba7aa3fbcd63
RANDOM SEED= 47748887
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.236
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.236
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: 1294888 kB
Buffers: 42272 kB
Cached: 535320 kB
SwapCached: 0 kB
Active: 167800 kB
Inactive: 517872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1294888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4032 kB
Writeback: 0 kB
Mapped: 137128 kB
Slab: 59908 kB
Committed_AS: 3558252 kB
PageTables: 2408 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 node26 on Sat Jan 6 09:47:47 UTC 2007