0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229888-1168312996/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.53
0.53 constraints being loaded...
0.67 nbConstraints=461 nbRelationTypes=461 nbExtensionStructures=461 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=461 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2358 maxDegree=28
0.67 maxArity=2
0.67 => wckTime=0.369 cpuTime=0.28 mem=16M967
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.561 cpuTime=0.4 mem=15M569
0.91
0.91 preprocessing
0.91 nbConstraintChecks=97353 nbPropagations=1091 nbRevisions=8714 nbUselessRevisions=7391 nbSingletonTests=56
0.91 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.05 cpuTime=0.03 mem=15M569
0.94
0.94 search
0.94 run=0 nbConstraintChecks=50823 nbPropagations=1699 nbRevisions=16173 nbUselessRevisions=13531 nbAssignments=28
0.94 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.077 cpuTime=0.05 mem=15M569
0.96
0.96 search
0.96 run=1 nbConstraintChecks=101822 nbPropagations=4111 nbRevisions=40742 nbUselessRevisions=33997
0.96 nbAssignments=66 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=97 nbRestartNogoods=3 mapSize=22
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.096 cpuTime=0.06 mem=15M569
0.97
0.97 search
0.97 run=2 nbConstraintChecks=170598 nbPropagations=7436 nbRevisions=76595 nbUselessRevisions=63668
0.97 nbAssignments=114 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=171 nbRestartNogoods=5 mapSize=39
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.109 cpuTime=0.07 mem=15M569
0.99
0.99 search
0.99 run=3 nbConstraintChecks=261814 nbPropagations=11989 nbRevisions=128494 nbUselessRevisions=106466
0.99 nbAssignments=181 nbFailedAssignments=51 nbBacktracks=81 nbVisitedNodes=276 nbRestartNogoods=8 mapSize=65
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.128 cpuTime=0.09 mem=15M569
1.02
1.02 search
1.02 run=4 nbConstraintChecks=421795 nbPropagations=18461 nbRevisions=208634 nbUselessRevisions=172352
1.02 nbAssignments=281 nbFailedAssignments=89 nbBacktracks=134 nbVisitedNodes=441 nbRestartNogoods=12 mapSize=108
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.158 cpuTime=0.12 mem=15M569
1.05
1.05 search
1.05 run=5 nbConstraintChecks=596334 nbPropagations=27185 nbRevisions=320015 nbUselessRevisions=264106
1.05 nbAssignments=403 nbFailedAssignments=126 nbBacktracks=209 nbVisitedNodes=636 nbRestartNogoods=14 mapSize=166
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.193 cpuTime=0.15 mem=15M569
1.12
1.12 search
1.12 run=6 nbConstraintChecks=960388 nbPropagations=40098 nbRevisions=495950 nbUselessRevisions=408790
1.12 nbAssignments=606 nbFailedAssignments=206 nbBacktracks=322 nbVisitedNodes=978 nbRestartNogoods=18 mapSize=259
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.255 cpuTime=0.21 mem=15M569
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1520870 nbPropagations=59655 nbRevisions=768527 nbUselessRevisions=632510
1.21 nbAssignments=928 nbFailedAssignments=329 nbBacktracks=492 nbVisitedNodes=1506 nbRestartNogoods=25 mapSize=405
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.351 cpuTime=0.3 mem=15M569
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2261087 nbPropagations=87405 nbRevisions=1161349 nbUselessRevisions=952744
1.33 nbAssignments=1336 nbFailedAssignments=470 nbBacktracks=750 nbVisitedNodes=2188 nbRestartNogoods=31
1.33 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.47 cpuTime=0.41 mem=15M569
1.50
1.50 search
1.50 run=9 nbConstraintChecks=3222380 nbPropagations=127197 nbRevisions=1739183 nbUselessRevisions=1425299
1.50 nbAssignments=1968 nbFailedAssignments=705 nbBacktracks=1137 nbVisitedNodes=3257 nbRestartNogoods=33
1.50 mapSize=924 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.641 cpuTime=0.57 mem=15M569
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=15M569)
1.72
1.72 search
1.72 run=10 nbConstraintChecks=4610892 nbPropagations=183670 nbRevisions=2568620 nbUselessRevisions=2102266
1.72 nbAssignments=2895 nbFailedAssignments=1045 nbBacktracks=1717 nbVisitedNodes=4805 nbRestartNogoods=39
1.72 => wckTime=0.863 cpuTime=0.78 mem=15M569
2.02
2.02 search
2.02 run=11 nbConstraintChecks=6551344 nbPropagations=264980 nbRevisions=3766664 nbUselessRevisions=3081617
2.02 nbAssignments=4236 nbFailedAssignments=1510 nbBacktracks=2582 nbVisitedNodes=7033 nbRestartNogoods=43
2.02 => wckTime=1.157 cpuTime=1.07 mem=15M569
2.62
2.62 search
2.62 run=12 nbConstraintChecks=10404112 nbPropagations=390856 nbRevisions=5652064 nbUselessRevisions=4623112
2.62 nbAssignments=6406 nbFailedAssignments=2372 nbBacktracks=3880 nbVisitedNodes=10803 nbRestartNogoods=48
2.62 => wckTime=1.764 cpuTime=1.62 mem=15M569
3.28
3.28 search
3.28 run=13 nbConstraintChecks=14802939 nbPropagations=572504 nbRevisions=8352413 nbUselessRevisions=6826723
3.28 nbAssignments=9380 nbFailedAssignments=3388 nbBacktracks=5826 nbVisitedNodes=15719 nbRestartNogoods=53
3.28 => wckTime=2.419 cpuTime=2.27 mem=15M569
4.25
4.25 search
4.25 run=14 nbConstraintChecks=21114842 nbPropagations=839787 nbRevisions=12333713 nbUselessRevisions=10084606
4.25 nbAssignments=14024 nbFailedAssignments=5100 nbBacktracks=8748 nbVisitedNodes=23618 nbRestartNogoods=64
4.25 => wckTime=3.392 cpuTime=3.24 mem=15M569
5.89
5.89 search
5.89 run=15 nbConstraintChecks=32245047 nbPropagations=1243026 nbRevisions=18377791 nbUselessRevisions=15028150
5.89 nbAssignments=21117 nbFailedAssignments=7800 nbBacktracks=13127 nbVisitedNodes=35697 nbRestartNogoods=74
5.89 => wckTime=5.033 cpuTime=4.88 mem=16M544
8.25
8.25 search
8.25 run=16 nbConstraintChecks=48052627 nbPropagations=1850596 nbRevisions=27439662 nbUselessRevisions=22440729
8.25 nbAssignments=31749 nbFailedAssignments=11856 nbBacktracks=19697 nbVisitedNodes=53891 nbRestartNogoods=80
8.25 => wckTime=7.386 cpuTime=7.24 mem=16M544
12.32
12.32 search
12.32 run=17 nbConstraintChecks=77000678 nbPropagations=2785255 nbRevisions=41664755 nbUselessRevisions=34077564
12.32 nbAssignments=48247 nbFailedAssignments=18493 nbBacktracks=29550 nbVisitedNodes=82453 nbRestartNogoods=86
12.32 => wckTime=11.459 cpuTime=11.31 mem=16M544
17.29
17.29 search
17.29 run=18 nbConstraintChecks=109764050 nbPropagations=4157340 nbRevisions=62343941 nbUselessRevisions=51010537
17.29 nbAssignments=71636 nbFailedAssignments=27094 nbBacktracks=44329 nbVisitedNodes=122070 nbRestartNogoods=101
17.29 => wckTime=16.43 cpuTime=16.27 mem=16M544
25.15
25.15 search
25.15 run=19 nbConstraintChecks=163096357 nbPropagations=6199838 nbRevisions=93128033 nbUselessRevisions=76215919
25.15 nbAssignments=106913 nbFailedAssignments=40192 nbBacktracks=66498 nbVisitedNodes=182027 nbRestartNogoods=111
25.15 => wckTime=24.291 cpuTime=24.13 mem=16M544
36.94
36.94 search
36.94 run=20 nbConstraintChecks=243832255 nbPropagations=9221004 nbRevisions=138627600 nbUselessRevisions=113400757
36.94 nbAssignments=159086 nbFailedAssignments=59101 nbBacktracks=99751 nbVisitedNodes=269620 nbRestartNogoods=119
36.94 => wckTime=36.082 cpuTime=35.92 mem=16M544
53.89
53.89 search
53.89 run=21 nbConstraintChecks=355986528 nbPropagations=13727677 nbRevisions=206166930 nbUselessRevisions=168681874
53.89 nbAssignments=238098 nbFailedAssignments=88226 nbBacktracks=149630 nbVisitedNodes=403629 nbRestartNogoods=127
53.89 => wckTime=53.034 cpuTime=52.86 mem=16M544
81.07
81.07 search
81.07 run=22 nbConstraintChecks=544328072 nbPropagations=20508115 nbRevisions=308107666 nbUselessRevisions=252065345
81.07 nbAssignments=355525 nbFailedAssignments=130825 nbBacktracks=224448 nbVisitedNodes=602822 nbRestartNogoods=136
81.07 => wckTime=80.212 cpuTime=80.03 mem=16M544
120.18
120.18 search
120.18 run=23 nbConstraintChecks=807035831 nbPropagations=30638986 nbRevisions=460957021 nbUselessRevisions=377302169
120.18 nbAssignments=532475 nbFailedAssignments=195535 nbBacktracks=336677 nbVisitedNodes=902560 nbRestartNogoods=148
120.18 => wckTime=119.319 cpuTime=119.12 mem=16M544
187.67
187.67 search
187.67 run=24 nbConstraintChecks=1284054131 nbPropagations=46263843 nbRevisions=700563060 nbUselessRevisions=573751146
187.67 nbAssignments=808397 nbFailedAssignments=303108 nbBacktracks=505018 nbVisitedNodes=1377624 nbRestartNogoods=164
187.67 => wckTime=186.808 cpuTime=186.59 mem=16M544
273.60
273.60 search
273.60 run=25 nbConstraintChecks=1854715803 nbPropagations=69405102 nbRevisions=1051382158
273.60 nbUselessRevisions=861380563 nbAssignments=1205484 nbFailedAssignments=447674 nbBacktracks=757529
273.60 nbVisitedNodes=2049998 nbRestartNogoods=179
273.60 => wckTime=272.742 cpuTime=272.49 mem=16M544
405.50
405.50 search
405.50 run=26 nbConstraintChecks=2749250403 nbPropagations=103636454 nbRevisions=1570286772
405.50 nbUselessRevisions=1286772488 nbAssignments=1794430 nbFailedAssignments=657839 nbBacktracks=1136298
405.50 nbVisitedNodes=3040175 nbRestartNogoods=190
405.50 => wckTime=404.638 cpuTime=404.34 mem=16M544
603.73
603.73 search
603.73 run=27 nbConstraintChecks=4090584885 nbPropagations=154736186 nbRevisions=2347308207
603.73 nbUselessRevisions=1924395804 nbAssignments=2693604 nbFailedAssignments=988849 nbBacktracks=1704451
603.73 nbVisitedNodes=4565227 nbRestartNogoods=206
603.73 => wckTime=602.868 cpuTime=602.51 mem=16M544
907.29
907.29 search
907.29 run=28 nbConstraintChecks=6150246851 nbPropagations=231907919 nbRevisions=3517257116
907.29 nbUselessRevisions=2884319622 nbAssignments=4050433 nbFailedAssignments=1493440 nbBacktracks=2556678
907.29 nbVisitedNodes=6872731 nbRestartNogoods=221
907.29 => wckTime=906.433 cpuTime=905.97 mem=16M544
1413.95
1413.95 search
1413.95 run=29 nbConstraintChecks=9747940027 nbPropagations=350464992 nbRevisions=5334891109
1413.95 nbUselessRevisions=4374952879 nbAssignments=6132265 nbFailedAssignments=2296920 nbBacktracks=3835018
1413.95 nbVisitedNodes=10449997 nbRestartNogoods=241
1413.95 => wckTime=1413.092 cpuTime=1412.45 mem=16M544
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-229888-1168312996 -o ROOT/results/node76/solver-229888-1168312996 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229888-1168312996/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.96 2.03 2.08 2/78 16775
/proc/meminfo: memFree=1506928/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=18544 CPUtime=0
/proc/16774/stat : 16774 (runsolver) R 16772 16774 15801 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 179696685 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16774/statm: 4636 280 245 17 0 2626 0
[startup+0.1025 s]
/proc/loadavg: 1.96 2.03 2.08 2/78 16775
/proc/meminfo: memFree=1506928/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=914992 CPUtime=0.07
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 2994 0 1 0 6 1 0 0 25 0 8 0 179696685 936951808 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072912012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16774/statm: 228748 2742 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914992
[startup+0.51058 s]
/proc/loadavg: 1.96 2.03 2.08 2/78 16775
/proc/meminfo: memFree=1506928/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915332 CPUtime=0.48
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 7199 0 1 0 45 3 0 0 25 0 8 0 179696685 937299968 6940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16774/statm: 228833 6940 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33173 s]
/proc/loadavg: 1.96 2.03 2.08 2/80 16792
/proc/meminfo: memFree=1483872/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1.3
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9615 0 1 0 125 5 0 0 18 0 8 0 179696685 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9355 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.21
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 385 0 0 0 20 1 0 0 15 0 8 0 179696693 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915424
[startup+2.98306 s]
/proc/loadavg: 1.96 2.03 2.08 2/80 16794
/proc/meminfo: memFree=1483872/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=2.9
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9630 0 1 0 284 6 0 0 25 0 8 0 179696685 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9369 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 17 0 8 0 179696689 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.24
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 399 0 0 0 23 1 0 0 15 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915424
[startup+6.27171 s]
/proc/loadavg: 1.96 2.03 2.08 4/93 16853
/proc/meminfo: memFree=1470776/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=6.18
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9631 0 1 0 612 6 0 0 25 0 8 0 179696685 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9369 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.24
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 399 0 0 0 23 1 0 0 15 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915424
[startup+12.752 s]
/proc/loadavg: 1.97 2.03 2.08 3/93 16853
/proc/meminfo: memFree=1470728/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=12.66
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9632 0 1 0 1260 6 0 0 25 0 8 0 179696685 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9370 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.24
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915424
[startup+25.5955 s]
/proc/loadavg: 1.97 2.02 2.07 3/93 16853
/proc/meminfo: memFree=1470800/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=25.5
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9633 0 1 0 2544 6 0 0 25 0 8 0 179696685 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9370 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.24
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915424
[startup+51.2045 s]
/proc/loadavg: 1.98 2.02 2.07 3/93 16853
/proc/meminfo: memFree=1470928/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=51.1
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9633 0 1 0 5104 6 0 0 25 0 8 0 179696685 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9370 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.24
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915424
[startup+102.419 s]
/proc/loadavg: 1.99 2.02 2.07 3/93 16853
/proc/meminfo: memFree=1470992/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=102.29
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9633 0 1 0 10223 6 0 0 25 0 8 0 179696685 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9370 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.24
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915424
[startup+162.484 s]
/proc/loadavg: 1.99 2.01 2.06 3/93 16853
/proc/meminfo: memFree=1471056/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=162.34
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9633 0 1 0 16228 6 0 0 25 0 8 0 179696685 937394176 9370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.91
Current children cumulated vsize (KiB) 915424
[startup+1483.54 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 16853
/proc/meminfo: memFree=1470736/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1482.95
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 148288 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.95
Current children cumulated vsize (KiB) 915424
[startup+1543.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 16853
/proc/meminfo: memFree=1470800/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1542.96
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 154289 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.96
Current children cumulated vsize (KiB) 915424
[startup+1603.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 16853
/proc/meminfo: memFree=1470736/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1602.96
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 160289 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.96
Current children cumulated vsize (KiB) 915424
[startup+1663.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 16853
/proc/meminfo: memFree=1470736/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1662.96
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 166289 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.96
Current children cumulated vsize (KiB) 915424
[startup+1723.67 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 16853
/proc/meminfo: memFree=1470672/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1723
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 172293 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0.02
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723
Current children cumulated vsize (KiB) 915424
[startup+1783.72 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 16853
/proc/meminfo: memFree=1470736/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1783.02
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 178295 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0.02
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.02
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.79 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 16853
/proc/meminfo: memFree=1470736/2055888 swapFree=4095388/4096564
[pid=16774] ppid=16772 vsize=915424 CPUtime=1800.09
/proc/16774/stat : 16774 (java) R 16772 16774 15801 0 -1 0 9635 0 1 0 180002 7 0 0 25 0 8 0 179696685 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16774/statm: 228856 9372 2525 14 0 215325 0
[pid=16774/tid=16776] ppid=16772 vsize=915424 CPUtime=0.03
/proc/16774/task/16776/stat : 16776 (java) S 16772 16774 15801 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 179696689 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16777] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16777/stat : 16777 (java) S 16772 16774 15801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16778] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16778/stat : 16778 (java) S 16772 16774 15801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179696690 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16779] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16779/stat : 16779 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16780] ppid=16772 vsize=915424 CPUtime=0.25
/proc/16774/task/16780/stat : 16780 (java) S 16772 16774 15801 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16774/tid=16781] ppid=16772 vsize=915424 CPUtime=0
/proc/16774/task/16781/stat : 16781 (java) S 16772 16774 15801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16774/tid=16782] ppid=16772 vsize=915424 CPUtime=0.02
/proc/16774/task/16782/stat : 16782 (java) S 16772 16774 15801 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 179696693 937394176 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.82
CPU time (s): 1800.12
CPU user time (s): 1800.04
CPU system time (s): 0.081987
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9653
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= 37492
involuntary context switches= 7933
runsolver used 2.08668 s user time and 4.71728 s system time
The end
Begin job on node76 on Tue Jan 9 03:23:16 UTC 2007
IDJOB= 229888
IDBENCH= 6374
FILE ID= node76/229888-1168312996
PBS_JOBID= 3502368
Free space on /tmp= 66646 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229888-1168312996/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-229888-1168312996 -o ROOT/results/node76/solver-229888-1168312996 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229888-1168312996/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2e7ba53ea9b6aeb5151fd952bd2d9036
RANDOM SEED= 140546774
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1507536 kB
Buffers: 75596 kB
Cached: 377060 kB
SwapCached: 428 kB
Active: 166592 kB
Inactive: 311552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1507536 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 35232 kB
Slab: 56092 kB
Committed_AS: 6700744 kB
PageTables: 1736 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66646 MiB
End job on node76 on Tue Jan 9 03:53:17 UTC 2007