0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/206697-1168074023/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.49 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
1.66
1.66 constraints being loaded...
2.42 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.42 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.42 nbSharedBinaryRepresentations=0 maxDegree=18 maxArity=3
2.42 => wckTime=2.04 cpuTime=1.63 mem=56M977
2.58
2.58 solver IterativeSystematicSolver being built...
2.75 => wckTime=2.372 cpuTime=1.77 mem=65M73
2.76
2.76 preprocessing
2.76 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.76 detectedInconsistency=no
2.76 => wckTime=0.0040 cpuTime=0.0 mem=65M73
2.94
2.94 search
2.94 run=0 nbConstraintChecks=61083 nbValidityChecks=112370 nbPropagations=596 nbRevisions=6345
2.94 nbUselessRevisions=5002 nbAssignments=43 nbFailedAssignments=24 nbBacktracks=12 nbVisitedNodes=78
2.94 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
2.94 => wckTime=0.181 cpuTime=0.14 mem=65M73
3.05
3.05 search
3.05 run=1 nbConstraintChecks=113019 nbValidityChecks=209991 nbPropagations=1756 nbRevisions=19282
3.05 nbUselessRevisions=15250 nbAssignments=93 nbFailedAssignments=52 nbBacktracks=27 nbVisitedNodes=167
3.05 nbRestartNogoods=1 mapSize=26 nbInferences=0 nbTooLargeKeys=0
3.05 => wckTime=0.29 cpuTime=0.24 mem=65M73
3.27
3.27 search
3.27 run=2 nbConstraintChecks=238275 nbValidityChecks=451914 nbPropagations=3754 nbRevisions=44394
3.27 nbUselessRevisions=35283 nbAssignments=173 nbFailedAssignments=101 nbBacktracks=51 nbVisitedNodes=313
3.27 nbRestartNogoods=5 mapSize=48 nbInferences=0 nbTooLargeKeys=0
3.27 => wckTime=0.51 cpuTime=0.45 mem=65M73
3.46
3.46 search
3.46 run=3 nbConstraintChecks=344582 nbValidityChecks=673918 nbPropagations=7018 nbRevisions=83832
3.46 nbUselessRevisions=66594 nbAssignments=269 nbFailedAssignments=156 nbBacktracks=84 nbVisitedNodes=492
3.46 nbRestartNogoods=10 mapSize=80 nbInferences=0 nbTooLargeKeys=0
3.46 => wckTime=0.704 cpuTime=0.64 mem=65M73
3.73
3.73 search
3.73 run=4 nbConstraintChecks=494358 nbValidityChecks=1000425 nbPropagations=12319 nbRevisions=148274
3.73 nbUselessRevisions=117719 nbAssignments=422 nbFailedAssignments=250 nbBacktracks=137 nbVisitedNodes=776
3.73 nbRestartNogoods=12 mapSize=129 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=0.971 cpuTime=0.9 mem=66M65
4.10
4.10 search
4.10 run=5 nbConstraintChecks=698567 nbValidityChecks=1422289 nbPropagations=20231 nbRevisions=241680
4.10 nbUselessRevisions=191259 nbAssignments=598 nbFailedAssignments=343 nbBacktracks=213 nbVisitedNodes=1094
4.10 nbRestartNogoods=13 mapSize=195 nbInferences=0 nbTooLargeKeys=0
4.10 => wckTime=1.345 cpuTime=1.27 mem=66M65
4.75
4.75 search
4.75 run=6 nbConstraintChecks=1072320 nbValidityChecks=2214344 nbPropagations=32789 nbRevisions=390069
4.75 nbUselessRevisions=307847 nbAssignments=1007 nbFailedAssignments=630 nbBacktracks=326 nbVisitedNodes=1873
4.75 nbRestartNogoods=20 mapSize=304 nbInferences=0 nbTooLargeKeys=0
4.75 => wckTime=1.996 cpuTime=1.91 mem=66M65
5.89
5.89 search
5.89 run=7 nbConstraintChecks=1748368 nbValidityChecks=3531523 nbPropagations=50935 nbRevisions=613077
5.89 nbUselessRevisions=484084 nbAssignments=1393 nbFailedAssignments=838 nbBacktracks=496 nbVisitedNodes=2598
5.89 nbRestartNogoods=26 mapSize=465 nbInferences=0 nbTooLargeKeys=0
5.89 => wckTime=3.133 cpuTime=3.04 mem=66M65
6.92
6.92 search
6.92 run=8 nbConstraintChecks=2325725 nbValidityChecks=4714396 nbPropagations=75196 nbRevisions=908933
6.92 nbUselessRevisions=717866 nbAssignments=1904 nbFailedAssignments=1085 nbBacktracks=752 nbVisitedNodes=3480
6.92 nbRestartNogoods=29 mapSize=649 nbInferences=0 nbTooLargeKeys=0
6.92 => wckTime=4.16 cpuTime=4.05 mem=66M65
8.68
8.68 search
8.68 run=9 nbConstraintChecks=3351914 nbValidityChecks=6884118 nbPropagations=110894 nbRevisions=1336722
8.68 nbUselessRevisions=1055230 nbAssignments=2745 nbFailedAssignments=1533 nbBacktracks=1136 nbVisitedNodes=5004
8.68 nbRestartNogoods=39 mapSize=972 nbInferences=0 nbTooLargeKeys=0
8.68 => wckTime=5.923 cpuTime=5.79 mem=66M65
8.97
8.97 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=66M65)
11.25
11.25 search
11.25 run=10 nbConstraintChecks=4899015 nbValidityChecks=10018005 nbPropagations=164622 nbRevisions=1981094
11.25 nbUselessRevisions=1564173 nbAssignments=4019 nbFailedAssignments=2224 nbBacktracks=1712 nbVisitedNodes=7322
11.25 nbRestartNogoods=50
11.25 => wckTime=8.495 cpuTime=8.33 mem=66M65
16.26
16.26 search
16.26 run=11 nbConstraintChecks=7952975 nbValidityChecks=16307893 nbPropagations=252867 nbRevisions=3033179
16.26 nbUselessRevisions=2391064 nbAssignments=6820 nbFailedAssignments=4153 nbBacktracks=2577 nbVisitedNodes=12670
16.26 nbRestartNogoods=63
16.26 => wckTime=13.499 cpuTime=13.28 mem=66M65
24.30
24.30 search
24.30 run=12 nbConstraintChecks=12921750 nbValidityChecks=25764714 nbPropagations=381263 nbRevisions=4610814
24.30 nbUselessRevisions=3641770 nbAssignments=9940 nbFailedAssignments=5968 nbBacktracks=3874 nbVisitedNodes=18374
24.30 nbRestartNogoods=75
24.30 => wckTime=21.545 cpuTime=21.25 mem=66M65
32.49
32.49 search
32.49 run=13 nbConstraintChecks=17878619 nbValidityChecks=35716334 nbPropagations=569831 nbRevisions=6911492
32.49 nbUselessRevisions=5463676 nbAssignments=14366 nbFailedAssignments=8441 nbBacktracks=5820 nbVisitedNodes=26540
32.49 nbRestartNogoods=93
32.49 => wckTime=29.736 cpuTime=29.37 mem=66M65
45.21
45.21 search
45.21 run=14 nbConstraintChecks=25396655 nbValidityChecks=51182538 nbPropagations=850661 nbRevisions=10314909
45.21 nbUselessRevisions=8156560 nbAssignments=21036 nbFailedAssignments=12183 nbBacktracks=8740 nbVisitedNodes=38863
45.21 nbRestartNogoods=101
45.21 => wckTime=42.453 cpuTime=41.9 mem=66M65
72.64
72.64 search
72.64 run=15 nbConstraintChecks=41987439 nbValidityChecks=84912634 nbPropagations=1281990 nbRevisions=15627887
72.64 nbUselessRevisions=12370523 nbAssignments=31822 nbFailedAssignments=18582 nbBacktracks=13118
72.64 nbVisitedNodes=59093 nbRestartNogoods=115
72.64 => wckTime=69.887 cpuTime=69.03 mem=66M65
99.15
99.15 search
99.15 run=16 nbConstraintChecks=57755693 nbValidityChecks=117618198 nbPropagations=1909239 nbRevisions=23237836
99.15 nbUselessRevisions=18395022 nbAssignments=45976 nbFailedAssignments=26159 nbBacktracks=19687
99.15 nbVisitedNodes=84911 nbRestartNogoods=141
99.15 => wckTime=96.39 cpuTime=95.26 mem=66M65
148.51
148.51 search
148.51 run=17 nbConstraintChecks=87016556 nbValidityChecks=176857027 nbPropagations=2874799 nbRevisions=34778234
148.51 nbUselessRevisions=27497079 nbAssignments=70438 nbFailedAssignments=40762 nbBacktracks=29540
148.51 nbVisitedNodes=130515 nbRestartNogoods=155
148.51 => wckTime=145.75 cpuTime=144.11 mem=66M65
233.05
233.05 search
233.05 run=18 nbConstraintChecks=139771276 nbValidityChecks=281604389 nbPropagations=4332709 nbRevisions=52428999
233.05 nbUselessRevisions=41474135 nbAssignments=107345 nbFailedAssignments=62881 nbBacktracks=44321
233.05 nbVisitedNodes=199175 nbRestartNogoods=162
233.05 => wckTime=230.288 cpuTime=227.88 mem=66M65
324.83
324.83 search
324.83 run=19 nbConstraintChecks=195211587 nbValidityChecks=394357129 nbPropagations=6453932 nbRevisions=78046369
324.83 nbUselessRevisions=61745136 nbAssignments=155751 nbFailedAssignments=89111 nbBacktracks=66492
324.83 nbVisitedNodes=287620 nbRestartNogoods=182
324.83 => wckTime=322.074 cpuTime=318.83 mem=66M65
481.52
481.52 search
481.52 run=20 nbConstraintChecks=288486614 nbValidityChecks=584289766 nbPropagations=9657624 nbRevisions=116234872
481.52 nbUselessRevisions=91866162 nbAssignments=236488 nbFailedAssignments=136590 nbBacktracks=99744
481.52 nbVisitedNodes=437258 nbRestartNogoods=192
481.52 => wckTime=478.759 cpuTime=474.08 mem=66M65
731.38
731.38 search
731.38 run=21 nbConstraintChecks=439821538 nbValidityChecks=888246921 nbPropagations=14364619 nbRevisions=172588000
731.38 nbUselessRevisions=136336950 nbAssignments=345497 nbFailedAssignments=195713 nbBacktracks=149622
731.38 nbVisitedNodes=636345 nbRestartNogoods=208
731.38 => wckTime=728.622 cpuTime=721.67 mem=66M65
1081.82
1081.82 search
1081.82 run=22 nbConstraintChecks=655203030 nbValidityChecks=1323672455 nbPropagations=21461300 nbRevisions=257468649
1081.82 nbUselessRevisions=203375131 nbAssignments=522677 nbFailedAssignments=298068 nbBacktracks=224441
1081.82 nbVisitedNodes=963862 nbRestartNogoods=225
1081.82 => wckTime=1079.059 cpuTime=1068.9 mem=66M65
1613.21
1613.21 search
1613.21 run=23 nbConstraintChecks=977929286 nbValidityChecks=1975736815 nbPropagations=32282785 nbRevisions=385513300
1613.21 nbUselessRevisions=304187943 nbAssignments=787861 nbFailedAssignments=451017 nbBacktracks=336669
1613.21 nbVisitedNodes=1455222 nbRestartNogoods=240
1613.21 => wckTime=1610.449 cpuTime=1596.89 mem=66M65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-206697-1168074023 -o ROOT/results/node9/solver-206697-1168074023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206697-1168074023/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
/proc/loadavg: 1.95 1.96 1.89 4/93 16769
/proc/meminfo: memFree=1135784/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=18540 CPUtime=0
/proc/16768/stat : 16768 (runsolver) R 16766 15127 15127 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 1 0 155797551 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418827446 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16768/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108239 s]
/proc/loadavg: 1.95 1.96 1.89 4/93 16769
/proc/meminfo: memFree=1135784/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=907676 CPUtime=0.03
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 2220 0 1 0 3 0 0 0 16 0 4 0 155797551 929460224 1967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020620 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 226919 1967 1117 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.520284 s]
/proc/loadavg: 1.95 1.96 1.89 4/93 16769
/proc/meminfo: memFree=1135784/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915328 CPUtime=0.43
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 6376 0 1 0 40 3 0 0 18 0 8 0 155797551 937295872 6115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228832 6115 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34438 s]
/proc/loadavg: 1.95 1.96 1.89 3/100 16776
/proc/meminfo: memFree=1068656/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915328 CPUtime=1.24
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 19099 0 1 0 114 10 0 0 25 0 8 0 155797551 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228832 18837 2149 14 0 215302 0
[pid=16768/tid=16770] ppid=16766 vsize=915328 CPUtime=0.05
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 155797561 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915328 CPUtime=0.08
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915328
[startup+2.98157 s]
/proc/loadavg: 1.95 1.96 1.89 4/100 16776
/proc/meminfo: memFree=1039792/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=2.87
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32426 0 1 0 270 17 0 0 25 0 8 0 155797551 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32160 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.19
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915440
[startup+6.27194 s]
/proc/loadavg: 1.95 1.96 1.89 3/100 16776
/proc/meminfo: memFree=1016496/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=6.13
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32447 0 1 0 595 18 0 0 25 0 8 0 155797551 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32179 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.24
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915440
[startup+12.7597 s]
/proc/loadavg: 2.04 1.98 1.89 3/100 16776
/proc/meminfo: memFree=1016624/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=12.56
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 1238 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915440
[startup+25.6381 s]
/proc/loadavg: 2.03 1.98 1.89 3/100 16776
/proc/meminfo: memFree=1016752/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=25.32
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 2514 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915440
[startup+51.277 s]
/proc/loadavg: 2.02 1.98 1.90 3/106 16850
/proc/meminfo: memFree=1015648/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=50.65
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 5047 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915440
[startup+102.564 s]
/proc/loadavg: 2.05 2.00 1.91 3/106 16932
/proc/meminfo: memFree=1015592/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=101.39
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 10121 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915440
[startup+162.591 s]
/proc/loadavg: 2.02 2.00 1.91 3/100 16973
/proc/meminfo: memFree=1016688/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=160.82
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 16063 19 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.66
Current children cumulated vsize (KiB) 915440
[startup+1482.99 s]
/proc/loadavg: 1.91 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1031480/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1469.56
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 146923 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.56
Current children cumulated vsize (KiB) 915440
[startup+1543 s]
/proc/loadavg: 2.01 1.99 1.93 3/100 17089
/proc/meminfo: memFree=1031608/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1529.51
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 152918 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.51
Current children cumulated vsize (KiB) 915440
[startup+1603.02 s]
/proc/loadavg: 2.05 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1589.47
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 158914 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.47
Current children cumulated vsize (KiB) 915440
[startup+1663.04 s]
/proc/loadavg: 2.02 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028152/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1649.41
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 164908 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.41
Current children cumulated vsize (KiB) 915440
[startup+1723.05 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1709.38
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 170904 34 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.38
Current children cumulated vsize (KiB) 915440
[startup+1783.07 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1769.34
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 176900 34 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.34
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.85 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1800.1
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 179976 34 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 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) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.89
CPU time (s): 1800.14
CPU user time (s): 1799.77
CPU system time (s): 0.361944
CPU usage (%): 99.2418
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32476
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= 37856
involuntary context switches= 69590
runsolver used 2.69759 s user time and 5.33019 s system time
The end
Begin job on node9 on Sat Jan 6 09:00:23 UTC 2007
IDJOB= 206697
IDBENCH= 4228
FILE ID= node9/206697-1168074023
PBS_JOBID= 3475747
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206697-1168074023/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-206697-1168074023 -o ROOT/results/node9/solver-206697-1168074023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206697-1168074023/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3687c46586991f5a464cf8250795dac6
RANDOM SEED= 753621135
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.231
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.231
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: 1136200 kB
Buffers: 83608 kB
Cached: 566340 kB
SwapCached: 268 kB
Active: 448016 kB
Inactive: 369308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1136200 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7496 kB
Writeback: 0 kB
Mapped: 189112 kB
Slab: 86860 kB
Committed_AS: 4744592 kB
PageTables: 2568 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= 66533 MiB
End job on node9 on Sat Jan 6 09:30:38 UTC 2007