0.32
0.32 Abscon 109 (November, 2006)
0.32
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/238140-1168354066/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.61 nbVariables=2116 nbDomainTypes=1 minDomainSize=46 maxDomainSize=46
0.61 => wckTime=0.278 cpuTime=0.19 mem=12M748
0.61
0.61 predicates being loaded...
0.61
0.61 constraints being loaded...
6.11 nbConstraints=47655 nbConvertedConstraints=47655 nbConvertConstraintsChecks=8464 nbExtensionStructures=4
6.11 nbSharedExtensionStructures=47651 nbConflictsStructures=4 nbSharedConflictsStructures=47651
6.11 nbSharedBinaryRepresentations=275 maxDegree=46 maxArity=2
6.11 => wckTime=5.779 cpuTime=5.04 mem=63M427
6.41
6.41 solver IterativeSystematicSolver being built...
6.72 => wckTime=6.395 cpuTime=5.28 mem=64M177
9.54
9.54 preprocessing
9.54 nbConstraintChecks=1918633 nbPropagations=62627 nbRevisions=63923 nbUselessRevisions=5041 nbSingletonTests=2420
9.54 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
9.54 => wckTime=2.794 cpuTime=2.74 mem=64M177
10.14
10.14 search
10.14 run=0 nbConstraintChecks=190964 nbPropagations=67888 nbRevisions=69231 nbUselessRevisions=5157
10.14 nbAssignments=149 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=170 nbRestartNogoods=0 mapSize=10
10.14 nbInferences=0 nbTooLargeKeys=0
10.14 => wckTime=3.41 cpuTime=3.34 mem=66M255
10.46
10.46 search
10.46 run=1 nbConstraintChecks=381015 nbPropagations=141081 nbRevisions=143798 nbUselessRevisions=10411
10.46 nbAssignments=308 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=357 nbRestartNogoods=4 mapSize=25
10.46 nbInferences=0 nbTooLargeKeys=0
10.46 => wckTime=3.731 cpuTime=3.66 mem=68M267
10.79
10.79 search
10.79 run=2 nbConstraintChecks=571317 nbPropagations=219644 nbRevisions=223774 nbUselessRevisions=15766
10.79 nbAssignments=480 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=569 nbRestartNogoods=7 mapSize=47
10.79 nbInferences=0 nbTooLargeKeys=0
10.79 => wckTime=4.061 cpuTime=3.99 mem=69M273
11.15
11.15 search
11.15 run=3 nbConstraintChecks=761987 nbPropagations=303659 nbRevisions=309241 nbUselessRevisions=21224
11.15 nbAssignments=671 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=815 nbRestartNogoods=12 mapSize=80
11.15 nbInferences=1 nbTooLargeKeys=0
11.15 => wckTime=4.417 cpuTime=4.34 mem=71M286
11.54
11.54 search
11.54 run=4 nbConstraintChecks=953139 nbPropagations=393261 nbRevisions=400328 nbUselessRevisions=26785
11.54 nbAssignments=892 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=1115 nbRestartNogoods=16 mapSize=131
11.54 nbInferences=6 nbTooLargeKeys=0
11.54 => wckTime=4.803 cpuTime=4.72 mem=74M304
11.98
11.98 search
11.98 run=5 nbConstraintChecks=1144977 nbPropagations=488678 nbRevisions=497241 nbUselessRevisions=32451
11.98 nbAssignments=1161 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=1499 nbRestartNogoods=20
11.98 mapSize=206 nbInferences=23 nbTooLargeKeys=0
11.98 => wckTime=5.243 cpuTime=5.15 mem=76M316
12.50
12.50 search
12.50 run=6 nbConstraintChecks=1337688 nbPropagations=590230 nbRevisions=600290 nbUselessRevisions=38223
12.50 nbAssignments=1501 nbFailedAssignments=232 nbBacktracks=320 nbVisitedNodes=2011 nbRestartNogoods=22
12.50 mapSize=320 nbInferences=45 nbTooLargeKeys=0
12.50 => wckTime=5.771 cpuTime=5.68 mem=80M341
13.13
13.13 search
13.14 run=7 nbConstraintChecks=1531804 nbPropagations=698417 nbRevisions=709936 nbUselessRevisions=44103
13.14 nbAssignments=1950 nbFailedAssignments=339 nbBacktracks=490 nbVisitedNodes=2716 nbRestartNogoods=28
13.14 mapSize=490 nbInferences=87 nbTooLargeKeys=0
13.14 => wckTime=6.402 cpuTime=6.31 mem=84M365
13.99
13.99 search
13.99 run=8 nbConstraintChecks=1728085 nbPropagations=814022 nbRevisions=826885 nbUselessRevisions=50095
13.99 nbAssignments=2569 nbFailedAssignments=490 nbBacktracks=746 nbVisitedNodes=3720 nbRestartNogoods=36
13.99 mapSize=746 nbInferences=170 nbTooLargeKeys=0
13.99 => wckTime=7.26 cpuTime=7.13 mem=58M170
15.13
15.13 search
15.13 run=9 nbConstraintChecks=1927912 nbPropagations=938328 nbRevisions=952275 nbUselessRevisions=56201
15.13 nbAssignments=3457 nbFailedAssignments=708 nbBacktracks=1130 nbVisitedNodes=5200 nbRestartNogoods=43
15.13 mapSize=1130 nbInferences=326 nbTooLargeKeys=0
15.13 => wckTime=8.396 cpuTime=8.25 mem=68M161
16.77
16.77 search
16.77 run=10 nbConstraintChecks=2132976 nbPropagations=1073335 nbRevisions=1087821 nbUselessRevisions=62423
16.77 nbAssignments=4772 nbFailedAssignments=1018 nbBacktracks=1707 nbVisitedNodes=7436 nbRestartNogoods=48
16.77 mapSize=1707 nbInferences=627 nbTooLargeKeys=0
16.77 => wckTime=10.035 cpuTime=9.88 mem=83M147
19.35
19.35 search
19.35 run=11 nbConstraintChecks=2348199 nbPropagations=1222580 nbRevisions=1236616 nbUselessRevisions=68879
19.35 nbAssignments=6802 nbFailedAssignments=1435 nbBacktracks=2571 nbVisitedNodes=10920 nbRestartNogoods=51
19.35 mapSize=2571 nbInferences=1247 nbTooLargeKeys=0
19.35 => wckTime=12.62 cpuTime=12.39 mem=87M318
23.81
23.81 search
23.81 run=12 nbConstraintChecks=2967314 nbPropagations=1403046 nbRevisions=1414474 nbUselessRevisions=75952
23.81 nbAssignments=10337 nbFailedAssignments=1978 nbBacktracks=3868 nbVisitedNodes=16595 nbRestartNogoods=67
23.81 mapSize=3868 nbInferences=2559 nbTooLargeKeys=0
23.81 => wckTime=17.075 cpuTime=16.83 mem=130M309
30.28
30.28 search
30.28 run=13 nbConstraintChecks=3228098 nbPropagations=1613232 nbRevisions=1617960 nbUselessRevisions=83307
30.28 nbAssignments=15370 nbFailedAssignments=2742 nbBacktracks=5814 nbVisitedNodes=25351 nbRestartNogoods=69
30.28 mapSize=5814 nbInferences=4754 nbTooLargeKeys=0
30.28 => wckTime=23.546 cpuTime=23.18 mem=146M301
41.56
41.56 search
41.56 run=14 nbConstraintChecks=3750990 nbPropagations=1878475 nbRevisions=1868017 nbUselessRevisions=91297
41.56 nbAssignments=23993 nbFailedAssignments=3662 nbBacktracks=8734 nbVisitedNodes=40211 nbRestartNogoods=78
41.56 mapSize=8734 nbInferences=9280 nbTooLargeKeys=0
41.56 => wckTime=34.827 cpuTime=34.33 mem=212M830
55.05
55.05 search
55.05 run=15 nbConstraintChecks=4094427 nbPropagations=2202376 nbRevisions=2167772 nbUselessRevisions=99621
55.05 nbAssignments=34936 nbFailedAssignments=5452 nbBacktracks=13112 nbVisitedNodes=59392 nbRestartNogoods=83
55.05 mapSize=13107 nbInferences=13938 nbTooLargeKeys=0
55.05 => wckTime=48.321 cpuTime=47.65 mem=268M756
69.89
69.89 search
69.89 run=16 nbConstraintChecks=4646572 nbPropagations=2601963 nbRevisions=2535390 nbUselessRevisions=108241
69.89 nbAssignments=49126 nbFailedAssignments=8878 nbBacktracks=19681 nbVisitedNodes=84319 nbRestartNogoods=88
69.89 mapSize=19649 nbInferences=17941 nbTooLargeKeys=0
69.89 => wckTime=63.156 cpuTime=62.26 mem=326M44
98.75
98.75 search
98.75 run=17 nbConstraintChecks=5282237 nbPropagations=3128716 nbRevisions=3010114 nbUselessRevisions=117207
98.75 nbAssignments=73481 nbFailedAssignments=13012 nbBacktracks=29533 nbVisitedNodes=127054 nbRestartNogoods=98
98.75 mapSize=29490 nbInferences=28128 nbTooLargeKeys=0
98.75 => wckTime=92.018 cpuTime=90.78 mem=483M880
134.64
134.64 INFO : Stopping hyperNogood (mapSize=41105, nbTooLargekeys=0, mem=601M102)
137.73
137.73 search
137.73 run=18 nbConstraintChecks=6351757 nbPropagations=3870710 nbRevisions=3666263 nbUselessRevisions=128480
137.73 nbAssignments=112442 nbFailedAssignments=18765 nbBacktracks=44311 nbVisitedNodes=195776 nbRestartNogoods=115
137.73 => wckTime=130.995 cpuTime=129.35 mem=601M102
158.94
158.94 search
158.94 run=19 nbConstraintChecks=7250665 nbPropagations=4792171 nbRevisions=4502865 nbUselessRevisions=140691
158.94 nbAssignments=150035 nbFailedAssignments=33930 nbBacktracks=66479 nbVisitedNodes=263611 nbRestartNogoods=138
158.94 => wckTime=152.206 cpuTime=150.48 mem=601M102
191.65
191.65 search
191.65 run=20 nbConstraintChecks=8200241 nbPropagations=5973046 nbRevisions=5599185 nbUselessRevisions=153320
191.65 nbAssignments=206369 nbFailedAssignments=56737 nbBacktracks=99731 nbVisitedNodes=365456 nbRestartNogoods=156
191.65 => wckTime=184.921 cpuTime=183.07 mem=601M102
240.90
240.90 search
240.90 run=21 nbConstraintChecks=9367822 nbPropagations=7536268 nbRevisions=7078296 nbUselessRevisions=166394
240.90 nbAssignments=290799 nbFailedAssignments=91118 nbBacktracks=149610 nbVisitedNodes=518648 nbRestartNogoods=163
240.90 => wckTime=234.17 cpuTime=232.13 mem=601M102
315.68
315.69 search
315.69 run=22 nbConstraintChecks=11007488 nbPropagations=9670661 nbRevisions=9128984 nbUselessRevisions=179889
315.69 nbAssignments=417541 nbFailedAssignments=142871 nbBacktracks=224428 nbVisitedNodes=748896 nbRestartNogoods=182
315.69 => wckTime=308.953 cpuTime=306.63 mem=601M102
427.88
427.88 search
427.88 run=23 nbConstraintChecks=13355657 nbPropagations=12659289 nbRevisions=12034353 nbUselessRevisions=193844
427.88 nbAssignments=607708 nbFailedAssignments=220640 nbBacktracks=336655 nbVisitedNodes=1094601 nbRestartNogoods=201
427.88 => wckTime=421.143 cpuTime=418.39 mem=601M102
594.18
594.18 search
594.18 run=24 nbConstraintChecks=16768819 nbPropagations=16926912 nbRevisions=16219184 nbUselessRevisions=208275
594.18 nbAssignments=893060 nbFailedAssignments=337491 nbBacktracks=504996 nbVisitedNodes=1613655 nbRestartNogoods=215
594.18 => wckTime=587.443 cpuTime=584.06 mem=601M102
830.72
830.72 search
830.72 run=25 nbConstraintChecks=22205615 nbPropagations=23114985 nbRevisions=22329507 nbUselessRevisions=226670
830.72 nbAssignments=1319911 nbFailedAssignments=511614 nbBacktracks=757507 nbVisitedNodes=2388749
830.72 nbRestartNogoods=231
830.72 => wckTime=823.985 cpuTime=819.55 mem=601M102
1186.75
1186.75 search
1186.75 run=26 nbConstraintChecks=30347240 nbPropagations=32182215 nbRevisions=31321876 nbUselessRevisions=248118
1186.75 nbAssignments=1959770 nbFailedAssignments=772100 nbBacktracks=1136274 nbVisitedNodes=3549188
1186.75 nbRestartNogoods=261
1186.75 => wckTime=1180.02 cpuTime=1174.09 mem=601M102
1726.32
1726.32 search
1726.32 run=27 nbConstraintChecks=42185225 nbPropagations=45564707 nbRevisions=44645657 nbUselessRevisions=286002
1726.32 nbAssignments=2920939 nbFailedAssignments=1164418 nbBacktracks=1704425 nbVisitedNodes=5294508
1726.32 nbRestartNogoods=292
1726.32 => wckTime=1719.587 cpuTime=1711.43 mem=601M102
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-238140-1168354066 -o ROOT/results/node47/solver-238140-1168354066 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238140-1168354066/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: 2.15 2.09 1.97 4/74 16086
/proc/meminfo: memFree=1679416/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=18540 CPUtime=0
/proc/16085/stat : 16085 (runsolver) R 16083 16085 14721 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 183805883 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16085/statm: 4635 279 244 17 0 2626 0
[startup+0.108817 s]
/proc/loadavg: 2.15 2.09 1.97 4/74 16086
/proc/meminfo: memFree=1679416/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=914988 CPUtime=0.08
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 2954 0 1 0 7 1 0 0 19 0 8 0 183805883 936947712 2700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155068460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519861 s]
/proc/loadavg: 2.15 2.09 1.97 4/74 16086
/proc/meminfo: memFree=1679416/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915328 CPUtime=0.48
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 6562 0 1 0 45 3 0 0 18 0 8 0 183805883 937295872 6301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228832 6301 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34895 s]
/proc/loadavg: 2.15 2.09 1.97 3/81 16093
/proc/meminfo: memFree=1631552/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915644 CPUtime=1.31
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 18325 0 1 0 122 9 0 0 25 0 8 0 183805883 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228911 18063 2160 14 0 215381 0
[pid=16085/tid=16087] ppid=16083 vsize=915644 CPUtime=0.05
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 1785 0 0 0 5 0 0 0 17 0 8 0 183805887 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915644 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915644 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915644 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915644 CPUtime=0.15
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 183805891 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915644 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915644 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644
[startup+2.99113 s]
/proc/loadavg: 2.22 2.11 1.98 3/81 16093
/proc/meminfo: memFree=1617480/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915648 CPUtime=2.94
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 23508 0 1 0 252 42 0 0 25 0 8 0 183805883 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228912 23243 2180 14 0 215382 0
[pid=16085/tid=16087] ppid=16083 vsize=915648 CPUtime=0.29
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 6882 0 0 0 28 1 0 0 17 0 8 0 183805887 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915648 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915648 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915648 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915648 CPUtime=0.19
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 183805891 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915648 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915648 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937623552 23243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.27248 s]
/proc/loadavg: 2.22 2.11 1.98 3/81 16093
/proc/meminfo: memFree=1598088/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915896 CPUtime=6.19
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 26721 0 1 0 413 206 0 0 25 0 8 0 183805883 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228974 26453 2189 14 0 215444 0
[pid=16085/tid=16087] ppid=16083 vsize=915896 CPUtime=0.65
/proc/16085/task/16087/stat : 16087 (java) R 16083 16085 14721 0 -1 64 10065 0 0 0 62 3 0 0 17 0 8 0 183805887 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525281 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915896 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915896 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915896 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915896 CPUtime=0.22
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 439 0 0 0 21 1 0 0 16 0 8 0 183805891 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915896 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915896 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937877504 26453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915896
[startup+12.759 s]
/proc/loadavg: 2.26 2.12 1.98 3/81 16093
/proc/meminfo: memFree=1586760/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=12.64
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 29922 0 1 0 1056 208 0 0 25 0 8 0 183805883 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074131633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 29599 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=0.79
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 12704 0 0 0 75 4 0 0 17 0 8 0 183805887 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.38
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 551 0 0 0 37 1 0 0 15 0 8 0 183805891 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 29599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915892
[startup+25.5973 s]
/proc/loadavg: 2.22 2.12 1.98 3/81 16093
/proc/meminfo: memFree=1527816/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=25.43
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 44645 0 1 0 2327 216 0 0 25 0 8 0 183805883 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 44314 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=0.91
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 27410 0 0 0 80 11 0 0 16 0 8 0 183805887 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.4
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 561 0 0 0 39 1 0 0 16 0 8 0 183805891 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 44314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915892
[startup+51.2051 s]
/proc/loadavg: 2.22 2.12 1.99 3/81 16093
/proc/meminfo: memFree=1421576/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=50.94
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 71187 0 1 0 4866 228 0 0 25 0 8 0 183805883 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 70851 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.12
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 53947 0 0 0 90 22 0 0 16 0 8 0 183805887 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.4
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 561 0 0 0 39 1 0 0 16 0 8 0 183805891 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 70851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915892
[startup+102.416 s]
/proc/loadavg: 2.08 2.10 1.99 3/81 16093
/proc/meminfo: memFree=1171976/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=101.95
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 133487 0 1 0 9943 252 0 0 25 0 8 0 183805883 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 133141 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.61
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 116237 0 0 0 115 46 0 0 16 0 8 0 183805887 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.4
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 561 0 0 0 39 1 0 0 16 0 8 0 183805891 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 133141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915892
[startup+162.467 s]
/proc/loadavg: 2.03 2.08 1.99 3/81 16093
/proc/meminfo: memFree=1079368/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=161.77
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156616 0 1 0 15914 263 0 0 25 0 8 0 183805883 937873408 156264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.77
Current children cumulated vsize (KiB) 915892
[startup+1483.64 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 16293
/proc/meminfo: memFree=1075704/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1477.56
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 147490 266 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.56
Current children cumulated vsize (KiB) 915892
[startup+1543.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16293
/proc/meminfo: memFree=1075704/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1537.36
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 153470 266 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074126421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.36
Current children cumulated vsize (KiB) 915892
[startup+1603.75 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 16293
/proc/meminfo: memFree=950904/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1597.16
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 159450 266 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.16
Current children cumulated vsize (KiB) 915892
[startup+1663.81 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 16293
/proc/meminfo: memFree=950840/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1656.97
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 165430 267 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.97
Current children cumulated vsize (KiB) 915892
[startup+1723.87 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 16293
/proc/meminfo: memFree=950840/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1716.78
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 171411 267 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074137420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.78
Current children cumulated vsize (KiB) 915892
[startup+1783.93 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 16293
/proc/meminfo: memFree=950840/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1776.58
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 177391 267 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.58
Current children cumulated vsize (KiB) 915892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.47 s]
/proc/loadavg: 1.92 1.99 1.99 3/91 16348
/proc/meminfo: memFree=1141552/2055920 swapFree=4183980/4192956
[pid=16085] ppid=16083 vsize=915892 CPUtime=1800.03
/proc/16085/stat : 16085 (java) R 16083 16085 14721 0 -1 0 156618 0 1 0 179735 268 0 0 25 0 8 0 183805883 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16085/statm: 228973 156266 2545 14 0 215443 0
[pid=16085/tid=16087] ppid=16083 vsize=915892 CPUtime=1.81
/proc/16085/task/16087/stat : 16087 (java) S 16083 16085 14721 0 -1 64 139360 0 0 0 125 56 0 0 16 0 8 0 183805887 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16088] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16088/stat : 16088 (java) S 16083 16085 14721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16089] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16089/stat : 16089 (java) S 16083 16085 14721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183805888 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16090] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16090/stat : 16090 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16091] ppid=16083 vsize=915892 CPUtime=0.41
/proc/16085/task/16091/stat : 16091 (java) S 16083 16085 14721 0 -1 64 563 0 0 0 40 1 0 0 16 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16092] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16092/stat : 16092 (java) S 16083 16085 14721 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16085/tid=16093] ppid=16083 vsize=915892 CPUtime=0
/proc/16085/task/16093/stat : 16093 (java) S 16083 16085 14721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183805891 937873408 156266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.62
CPU time (s): 1800.16
CPU user time (s): 1797.39
CPU system time (s): 2.77758
CPU usage (%): 99.5876
Max. virtual memory (cumulated for all children) (KiB): 915896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 2.77758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156635
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= 38449
involuntary context switches= 57451
runsolver used 2.03369 s user time and 4.77827 s system time
The end
Begin job on node47 on Tue Jan 9 14:47:46 UTC 2007
IDJOB= 238140
IDBENCH= 6985
FILE ID= node47/238140-1168354066
PBS_JOBID= 3503917
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_46.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238140-1168354066/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-238140-1168354066 -o ROOT/results/node47/solver-238140-1168354066 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238140-1168354066/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 840da8577188072b75febcbf7915e78d
RANDOM SEED= 484101922
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.240
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.240
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: 1692312 kB
Buffers: 36408 kB
Cached: 178420 kB
SwapCached: 3452 kB
Active: 203172 kB
Inactive: 101376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1692312 kB
SwapTotal: 4192956 kB
SwapFree: 4183980 kB
Dirty: 17948 kB
Writeback: 0 kB
Mapped: 96356 kB
Slab: 44356 kB
Committed_AS: 4280456 kB
PageTables: 1948 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= 66550 MiB
End job on node47 on Tue Jan 9 15:17:54 UTC 2007