0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/206450-1168073569/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.46 => wckTime=0.1 cpuTime=0.1 mem=6M951
0.46
0.46 relations being loaded...
1.62
1.62 constraints being loaded...
2.38 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.38 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.38 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.38 => wckTime=2.015 cpuTime=1.62 mem=58M37
2.54
2.54 solver IterativeSystematicSolver being built...
2.70 => wckTime=2.339 cpuTime=1.75 mem=65M858
2.71
2.71 preprocessing
2.71 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.71 detectedInconsistency=no
2.71 => wckTime=0.0040 cpuTime=0.0 mem=65M858
2.85
2.85 search
2.85 run=0 nbConstraintChecks=41647 nbValidityChecks=72065 nbPropagations=322 nbRevisions=3565
2.85 nbUselessRevisions=2853 nbAssignments=28 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=46
2.85 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=0.142 cpuTime=0.11 mem=65M858
2.96
2.96 search
2.96 run=1 nbConstraintChecks=95319 nbValidityChecks=179008 nbPropagations=1088 nbRevisions=12811
2.96 nbUselessRevisions=10267 nbAssignments=72 nbFailedAssignments=31 nbBacktracks=29 nbVisitedNodes=118
2.96 nbRestartNogoods=3 mapSize=22 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.251 cpuTime=0.2 mem=65M858
3.08
3.08 search
3.08 run=2 nbConstraintChecks=162647 nbValidityChecks=309387 nbPropagations=2490 nbRevisions=29811
3.08 nbUselessRevisions=23956 nbAssignments=123 nbFailedAssignments=52 nbBacktracks=52 nbVisitedNodes=202
3.08 nbRestartNogoods=8 mapSize=40 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=0.378 cpuTime=0.33 mem=65M858
3.27
3.27 search
3.27 run=3 nbConstraintChecks=270390 nbValidityChecks=523574 nbPropagations=4999 nbRevisions=59947
3.27 nbUselessRevisions=47999 nbAssignments=210 nbFailedAssignments=99 nbBacktracks=85 nbVisitedNodes=357
3.27 nbRestartNogoods=11 mapSize=71 nbInferences=0 nbTooLargeKeys=0
3.27 => wckTime=0.561 cpuTime=0.51 mem=65M858
3.54
3.54 search
3.54 run=4 nbConstraintChecks=437724 nbValidityChecks=834552 nbPropagations=8776 nbRevisions=106983
3.54 nbUselessRevisions=85577 nbAssignments=346 nbFailedAssignments=177 nbBacktracks=135 nbVisitedNodes=601
3.54 nbRestartNogoods=17 mapSize=108 nbInferences=0 nbTooLargeKeys=0
3.54 => wckTime=0.832 cpuTime=0.78 mem=65M858
3.87
3.87 search
3.87 run=5 nbConstraintChecks=631519 nbValidityChecks=1217050 nbPropagations=14231 nbRevisions=175674
3.87 nbUselessRevisions=140278 nbAssignments=481 nbFailedAssignments=231 nbBacktracks=210 nbVisitedNodes=829
3.87 nbRestartNogoods=24 mapSize=161 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=1.166 cpuTime=1.1 mem=65M858
4.50
4.50 search
4.50 run=6 nbConstraintChecks=996434 nbValidityChecks=1971540 nbPropagations=23068 nbRevisions=287553
4.50 nbUselessRevisions=228877 nbAssignments=743 nbFailedAssignments=372 nbBacktracks=324 nbVisitedNodes=1296
4.50 nbRestartNogoods=32 mapSize=251 nbInferences=0 nbTooLargeKeys=0
4.50 => wckTime=1.79 cpuTime=1.72 mem=65M858
5.42
5.42 search
5.42 run=7 nbConstraintChecks=1539033 nbValidityChecks=3091323 nbPropagations=37634 nbRevisions=466681
5.42 nbUselessRevisions=370008 nbAssignments=1166 nbFailedAssignments=617 nbBacktracks=494 nbVisitedNodes=2079
5.42 nbRestartNogoods=44 mapSize=406 nbInferences=0 nbTooLargeKeys=0
5.42 => wckTime=2.71 cpuTime=2.64 mem=65M858
6.74
6.74 search
6.74 run=8 nbConstraintChecks=2323909 nbValidityChecks=4683794 nbPropagations=59396 nbRevisions=739824
6.74 nbUselessRevisions=585549 nbAssignments=1747 nbFailedAssignments=934 nbBacktracks=750 nbVisitedNodes=3118
6.74 nbRestartNogoods=55 mapSize=608 nbInferences=0 nbTooLargeKeys=0
6.74 => wckTime=4.032 cpuTime=3.93 mem=65M858
8.26
8.26 search
8.26 run=9 nbConstraintChecks=3227305 nbValidityChecks=6678188 nbPropagations=92601 nbRevisions=1148651
8.26 nbUselessRevisions=907817 nbAssignments=2773 nbFailedAssignments=1569 nbBacktracks=1135 nbVisitedNodes=4999
8.26 nbRestartNogoods=60 mapSize=918 nbInferences=0 nbTooLargeKeys=0
8.26 => wckTime=5.549 cpuTime=5.43 mem=66M850
8.70
8.70 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=66M850)
11.03
11.03 search
11.03 run=10 nbConstraintChecks=4973485 nbValidityChecks=10184466 nbPropagations=144418 nbRevisions=1790514
11.03 nbUselessRevisions=1414237 nbAssignments=4133 nbFailedAssignments=2343 nbBacktracks=1715 nbVisitedNodes=7504
11.03 nbRestartNogoods=63
11.03 => wckTime=8.323 cpuTime=8.18 mem=66M850
15.35
15.35 search
15.35 run=11 nbConstraintChecks=7673053 nbValidityChecks=15675338 nbPropagations=224234 nbRevisions=2780930
15.35 nbUselessRevisions=2195413 nbAssignments=6223 nbFailedAssignments=3561 nbBacktracks=2580 nbVisitedNodes=11381
15.35 nbRestartNogoods=70
15.35 => wckTime=12.647 cpuTime=12.48 mem=66M850
21.65
21.65 search
21.65 run=12 nbConstraintChecks=11478104 nbValidityChecks=23572107 nbPropagations=346370 nbRevisions=4283027
21.65 nbUselessRevisions=3377168 nbAssignments=9556 nbFailedAssignments=5589 nbBacktracks=3877 nbVisitedNodes=17496
21.65 nbRestartNogoods=82
21.65 => wckTime=18.947 cpuTime=18.75 mem=66M850
30.13
30.13 search
30.13 run=13 nbConstraintChecks=16753169 nbValidityChecks=34472326 nbPropagations=526996 nbRevisions=6501959
30.13 nbUselessRevisions=5125085 nbAssignments=14106 nbFailedAssignments=8186 nbBacktracks=5823 nbVisitedNodes=25829
30.13 nbRestartNogoods=95
30.13 => wckTime=27.424 cpuTime=27.19 mem=66M850
46.75
46.75 search
46.75 run=14 nbConstraintChecks=26815327 nbValidityChecks=55446065 nbPropagations=819333 nbRevisions=10044366
46.75 nbUselessRevisions=7900902 nbAssignments=22116 nbFailedAssignments=13269 nbBacktracks=8743 nbVisitedNodes=40997
46.75 nbRestartNogoods=102
46.75 => wckTime=44.044 cpuTime=43.73 mem=66M850
60.18
60.18 search
60.18 run=15 nbConstraintChecks=35081381 nbValidityChecks=71924367 nbPropagations=1202593 nbRevisions=14671349
60.18 nbUselessRevisions=11538433 nbAssignments=29951 nbFailedAssignments=16717 nbBacktracks=13124
60.18 nbVisitedNodes=54322 nbRestartNogoods=117
60.18 => wckTime=57.475 cpuTime=57.09 mem=66M850
86.26
86.26 search
86.26 run=16 nbConstraintChecks=50988727 nbValidityChecks=104226727 nbPropagations=1761032 nbRevisions=21427895
86.26 nbUselessRevisions=16866082 nbAssignments=43265 nbFailedAssignments=23454 nbBacktracks=19692
86.26 nbVisitedNodes=78139 nbRestartNogoods=132
86.26 => wckTime=83.558 cpuTime=83.06 mem=66M850
134.56
134.56 search
134.56 run=17 nbConstraintChecks=80780703 nbValidityChecks=166051491 nbPropagations=2644556 nbRevisions=32165259
134.56 nbUselessRevisions=25317326 nbAssignments=66670 nbFailedAssignments=36999 nbBacktracks=29544
134.56 nbVisitedNodes=121396 nbRestartNogoods=154
134.56 => wckTime=131.856 cpuTime=131.13 mem=66M850
214.75
214.75 search
214.75 run=18 nbConstraintChecks=129682130 nbValidityChecks=266816692 nbPropagations=4052882 nbRevisions=49047910
214.75 nbUselessRevisions=38554217 nbAssignments=103924 nbFailedAssignments=59469 nbBacktracks=44322
214.75 nbVisitedNodes=191307 nbRestartNogoods=175
214.75 => wckTime=212.048 cpuTime=210.95 mem=66M850
312.83
312.83 search
312.83 run=19 nbConstraintChecks=189474613 nbValidityChecks=388510794 nbPropagations=6105081 nbRevisions=74139595
312.83 nbUselessRevisions=58320938 nbAssignments=152451 nbFailedAssignments=85819 nbBacktracks=66491
312.83 nbVisitedNodes=279488 nbRestartNogoods=187
312.83 => wckTime=310.123 cpuTime=308.56 mem=66M850
475.29
475.29 search
475.29 run=20 nbConstraintChecks=291410892 nbValidityChecks=599779275 nbPropagations=9249378 nbRevisions=112700927
475.29 nbUselessRevisions=88694193 nbAssignments=234034 nbFailedAssignments=134141 nbBacktracks=99743
475.29 nbVisitedNodes=430630 nbRestartNogoods=209
475.29 => wckTime=472.582 cpuTime=470.33 mem=66M850
737.06
737.06 search
737.06 run=21 nbConstraintChecks=458982481 nbValidityChecks=945828972 nbPropagations=14192783 nbRevisions=172510202
737.06 nbUselessRevisions=135615791 nbAssignments=362651 nbFailedAssignments=212873 nbBacktracks=149621
737.06 nbVisitedNodes=672553 nbRestartNogoods=226
737.06 => wckTime=734.351 cpuTime=731.74 mem=66M850
1007.81
1007.81 search
1007.81 run=22 nbConstraintChecks=633007559 nbValidityChecks=1297981757 nbPropagations=21016245 nbRevisions=255650394
1007.81 nbUselessRevisions=201082715 nbAssignments=511291 nbFailedAssignments=286688 nbBacktracks=224439
1007.81 nbVisitedNodes=936063 nbRestartNogoods=234
1007.81 => wckTime=1005.106 cpuTime=1002.23 mem=66M850
1543.31
1543.31 search
1543.31 run=23 nbConstraintChecks=983448380 nbValidityChecks=2020389418 nbPropagations=31565354 nbRevisions=385030836
1543.31 nbUselessRevisions=302966119 nbAssignments=786591 nbFailedAssignments=449751 nbBacktracks=336669
1543.31 nbVisitedNodes=1446679 nbRestartNogoods=265
1543.31 => wckTime=1540.602 cpuTime=1537.16 mem=66M850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-206450-1168073569 -o ROOT/results/node9/solver-206450-1168073569 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206450-1168073569/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: 1.76 1.72 1.81 4/93 16711
/proc/meminfo: memFree=1073200/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=18540 CPUtime=0
/proc/16710/stat : 16710 (runsolver) R 16708 16710 16587 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155752067 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16710/statm: 4635 279 244 17 0 2626 0
[startup+0.104097 s]
/proc/loadavg: 1.76 1.72 1.81 4/93 16711
/proc/meminfo: memFree=1073200/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=907808 CPUtime=0.06
/proc/16710/stat : 16710 (java) D 16708 16710 16587 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 155752067 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.512144 s]
/proc/loadavg: 1.76 1.72 1.81 4/93 16711
/proc/meminfo: memFree=1073200/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915328 CPUtime=0.44
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 6609 0 1 0 40 4 0 0 18 0 8 0 155752067 937295872 6348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228832 6348 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.34024 s]
/proc/loadavg: 1.76 1.72 1.81 3/100 16718
/proc/meminfo: memFree=1005880/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915328 CPUtime=1.26
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 19099 0 1 0 115 11 0 0 25 0 8 0 155752067 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228832 18837 2149 14 0 215302 0
[pid=16710/tid=16712] ppid=16708 vsize=915328 CPUtime=0.05
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155752071 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915328 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915328 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915328 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915328 CPUtime=0.08
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155752079 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915328 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915328 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915328
[startup+2.98543 s]
/proc/loadavg: 1.76 1.72 1.81 5/100 16718
/proc/meminfo: memFree=966328/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=2.9
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32558 0 1 0 274 16 0 0 25 0 8 0 155752067 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228860 32292 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.21
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 155752079 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915440
[startup+6.2648 s]
/proc/loadavg: 1.78 1.73 1.81 3/100 16718
/proc/meminfo: memFree=953400/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=6.17
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32577 0 1 0 600 17 0 0 25 0 8 0 155752067 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228860 32308 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 17 0 8 0 155752071 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.24
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155752079 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915440
[startup+12.7625 s]
/proc/loadavg: 1.80 1.73 1.81 3/100 16718
/proc/meminfo: memFree=953528/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=12.63
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32589 0 1 0 1246 17 0 0 25 0 8 0 155752067 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228860 32317 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 403 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.627 s]
/proc/loadavg: 1.84 1.74 1.81 3/100 16718
/proc/meminfo: memFree=953656/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=25.44
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32589 0 1 0 2526 18 0 0 25 0 8 0 155752067 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228860 32317 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 403 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915440
[startup+51.2599 s]
/proc/loadavg: 1.89 1.76 1.82 3/100 16718
/proc/meminfo: memFree=953720/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=50.95
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32589 0 1 0 5077 18 0 0 25 0 8 0 155752067 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809329 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228860 32317 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 403 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915440
[startup+102.52 s]
/proc/loadavg: 1.95 1.80 1.82 5/100 16718
/proc/meminfo: memFree=953784/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=101.96
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32589 0 1 0 10178 18 0 0 25 0 8 0 155752067 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16710/statm: 228860 32317 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 403 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915440
[startup+162.532 s]
/proc/loadavg: 1.98 1.83 1.83 3/100 16718
/proc/meminfo: memFree=953720/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=161.7
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32590 0 1 0 16151 19 0 0 25 0 8 0 155752067 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.57
Current children cumulated vsize (KiB) 915440
[startup+1482.87 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 16973
/proc/meminfo: memFree=1016752/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1479.51
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 147904 47 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.51
Current children cumulated vsize (KiB) 915440
[startup+1542.89 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 16973
/proc/meminfo: memFree=1016752/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1539.46
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 153899 47 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.46
Current children cumulated vsize (KiB) 915440
[startup+1602.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 16975
/proc/meminfo: memFree=1016560/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1599.43
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 159895 48 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.43
Current children cumulated vsize (KiB) 915440
[startup+1662.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 16975
/proc/meminfo: memFree=1016560/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1659.37
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 165889 48 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.37
Current children cumulated vsize (KiB) 915440
[startup+1722.93 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 16975
/proc/meminfo: memFree=1016624/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1719.32
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 171884 48 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.32
Current children cumulated vsize (KiB) 915440
[startup+1782.94 s]
/proc/loadavg: 2.05 2.01 1.94 3/100 16975
/proc/meminfo: memFree=1016624/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1779.26
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 177878 48 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.26
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.72 s]
/proc/loadavg: 2.03 2.01 1.94 3/100 16975
/proc/meminfo: memFree=1016624/2055920 swapFree=4191880/4192956
[pid=16710] ppid=16708 vsize=915440 CPUtime=1800.02
/proc/16710/stat : 16710 (java) R 16708 16710 16587 0 -1 0 32591 0 1 0 179954 48 0 0 25 0 8 0 155752067 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16710/statm: 228860 32318 2521 14 0 215330 0
[pid=16710/tid=16712] ppid=16708 vsize=915440 CPUtime=0.45
/proc/16710/task/16712/stat : 16712 (java) S 16708 16710 16587 0 -1 64 15583 0 0 0 40 5 0 0 16 0 8 0 155752071 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16713] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16713/stat : 16713 (java) S 16708 16710 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16714] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16714/stat : 16714 (java) S 16708 16710 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155752072 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16715] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16715/stat : 16715 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16716] ppid=16708 vsize=915440 CPUtime=0.28
/proc/16710/task/16716/stat : 16716 (java) S 16708 16710 16587 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16710/tid=16717] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16717/stat : 16717 (java) S 16708 16710 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155752079 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16710/tid=16718] ppid=16708 vsize=915440 CPUtime=0
/proc/16710/task/16718/stat : 16718 (java) S 16708 16710 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155752080 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.76
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.506922
CPU usage (%): 99.795
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.506922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32607
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= 37649
involuntary context switches= 67001
runsolver used 2.29265 s user time and 5.69613 s system time
The end
Begin job on node9 on Sat Jan 6 08:52:49 UTC 2007
IDJOB= 206450
IDBENCH= 4209
FILE ID= node9/206450-1168073569
PBS_JOBID= 3475774
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206450-1168073569/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-206450-1168073569 -o ROOT/results/node9/solver-206450-1168073569 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206450-1168073569/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6e34df8fcc34f2f20744837f33af4217
RANDOM SEED= 367421311
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1073616 kB
Buffers: 83592 kB
Cached: 560304 kB
SwapCached: 268 kB
Active: 515828 kB
Inactive: 364008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1073616 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7572 kB
Writeback: 0 kB
Mapped: 257664 kB
Slab: 86832 kB
Committed_AS: 4742636 kB
PageTables: 2704 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= 66531 MiB
End job on node9 on Sat Jan 6 09:22:53 UTC 2007