0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214886-1168077771/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.55 nbVariables=3204 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.239 cpuTime=0.16 mem=11M778
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
3.26 nbConstraints=24883 nbConvertedConstraints=24258 nbConvertConstraintsChecks=65608 nbExtensionStructures=2
3.26 nbSharedExtensionStructures=24256 nbConflictsStructures=4 nbSharedConflictsStructures=24879
3.26 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=623 maxDegree=145 maxArity=16
3.26 => wckTime=2.949 cpuTime=2.64 mem=57M642
3.46
3.46 solver IterativeSystematicSolver being built...
3.81 => wckTime=3.503 cpuTime=2.91 mem=64M827
3.86
3.86 preprocessing
3.86 nbConstraintChecks=0 nbPropagations=3204 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.86 detectedInconsistency=no
3.86 => wckTime=0.042 cpuTime=0.03 mem=65M836
5.49
5.49 search
5.49 run=0 nbConstraintChecks=53894 nbValidityChecks=7419 nbPropagations=6702 nbRevisions=35511
5.49 nbUselessRevisions=32195 nbAssignments=205 nbFailedAssignments=3 nbBacktracks=13 nbVisitedNodes=212
5.49 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
5.49 => wckTime=1.673 cpuTime=1.63 mem=65M836
7.02
7.02 search
7.02 run=1 nbConstraintChecks=107581 nbValidityChecks=14195 nbPropagations=16974 nbRevisions=105459
7.02 nbUselessRevisions=95440 nbAssignments=410 nbFailedAssignments=6 nbBacktracks=29 nbVisitedNodes=423
7.02 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
7.02 => wckTime=3.209 cpuTime=3.16 mem=65M836
8.81
8.81 search
8.81 run=2 nbConstraintChecks=167160 nbValidityChecks=24843 nbPropagations=32568 nbRevisions=217164
8.81 nbUselessRevisions=195303 nbAssignments=636 nbFailedAssignments=11 nbBacktracks=54 nbVisitedNodes=659
8.81 nbRestartNogoods=4 mapSize=15 nbInferences=0 nbTooLargeKeys=0
8.81 => wckTime=4.999 cpuTime=4.95 mem=66M844
10.75
10.75 search
10.75 run=3 nbConstraintChecks=232704 nbValidityChecks=38414 nbPropagations=55289 nbRevisions=376931
10.75 nbUselessRevisions=336284 nbAssignments=877 nbFailedAssignments=18 nbBacktracks=90 nbVisitedNodes=914
10.75 nbRestartNogoods=7 mapSize=27 nbInferences=0 nbTooLargeKeys=0
10.75 => wckTime=6.933 cpuTime=6.88 mem=66M844
12.90
12.90 search
12.90 run=4 nbConstraintChecks=304958 nbValidityChecks=56179 nbPropagations=86672 nbRevisions=592066
12.90 nbUselessRevisions=524152 nbAssignments=1138 nbFailedAssignments=28 nbBacktracks=142 nbVisitedNodes=1195
12.90 nbRestartNogoods=9 mapSize=45 nbInferences=0 nbTooLargeKeys=0
12.90 => wckTime=9.082 cpuTime=9.02 mem=66M844
15.38
15.38 search
15.38 run=5 nbConstraintChecks=382153 nbValidityChecks=77216 nbPropagations=128177 nbRevisions=868489
15.38 nbUselessRevisions=763365 nbAssignments=1427 nbFailedAssignments=40 nbBacktracks=224 nbVisitedNodes=1508
15.38 nbRestartNogoods=11 mapSize=68 nbInferences=0 nbTooLargeKeys=0
15.38 => wckTime=11.567 cpuTime=11.5 mem=66M844
18.70
18.70 search
18.70 run=6 nbConstraintChecks=476092 nbValidityChecks=108839 nbPropagations=184615 nbRevisions=1225898
18.70 nbUselessRevisions=1068811 nbAssignments=1786 nbFailedAssignments=58 nbBacktracks=337 nbVisitedNodes=1903
18.70 nbRestartNogoods=12 mapSize=102 nbInferences=0 nbTooLargeKeys=0
18.70 => wckTime=14.884 cpuTime=14.8 mem=66M844
23.36
23.36 search
23.36 run=7 nbConstraintChecks=603628 nbValidityChecks=159709 nbPropagations=266858 nbRevisions=1703210
23.36 nbUselessRevisions=1468536 nbAssignments=2247 nbFailedAssignments=88 nbBacktracks=531 nbVisitedNodes=2424
23.36 nbRestartNogoods=14 mapSize=160 nbInferences=0 nbTooLargeKeys=0
23.36 => wckTime=19.548 cpuTime=19.46 mem=67M853
28.97
28.97 search
28.97 run=8 nbConstraintChecks=770663 nbValidityChecks=199164 nbPropagations=384005 nbRevisions=2308757
28.97 nbUselessRevisions=1961726 nbAssignments=2810 nbFailedAssignments=131 nbBacktracks=789 nbVisitedNodes=3073
28.97 nbRestartNogoods=16 mapSize=243 nbInferences=0 nbTooLargeKeys=0
28.97 => wckTime=25.151 cpuTime=25.06 mem=67M853
35.79
35.79 search
35.79 run=9 nbConstraintChecks=1775840 nbValidityChecks=239662 nbPropagations=601905 nbRevisions=3505032
35.79 nbUselessRevisions=2943262 nbAssignments=3561 nbFailedAssignments=291 nbBacktracks=1179 nbVisitedNodes=4081
35.79 nbRestartNogoods=19 mapSize=497 nbInferences=0 nbTooLargeKeys=0
35.79 => wckTime=31.97 cpuTime=31.87 mem=68M862
47.57
47.57 search
47.57 run=10 nbConstraintChecks=6229805 nbValidityChecks=372130 nbPropagations=1064267 nbRevisions=7697946
47.57 nbUselessRevisions=6668720 nbAssignments=4725 nbFailedAssignments=709 nbBacktracks=1785 nbVisitedNodes=5756
47.57 nbRestartNogoods=22 mapSize=995 nbInferences=0 nbTooLargeKeys=0
47.57 => wckTime=43.751 cpuTime=43.64 mem=70M879
49.21
49.21 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=71M887)
54.23
54.23 search
54.23 run=11 nbConstraintChecks=14847245 nbValidityChecks=576814 nbPropagations=1845327 nbRevisions=17309727
54.23 nbUselessRevisions=15479444 nbAssignments=6357 nbFailedAssignments=1361 nbBacktracks=2650 nbVisitedNodes=8108
54.23 nbRestartNogoods=23
54.23 => wckTime=50.42 cpuTime=50.31 mem=71M887
62.08
62.08 search
62.08 run=12 nbConstraintChecks=27159188 nbValidityChecks=932663 nbPropagations=3106889 nbRevisions=34951018
62.08 nbUselessRevisions=31816740 nbAssignments=8610 nbFailedAssignments=2302 nbBacktracks=3953 nbVisitedNodes=11389
62.08 nbRestartNogoods=30
62.08 => wckTime=58.268 cpuTime=58.15 mem=71M887
75.84
75.84 search
75.84 run=13 nbConstraintChecks=50044597 nbValidityChecks=1454887 nbPropagations=5271251 nbRevisions=67452574
75.84 nbUselessRevisions=62073304 nbAssignments=12293 nbFailedAssignments=3971 nbBacktracks=5900 nbVisitedNodes=16979
75.84 nbRestartNogoods=31
75.84 => wckTime=72.029 cpuTime=71.91 mem=71M887
95.17
95.17 search
95.17 run=14 nbConstraintChecks=81779104 nbValidityChecks=2083595 nbPropagations=8666756 nbRevisions=120376935
95.17 nbUselessRevisions=111463074 nbAssignments=17481 nbFailedAssignments=6206 nbBacktracks=8826
95.17 nbVisitedNodes=24829 nbRestartNogoods=45
95.17 => wckTime=91.354 cpuTime=91.23 mem=71M887
123.86
123.86 search
123.86 run=15 nbConstraintChecks=129223244 nbValidityChecks=3340626 nbPropagations=13990238 nbRevisions=204817692
123.86 nbUselessRevisions=190365936 nbAssignments=25091 nbFailedAssignments=9372 nbBacktracks=13205
123.86 nbVisitedNodes=36393 nbRestartNogoods=63
123.86 => wckTime=120.041 cpuTime=119.91 mem=71M887
165.48
165.48 search
165.48 run=16 nbConstraintChecks=197383208 nbValidityChecks=5258128 nbPropagations=22113501 nbRevisions=334752880
165.48 nbUselessRevisions=311862498 nbAssignments=36277 nbFailedAssignments=13941 nbBacktracks=19781
165.48 nbVisitedNodes=53222 nbRestartNogoods=87
165.48 => wckTime=161.661 cpuTime=161.53 mem=71M887
229.70
229.70 search
229.70 run=17 nbConstraintChecks=304305785 nbValidityChecks=8693573 nbPropagations=34468494 nbRevisions=535475235
229.70 nbUselessRevisions=499746886 nbAssignments=52942 nbFailedAssignments=20687 nbBacktracks=29634
229.70 nbVisitedNodes=78798 nbRestartNogoods=90
229.70 => wckTime=225.883 cpuTime=225.73 mem=71M887
330.18
330.18 search
330.18 run=18 nbConstraintChecks=472289892 nbValidityChecks=12272414 nbPropagations=53229048 nbRevisions=843478391
330.18 nbUselessRevisions=788229496 nbAssignments=78957 nbFailedAssignments=31863 nbBacktracks=44414
330.18 nbVisitedNodes=118868 nbRestartNogoods=116
330.18 => wckTime=326.363 cpuTime=326.18 mem=71M887
480.59
480.59 search
480.59 run=19 nbConstraintChecks=722650765 nbValidityChecks=19164515 nbPropagations=82455541 nbRevisions=1320561278
480.59 nbUselessRevisions=1234954482 nbAssignments=118102 nbFailedAssignments=48789 nbBacktracks=66590
480.59 nbVisitedNodes=178894 nbRestartNogoods=143
480.59 => wckTime=476.78 cpuTime=476.56 mem=71M887
710.09
710.09 search
710.09 run=20 nbConstraintChecks=1104652065 nbValidityChecks=29284368 nbPropagations=127419819 nbRevisions=2052335200
710.09 nbUselessRevisions=1920088375 nbAssignments=176868 nbFailedAssignments=74220 nbBacktracks=99858
710.09 nbVisitedNodes=269281 nbRestartNogoods=153
710.09 => wckTime=706.276 cpuTime=705.99 mem=71M887
1051.79
1051.79 search
1051.79 run=21 nbConstraintChecks=1673384485 nbValidityChecks=46045653 nbPropagations=196000300 nbRevisions=3167433118
1051.79 nbUselessRevisions=2964102645 nbAssignments=266445 nbFailedAssignments=113831 nbBacktracks=149737
1051.79 nbVisitedNodes=406239 nbRestartNogoods=164
1051.79 => wckTime=1047.972 cpuTime=1047.61 mem=71M887
1592.96
1592.96 search
1592.96 run=22 nbConstraintChecks=2576819930 nbValidityChecks=71253014 nbPropagations=302136727 nbRevisions=4888673264
1592.96 nbUselessRevisions=4575332237 nbAssignments=403839 nbFailedAssignments=176331 nbBacktracks=224568
1592.96 nbVisitedNodes=618404 nbRestartNogoods=192
1592.96 => wckTime=1589.144 cpuTime=1588.64 mem=71M887
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-214886-1168077771 -o ROOT/results/node55/solver-214886-1168077771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214886-1168077771/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.85 0.97 0.99 3/65 11829
/proc/meminfo: memFree=1293008/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=18540 CPUtime=0
/proc/11828/stat : 11828 (runsolver) D 11826 11828 10846 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156175790 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/11828/statm: 4635 279 244 17 0 2626 0
[startup+0.106704 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 11829
/proc/meminfo: memFree=1293008/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=914988 CPUtime=0.08
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 2994 0 1 0 6 2 0 0 17 0 8 0 156175790 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11828/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514739 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 11829
/proc/meminfo: memFree=1293008/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915328 CPUtime=0.48
/proc/11828/stat : 11828 (java) S 11826 11828 10846 0 -1 0 6621 0 1 0 44 4 0 0 16 0 8 0 156175790 937295872 6360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11828/statm: 228832 6360 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33581 s]
/proc/loadavg: 0.85 0.97 0.99 2/72 11836
/proc/meminfo: memFree=1231768/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915636 CPUtime=1.3
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 17629 0 1 0 120 10 0 0 16 0 8 0 156175790 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073544899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228909 17367 2157 14 0 215379 0
[pid=11828/tid=11830] ppid=11826 vsize=915636 CPUtime=0.04
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 1097 0 0 0 4 0 0 0 17 0 8 0 156175794 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915636 CPUtime=0.14
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 156175798 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937611264 17367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636
[startup+2.97297 s]
/proc/loadavg: 0.85 0.97 0.99 2/72 11836
/proc/meminfo: memFree=1222808/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915636 CPUtime=2.94
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 19894 0 1 0 199 95 0 0 17 0 8 0 156175790 937611264 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228910 19630 2178 14 0 215380 0
[pid=11828/tid=11830] ppid=11826 vsize=915636 CPUtime=0.12
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 3270 0 0 0 11 1 0 0 16 0 8 0 156175794 937611264 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937611264 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915640 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937615360 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915636 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937611264 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915636 CPUtime=0.19
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 433 0 0 0 18 1 0 0 16 0 8 0 156175798 937611264 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915640 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937615360 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915640 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937615360 19630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636
[startup+6.2623 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 11836
/proc/meminfo: memFree=1202456/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=6.22
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25365 0 1 0 513 109 0 0 17 0 8 0 156175790 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25072 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 15 0 8 0 156175794 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.33
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 525 0 0 0 32 1 0 0 16 0 8 0 156175798 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25072 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) 915872
[startup+12.7359 s]
/proc/loadavg: 0.87 0.97 0.99 2/72 11836
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=12.7
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25373 0 1 0 1160 110 0 0 19 0 8 0 156175790 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25078 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.35
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156175798 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915872
[startup+25.5972 s]
/proc/loadavg: 0.90 0.97 0.99 2/72 11836
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=25.55
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25387 0 1 0 2445 110 0 0 19 0 8 0 156175790 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25086 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.37
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 539 0 0 0 35 2 0 0 16 0 8 0 156175798 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915872
[startup+51.2917 s]
/proc/loadavg: 1.01 0.99 0.99 2/72 11836
/proc/meminfo: memFree=1202528/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=51.23
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25401 0 1 0 5013 110 0 0 19 0 8 0 156175790 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25092 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.38
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 156175798 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915872
[startup+102.572 s]
/proc/loadavg: 1.00 0.99 0.99 2/72 11836
/proc/meminfo: memFree=1202592/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=102.5
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 10140 110 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 915872
[startup+162.587 s]
/proc/loadavg: 1.00 0.99 0.99 2/72 11836
/proc/meminfo: memFree=1202528/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=162.5
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 16140 110 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074160469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.47
Current children cumulated vsize (KiB) 915872
[startup+1482.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1482.47
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 148135 112 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074160582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.47
Current children cumulated vsize (KiB) 915872
[startup+1542.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202528/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1542.47
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 154135 112 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074167913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.47
Current children cumulated vsize (KiB) 915872
[startup+1602.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1602.47
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 160135 112 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074163149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.47
Current children cumulated vsize (KiB) 915872
[startup+1662.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202528/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1662.47
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 166134 113 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074167897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.47
Current children cumulated vsize (KiB) 915872
[startup+1722.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1722.47
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 172134 113 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182746 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.47
Current children cumulated vsize (KiB) 915872
[startup+1782.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1782.47
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 178134 113 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074160559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11838
/proc/meminfo: memFree=1202464/2055920 swapFree=4192812/4192956
[pid=11828] ppid=11826 vsize=915872 CPUtime=1800.04
/proc/11828/stat : 11828 (java) R 11826 11828 10846 0 -1 0 25405 0 1 0 179891 113 0 0 25 0 8 0 156175790 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074166183 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11828/statm: 228968 25093 2537 14 0 215438 0
[pid=11828/tid=11830] ppid=11826 vsize=915872 CPUtime=0.31
/proc/11828/task/11830/stat : 11830 (java) S 11826 11828 10846 0 -1 64 8198 0 0 0 28 3 0 0 16 0 8 0 156175794 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11831] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11831/stat : 11831 (java) S 11826 11828 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11832] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11832/stat : 11832 (java) S 11826 11828 10846 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175795 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11833] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11833/stat : 11833 (java) S 11826 11828 10846 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11834] ppid=11826 vsize=915872 CPUtime=0.39
/proc/11828/task/11834/stat : 11834 (java) S 11826 11828 10846 0 -1 64 549 0 0 0 37 2 0 0 16 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11828/tid=11835] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11835/stat : 11835 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11828/tid=11836] ppid=11826 vsize=915872 CPUtime=0
/proc/11828/task/11836/stat : 11836 (java) S 11826 11828 10846 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156175798 937852928 25093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.6
CPU time (s): 1800.11
CPU user time (s): 1798.96
CPU system time (s): 1.15182
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 915968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.15182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25420
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= 37675
involuntary context switches= 38351
runsolver used 2.11068 s user time and 4.27735 s system time
The end
Begin job on node55 on Sat Jan 6 10:02:53 UTC 2007
IDJOB= 214886
IDBENCH= 4959
FILE ID= node55/214886-1168077771
PBS_JOBID= 3475985
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16a2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214886-1168077771/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-214886-1168077771 -o ROOT/results/node55/solver-214886-1168077771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214886-1168077771/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f878d062c1561399370d1ad05d1f42bd
RANDOM SEED= 686663648
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.218
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 : 5931.00
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.218
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: 1293552 kB
Buffers: 55684 kB
Cached: 607996 kB
SwapCached: 0 kB
Active: 109196 kB
Inactive: 570552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1293552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4944 kB
Writeback: 0 kB
Mapped: 26216 kB
Slab: 68748 kB
Committed_AS: 2975812 kB
PageTables: 1384 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 node55 on Sat Jan 6 10:32:56 UTC 2007