0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238125-1168083391/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.56 nbVariables=1600 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.56 => wckTime=0.253 cpuTime=0.16 mem=10M788
0.56
0.56 predicates being loaded...
0.57
0.57 constraints being loaded...
4.01 nbConstraints=31239 nbConvertedConstraints=31239 nbConvertConstraintsChecks=6400 nbExtensionStructures=4
4.01 nbSharedExtensionStructures=31235 nbConflictsStructures=4 nbSharedConflictsStructures=31235
4.01 nbSharedBinaryRepresentations=239 maxDegree=40 maxArity=2
4.01 => wckTime=3.699 cpuTime=3.23 mem=53M581
4.22
4.22 solver IterativeSystematicSolver being built...
4.50 => wckTime=4.188 cpuTime=3.45 mem=46M274
4.68
4.68 preprocessing
4.68 nbConstraintChecks=0 nbPropagations=1600 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.68 detectedInconsistency=no
4.68 => wckTime=0.165 cpuTime=0.14 mem=46M274
5.03
5.03 search
5.03 run=0 nbConstraintChecks=124358 nbPropagations=5586 nbRevisions=4012 nbUselessRevisions=83 nbAssignments=132
5.03 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=153 nbRestartNogoods=0 mapSize=10 nbInferences=0
5.03 nbTooLargeKeys=0
5.03 => wckTime=0.526 cpuTime=0.48 mem=47M267
5.21
5.21 search
5.21 run=1 nbConstraintChecks=248993 nbPropagations=15202 nbRevisions=12090 nbUselessRevisions=256
5.21 nbAssignments=274 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=323 nbRestartNogoods=4 mapSize=25
5.21 nbInferences=0 nbTooLargeKeys=0
5.21 => wckTime=0.703 cpuTime=0.65 mem=48M259
5.39
5.39 search
5.39 run=2 nbConstraintChecks=373868 nbPropagations=28913 nbRevisions=24308 nbUselessRevisions=524
5.39 nbAssignments=429 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=518 nbRestartNogoods=7 mapSize=47
5.39 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=0.884 cpuTime=0.83 mem=49M252
5.59
5.59 search
5.59 run=3 nbConstraintChecks=499087 nbPropagations=46801 nbRevisions=40748 nbUselessRevisions=889
5.59 nbAssignments=603 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=747 nbRestartNogoods=12 mapSize=80
5.59 nbInferences=1 nbTooLargeKeys=0
5.59 => wckTime=1.079 cpuTime=1.03 mem=50M244
5.81
5.81 search
5.81 run=4 nbConstraintChecks=624681 nbPropagations=68991 nbRevisions=61532 nbUselessRevisions=1351
5.81 nbAssignments=805 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=1026 nbRestartNogoods=16 mapSize=129
5.81 nbInferences=4 nbTooLargeKeys=0
5.81 => wckTime=1.304 cpuTime=1.24 mem=52M229
6.06
6.06 search
6.06 run=5 nbConstraintChecks=751031 nbPropagations=95721 nbRevisions=86872 nbUselessRevisions=1911
6.06 nbAssignments=1058 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=1394 nbRestartNogoods=21
6.06 mapSize=204 nbInferences=21 nbTooLargeKeys=0
6.06 => wckTime=1.555 cpuTime=1.49 mem=53M221
6.36
6.36 search
6.36 run=6 nbConstraintChecks=878292 nbPropagations=127307 nbRevisions=117074 nbUselessRevisions=2571
6.36 nbAssignments=1379 nbFailedAssignments=231 nbBacktracks=321 nbVisitedNodes=1885 nbRestartNogoods=23
6.36 mapSize=316 nbInferences=43 nbTooLargeKeys=0
6.36 => wckTime=1.852 cpuTime=1.78 mem=55M206
6.73
6.73 search
6.73 run=7 nbConstraintChecks=1006886 nbPropagations=164253 nbRevisions=152605 nbUselessRevisions=3334
6.73 nbAssignments=1810 nbFailedAssignments=338 nbBacktracks=491 nbVisitedNodes=2572 nbRestartNogoods=30
6.73 mapSize=486 nbInferences=85 nbTooLargeKeys=0
6.73 => wckTime=2.227 cpuTime=2.14 mem=58M183
7.21
7.21 search
7.21 run=8 nbConstraintChecks=1137621 nbPropagations=207342 nbRevisions=194171 nbUselessRevisions=4204
7.21 nbAssignments=2411 nbFailedAssignments=489 nbBacktracks=747 nbVisitedNodes=3558 nbRestartNogoods=38
7.21 mapSize=742 nbInferences=168 nbTooLargeKeys=0
7.21 => wckTime=2.708 cpuTime=2.61 mem=63M145
7.85
7.85 search
7.85 run=9 nbConstraintChecks=1271877 nbPropagations=257857 nbRevisions=242909 nbUselessRevisions=5182
7.85 nbAssignments=3281 nbFailedAssignments=707 nbBacktracks=1131 nbVisitedNodes=5020 nbRestartNogoods=45
7.85 mapSize=1126 nbInferences=324 nbTooLargeKeys=0
7.85 => wckTime=3.345 cpuTime=3.24 mem=69M100
8.81
8.81 search
8.81 run=10 nbConstraintChecks=1411347 nbPropagations=317798 nbRevisions=300535 nbUselessRevisions=6271
8.81 nbAssignments=4578 nbFailedAssignments=1017 nbBacktracks=1708 nbVisitedNodes=7238 nbRestartNogoods=50
8.81 mapSize=1703 nbInferences=625 nbTooLargeKeys=0
8.81 => wckTime=4.307 cpuTime=4.15 mem=48M366
10.25
10.25 search
10.25 run=11 nbConstraintChecks=1560928 nbPropagations=390702 nbRevisions=370132 nbUselessRevisions=7581
10.25 nbAssignments=6590 nbFailedAssignments=1434 nbBacktracks=2572 nbVisitedNodes=10704 nbRestartNogoods=53
10.25 mapSize=2567 nbInferences=1245 nbTooLargeKeys=0
10.25 => wckTime=5.739 cpuTime=5.57 mem=64M356
12.64
12.64 search
12.64 run=12 nbConstraintChecks=1730763 nbPropagations=483176 nbRevisions=456979 nbUselessRevisions=9166
12.64 nbAssignments=9849 nbFailedAssignments=1977 nbBacktracks=3869 nbVisitedNodes=16361 nbRestartNogoods=69
12.64 mapSize=3864 nbInferences=2557 nbTooLargeKeys=0
12.64 => wckTime=8.135 cpuTime=7.89 mem=69M486
15.92
15.92 search
15.92 run=13 nbConstraintChecks=1919890 nbPropagations=601736 nbRevisions=566740 nbUselessRevisions=11085
15.92 nbAssignments=14515 nbFailedAssignments=2825 nbBacktracks=5816 nbVisitedNodes=24491 nbRestartNogoods=71
15.92 mapSize=5806 nbInferences=4325 nbTooLargeKeys=0
15.92 => wckTime=11.415 cpuTime=11.14 mem=108M461
21.00
21.00 search
21.00 run=14 nbConstraintChecks=2141240 nbPropagations=758263 nbRevisions=709161 nbUselessRevisions=13331
21.00 nbAssignments=21608 nbFailedAssignments=4063 nbBacktracks=8736 nbVisitedNodes=36892 nbRestartNogoods=74
21.00 mapSize=8720 nbInferences=7157 nbTooLargeKeys=0
21.00 => wckTime=16.493 cpuTime=16.09 mem=119M899
26.79
26.79 search
26.79 run=15 nbConstraintChecks=2480033 nbPropagations=982411 nbRevisions=907876 nbUselessRevisions=16270
26.79 nbAssignments=33687 nbFailedAssignments=5638 nbBacktracks=13114 nbVisitedNodes=58212 nbRestartNogoods=80
26.79 mapSize=13047 nbInferences=13248 nbTooLargeKeys=0
26.79 => wckTime=22.282 cpuTime=21.81 mem=131M46
40.09
40.09 search
40.09 run=16 nbConstraintChecks=3057803 nbPropagations=1312989 nbRevisions=1194992 nbUselessRevisions=20574
40.09 nbAssignments=52352 nbFailedAssignments=7817 nbBacktracks=19683 nbVisitedNodes=91002 nbRestartNogoods=96
40.09 mapSize=19567 nbInferences=23015 nbTooLargeKeys=0
40.09 => wckTime=35.588 cpuTime=34.85 mem=197M472
62.81
62.81 search
62.81 run=17 nbConstraintChecks=3892820 nbPropagations=1821173 nbRevisions=1626523 nbUselessRevisions=27068
62.81 nbAssignments=83061 nbFailedAssignments=10564 nbBacktracks=29535 nbVisitedNodes=145166 nbRestartNogoods=114
62.81 mapSize=29379 nbInferences=40976 nbTooLargeKeys=0
62.81 => wckTime=58.308 cpuTime=57.15 mem=280M416
98.85
98.85 search
98.85 run=18 nbConstraintChecks=5076371 nbPropagations=2608856 nbRevisions=2281390 nbUselessRevisions=36915
98.85 nbAssignments=131498 nbFailedAssignments=13991 nbBacktracks=44314 nbVisitedNodes=230542 nbRestartNogoods=131
98.85 mapSize=44118 nbInferences=71061 nbTooLargeKeys=0
98.85 => wckTime=94.341 cpuTime=92.52 mem=439M331
135.16
135.16 INFO : Stopping hyperNogood (mapSize=58915, nbTooLargekeys=0, mem=600M232)
139.27
139.27 search
139.27 run=19 nbConstraintChecks=6427804 nbPropagations=3732930 nbRevisions=3218518 nbUselessRevisions=51558
139.27 nbAssignments=192552 nbFailedAssignments=22538 nbBacktracks=66482 nbVisitedNodes=338880 nbRestartNogoods=151
139.27 => wckTime=134.765 cpuTime=132.24 mem=600M232
157.98
157.98 search
157.98 run=20 nbConstraintChecks=7354747 nbPropagations=5115556 nbRevisions=4415645 nbUselessRevisions=67601
157.98 nbAssignments=248748 nbFailedAssignments=45333 nbBacktracks=99736 nbVisitedNodes=440666 nbRestartNogoods=180
157.98 => wckTime=153.478 cpuTime=150.81 mem=600M232
185.90
185.90 search
185.90 run=21 nbConstraintChecks=8739752 nbPropagations=6886351 nbRevisions=6002755 nbUselessRevisions=85389
185.90 nbAssignments=333158 nbFailedAssignments=79677 nbBacktracks=149615 nbVisitedNodes=593763 nbRestartNogoods=195
185.90 => wckTime=181.396 cpuTime=178.46 mem=600M232
227.25
227.25 search
227.25 run=22 nbConstraintChecks=10612088 nbPropagations=9234309 nbRevisions=8169346 nbUselessRevisions=105474
227.25 nbAssignments=459864 nbFailedAssignments=131377 nbBacktracks=224433 nbVisitedNodes=823868 nbRestartNogoods=212
227.25 => wckTime=222.743 cpuTime=219.46 mem=600M232
289.32
289.32 search
289.32 run=23 nbConstraintChecks=13168133 nbPropagations=12442080 nbRevisions=11198136 nbUselessRevisions=127920
289.32 nbAssignments=649999 nbFailedAssignments=209096 nbBacktracks=336661 nbVisitedNodes=1169440 nbRestartNogoods=226
289.32 => wckTime=284.812 cpuTime=281.0 mem=600M232
381.73
381.73 search
381.73 run=24 nbConstraintChecks=16768359 nbPropagations=16932785 nbRevisions=15511433 nbUselessRevisions=151918
381.73 nbAssignments=935004 nbFailedAssignments=325574 nbBacktracks=505002 nbVisitedNodes=1687398 nbRestartNogoods=245
381.73 => wckTime=377.226 cpuTime=372.63 mem=600M232
519.33
519.33 search
519.33 run=25 nbConstraintChecks=21981544 nbPropagations=23334255 nbRevisions=21738373 nbUselessRevisions=178794
519.33 nbAssignments=1360728 nbFailedAssignments=498601 nbBacktracks=757514 nbVisitedNodes=2459173
519.33 nbRestartNogoods=273
519.33 => wckTime=514.828 cpuTime=509.03 mem=600M232
724.06
724.06 search
724.06 run=26 nbConstraintChecks=29767616 nbPropagations=32604544 nbRevisions=30838987 nbUselessRevisions=210529
724.06 nbAssignments=2000170 nbFailedAssignments=759050 nbBacktracks=1136281 nbVisitedNodes=3619510
724.06 nbRestartNogoods=302
724.06 => wckTime=719.55 cpuTime=711.98 mem=600M232
1030.84
1030.84 search
1030.84 run=27 nbConstraintChecks=41029039 nbPropagations=46175451 nbRevisions=44243110 nbUselessRevisions=245207
1030.84 nbAssignments=2960859 nbFailedAssignments=1151364 nbBacktracks=1704432 nbVisitedNodes=5364824
1030.84 nbRestartNogoods=326
1030.84 => wckTime=1026.332 cpuTime=1016.13 mem=600M232
1487.95
1487.95 search
1487.95 run=28 nbConstraintChecks=57622844 nbPropagations=66194994 nbRevisions=64099489 nbUselessRevisions=283569
1487.95 nbAssignments=4403288 nbFailedAssignments=1741345 nbBacktracks=2556658 nbVisitedNodes=7987214
1487.95 nbRestartNogoods=345
1487.95 => wckTime=1483.441 cpuTime=1469.23 mem=600M232
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-238125-1168083391 -o ROOT/results/node6/solver-238125-1168083391 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238125-1168083391/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.85 1.36 1.61 5/93 10790
/proc/meminfo: memFree=1185976/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=18540 CPUtime=0
/proc/10789/stat : 10789 (runsolver) R 10787 10789 10221 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156735394 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10789/statm: 4635 279 244 17 0 2626 0
[startup+0.103818 s]
/proc/loadavg: 0.85 1.36 1.61 5/93 10790
/proc/meminfo: memFree=1185976/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=913236 CPUtime=0.08
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 2920 0 1 0 7 1 0 0 25 0 8 0 156735394 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.511865 s]
/proc/loadavg: 0.85 1.36 1.61 5/93 10790
/proc/meminfo: memFree=1185976/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915328 CPUtime=0.48
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 6771 0 1 0 45 3 0 0 25 0 8 0 156735394 937295872 6510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228832 6510 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33296 s]
/proc/loadavg: 0.94 1.37 1.61 3/100 10797
/proc/meminfo: memFree=1123136/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915644 CPUtime=1.29
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 18070 0 1 0 120 9 0 0 25 0 8 0 156735394 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228911 17808 2160 14 0 215381 0
[pid=10789/tid=10791] ppid=10787 vsize=915644 CPUtime=0.05
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 1530 0 0 0 5 0 0 0 17 0 8 0 156735398 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915644 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915644 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915644 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915644 CPUtime=0.15
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 156735402 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915644 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915644 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937619456 17808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915644
[startup+2.97015 s]
/proc/loadavg: 0.94 1.37 1.61 3/100 10797
/proc/meminfo: memFree=1112832/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915648 CPUtime=2.92
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 22211 0 1 0 219 73 0 0 25 0 8 0 156735394 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228912 21946 2180 14 0 215382 0
[pid=10789/tid=10791] ppid=10787 vsize=915648 CPUtime=0.25
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 5583 0 0 0 24 1 0 0 17 0 8 0 156735398 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915648 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915648 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915648 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915648 CPUtime=0.21
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 156735402 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915648 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915648 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937623552 21946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915648
[startup+6.27054 s]
/proc/loadavg: 0.94 1.37 1.61 3/100 10797
/proc/meminfo: memFree=1093824/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=6.19
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 25823 0 1 0 491 128 0 0 25 0 8 0 156735394 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 25498 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=0.45
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 8665 0 0 0 43 2 0 0 17 0 8 0 156735398 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.34
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 517 0 0 0 33 1 0 0 15 0 8 0 156735402 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937848832 25498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915868
[startup+12.7433 s]
/proc/loadavg: 1.10 1.39 1.62 3/100 10797
/proc/meminfo: memFree=1080640/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=12.6
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 35278 0 1 0 1128 132 0 0 25 0 8 0 156735394 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 34948 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=0.53
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 18102 0 0 0 47 6 0 0 16 0 8 0 156735398 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 17 0 8 0 156735402 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937848832 34948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915868
[startup+25.6138 s]
/proc/loadavg: 1.24 1.41 1.62 4/100 10797
/proc/meminfo: memFree=1007744/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=25.36
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 47358 0 1 0 2400 136 0 0 25 0 8 0 156735394 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074160362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 47025 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=0.62
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 30179 0 0 0 52 10 0 0 16 0 8 0 156735398 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937848832 47025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915868
[startup+51.2238 s]
/proc/loadavg: 1.62 1.49 1.64 4/100 10797
/proc/meminfo: memFree=908288/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=50.7
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 76047 0 1 0 4923 147 0 0 25 0 8 0 156735394 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074163880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 75708 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=0.86
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 58862 0 0 0 65 21 0 0 17 0 8 0 156735398 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937848832 75708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915868
[startup+102.436 s]
/proc/loadavg: 1.85 1.57 1.66 3/100 10797
/proc/meminfo: memFree=708736/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=101.42
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 127247 0 1 0 9974 168 0 0 25 0 8 0 156735394 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 126895 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.31
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 110049 0 0 0 89 42 0 0 16 0 8 0 156735398 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735402 937848832 126895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915868
[startup+162.488 s]
/proc/loadavg: 1.98 1.66 1.68 3/100 10797
/proc/meminfo: memFree=568064/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=160.92
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 15913 179 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.97
Current children cumulated vsize (KiB) 915868
[startup+1483.43 s]
/proc/loadavg: 2.17 2.04 1.92 3/106 10899
/proc/meminfo: memFree=565896/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1470.43
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 146853 190 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074135826 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.01
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.43
Current children cumulated vsize (KiB) 915868
[startup+1543.49 s]
/proc/loadavg: 2.06 2.03 1.92 3/106 10969
/proc/meminfo: memFree=565904/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1529.9
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 152795 195 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074163832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.01
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.9
Current children cumulated vsize (KiB) 915868
[startup+1603.55 s]
/proc/loadavg: 2.02 2.02 1.92 3/100 10995
/proc/meminfo: memFree=566720/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1589.39
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 158743 196 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074158388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.02
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.39
Current children cumulated vsize (KiB) 915868
[startup+1663.59 s]
/proc/loadavg: 2.01 2.01 1.92 3/100 10995
/proc/meminfo: memFree=566336/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1648.93
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 164697 196 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.02
/proc/10789/task/10797/stat : 10797 (java) R 10787 10789 10221 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.93
Current children cumulated vsize (KiB) 915868
[startup+1723.63 s]
/proc/loadavg: 2.00 2.01 1.92 2/88 11008
/proc/meminfo: memFree=612640/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1708.46
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 170649 197 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.02
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.46
Current children cumulated vsize (KiB) 915868
[startup+1783.67 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 11053
/proc/meminfo: memFree=556864/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1768.17
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 176619 198 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.02
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.17
Current children cumulated vsize (KiB) 915868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.65 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 11053
/proc/meminfo: memFree=556864/2055924 swapFree=4165672/4192956
[pid=10789] ppid=10787 vsize=915868 CPUtime=1800.03
/proc/10789/stat : 10789 (java) R 10787 10789 10221 0 -1 0 157141 0 1 0 179804 199 0 0 25 0 8 0 156735394 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074160315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10789/statm: 228967 156780 2535 14 0 215437 0
[pid=10789/tid=10791] ppid=10787 vsize=915868 CPUtime=1.59
/proc/10789/task/10791/stat : 10791 (java) S 10787 10789 10221 0 -1 64 139934 0 0 0 107 52 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10792] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10792/stat : 10792 (java) S 10787 10789 10221 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10793] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10793/stat : 10793 (java) S 10787 10789 10221 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735398 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10794] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10794/stat : 10794 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10795] ppid=10787 vsize=915868 CPUtime=0.37
/proc/10789/task/10795/stat : 10795 (java) S 10787 10789 10221 0 -1 64 530 0 0 0 36 1 0 0 16 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10796] ppid=10787 vsize=915868 CPUtime=0
/proc/10789/task/10796/stat : 10796 (java) S 10787 10789 10221 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10789/tid=10797] ppid=10787 vsize=915868 CPUtime=0.02
/proc/10789/task/10797/stat : 10797 (java) S 10787 10789 10221 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 156735402 937848832 156780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.76
CPU time (s): 1800.13
CPU user time (s): 1798.05
CPU system time (s): 2.08068
CPU usage (%): 99.1393
Max. virtual memory (cumulated for all children) (KiB): 916004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.05
system time used= 2.08068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157157
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= 38627
involuntary context switches= 118427
runsolver used 2.18267 s user time and 4.95325 s system time
The end
Begin job on node6 on Sat Jan 6 11:36:34 UTC 2007
IDJOB= 238125
IDBENCH= 6984
FILE ID= node6/238125-1168083391
PBS_JOBID= 3476223
Free space on /tmp= 66525 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_40.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238125-1168083391/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-238125-1168083391 -o ROOT/results/node6/solver-238125-1168083391 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238125-1168083391/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8b5182a49a250a29e8348f72e42d7007
RANDOM SEED= 472497373
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: 2055924 kB
MemFree: 1186712 kB
Buffers: 83284 kB
Cached: 607960 kB
SwapCached: 3036 kB
Active: 408268 kB
Inactive: 364200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1186712 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 5520 kB
Writeback: 0 kB
Mapped: 100356 kB
Slab: 81388 kB
Committed_AS: 5071864 kB
PageTables: 2500 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= 66524 MiB
End job on node6 on Sat Jan 6 12:06:59 UTC 2007