0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/242233-1168085481/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.54 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.54 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.54 => wckTime=0.147 cpuTime=0.11 mem=7M927
0.57
0.57 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.358 cpuTime=0.27 mem=15M399
0.75
0.75 preprocessing
0.75 nbConstraintChecks=0 nbPropagations=150 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.75 detectedInconsistency=no
0.75 => wckTime=0.0030 cpuTime=0.0 mem=15M399
0.80
0.80 search
0.80 run=0 nbConstraintChecks=450 nbValidityChecks=800 nbPropagations=347 nbRevisions=448 nbUselessRevisions=300
0.80 nbAssignments=99 nbFailedAssignments=1 nbBacktracks=49 nbVisitedNodes=102 nbRestartNogoods=0 mapSize=1
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.051 cpuTime=0.03 mem=15M399
0.82
0.82 search
0.82 run=1 nbConstraintChecks=704 nbValidityChecks=1672 nbPropagations=898 nbRevisions=1309 nbUselessRevisions=860
0.82 nbAssignments=216 nbFailedAssignments=7 nbBacktracks=67 nbVisitedNodes=233 nbRestartNogoods=1 mapSize=12
0.82 nbInferences=2 nbTooLargeKeys=0
0.82 => wckTime=0.075 cpuTime=0.05 mem=15M399
0.84
0.84 search
0.84 run=2 nbConstraintChecks=951 nbValidityChecks=2648 nbPropagations=1670 nbRevisions=2606
0.84 nbUselessRevisions=1684 nbAssignments=340 nbFailedAssignments=14 nbBacktracks=94 nbVisitedNodes=371
0.84 nbRestartNogoods=2 mapSize=25 nbInferences=3 nbTooLargeKeys=0
0.84 => wckTime=0.094 cpuTime=0.06 mem=15M399
0.86
0.86 search
0.86 run=3 nbConstraintChecks=1262 nbValidityChecks=3794 nbPropagations=2699 nbRevisions=4402
0.86 nbUselessRevisions=2801 nbAssignments=477 nbFailedAssignments=23 nbBacktracks=127 nbVisitedNodes=527
0.86 nbRestartNogoods=3 mapSize=40 nbInferences=5 nbTooLargeKeys=0
0.86 => wckTime=0.115 cpuTime=0.08 mem=15M399
0.89
0.89 search
0.89 run=4 nbConstraintChecks=1676 nbValidityChecks=5224 nbPropagations=4045 nbRevisions=6815
0.89 nbUselessRevisions=4280 nbAssignments=638 nbFailedAssignments=34 nbBacktracks=179 nbVisitedNodes=716
0.89 nbRestartNogoods=6 mapSize=64 nbInferences=12 nbTooLargeKeys=0
0.89 => wckTime=0.138 cpuTime=0.09 mem=15M399
0.91
0.91 search
0.91 run=5 nbConstraintChecks=2317 nbValidityChecks=7264 nbPropagations=5844 nbRevisions=10095
0.91 nbUselessRevisions=6261 nbAssignments=840 nbFailedAssignments=47 nbBacktracks=258 nbVisitedNodes=963
0.91 nbRestartNogoods=8 mapSize=104 nbInferences=32 nbTooLargeKeys=0
0.91 => wckTime=0.162 cpuTime=0.11 mem=15M399
0.93
0.93 search
0.93 run=6 nbConstraintChecks=3328 nbValidityChecks=10387 nbPropagations=8345 nbRevisions=14699
0.93 nbUselessRevisions=9004 nbAssignments=1104 nbFailedAssignments=60 nbBacktracks=371 nbVisitedNodes=1299
0.94 nbRestartNogoods=10 mapSize=168 nbInferences=79 nbTooLargeKeys=0
0.94 => wckTime=0.186 cpuTime=0.13 mem=16M374
0.97
0.97 search
0.97 run=7 nbConstraintChecks=4871 nbValidityChecks=15046 nbPropagations=11903 nbRevisions=21280
0.97 nbUselessRevisions=12868 nbAssignments=1451 nbFailedAssignments=75 nbBacktracks=541 nbVisitedNodes=1753
0.97 nbRestartNogoods=15 mapSize=269 nbInferences=157 nbTooLargeKeys=0
0.97 => wckTime=0.219 cpuTime=0.16 mem=16M374
1.02
1.02 search
1.02 run=8 nbConstraintChecks=7352 nbValidityChecks=22461 nbPropagations=17163 nbRevisions=31031
1.02 nbUselessRevisions=18513 nbAssignments=1944 nbFailedAssignments=92 nbBacktracks=797 nbVisitedNodes=2412
1.02 nbRestartNogoods=17 mapSize=426 nbInferences=290 nbTooLargeKeys=0
1.02 => wckTime=0.273 cpuTime=0.2 mem=16M374
1.06
1.06 search
1.06 run=9 nbConstraintChecks=9266 nbValidityChecks=28390 nbPropagations=24014 nbRevisions=43436
1.06 nbUselessRevisions=25416 nbAssignments=2479 nbFailedAssignments=110 nbBacktracks=1185 nbVisitedNodes=3058
1.06 nbRestartNogoods=21 mapSize=535 nbInferences=365 nbTooLargeKeys=0
1.06 => wckTime=0.313 cpuTime=0.23 mem=16M374
1.12
1.12 search
1.12 run=10 nbConstraintChecks=12904 nbValidityChecks=38647 nbPropagations=33189 nbRevisions=60201
1.12 nbUselessRevisions=34651 nbAssignments=3343 nbFailedAssignments=204 nbBacktracks=1762 nbVisitedNodes=4238
1.12 nbRestartNogoods=23 mapSize=795 nbInferences=493 nbTooLargeKeys=0
1.13 => wckTime=0.372 cpuTime=0.29 mem=16M374
1.21
1.21 search
1.21 run=11 nbConstraintChecks=19964 nbValidityChecks=60122 nbPropagations=47565 nbRevisions=86859
1.21 nbUselessRevisions=49466 nbAssignments=4703 nbFailedAssignments=206 nbBacktracks=2630 nbVisitedNodes=6027
1.21 nbRestartNogoods=26 mapSize=1220 nbInferences=918 nbTooLargeKeys=0
1.21 => wckTime=0.457 cpuTime=0.37 mem=16M374
1.34
1.34 search
1.34 run=12 nbConstraintChecks=33444 nbValidityChecks=100444 nbPropagations=71107 nbRevisions=131512
1.34 nbUselessRevisions=74952 nbAssignments=6970 nbFailedAssignments=207 nbBacktracks=3928 nbVisitedNodes=9195
1.34 nbRestartNogoods=30 mapSize=2115 nbInferences=1818 nbTooLargeKeys=0
1.34 => wckTime=0.594 cpuTime=0.5 mem=16M374
1.54
1.54 search
1.54 run=13 nbConstraintChecks=53445 nbValidityChecks=159621 nbPropagations=107835 nbRevisions=202255
1.55 nbUselessRevisions=116160 nbAssignments=10360 nbFailedAssignments=210 nbBacktracks=5879 nbVisitedNodes=13977
1.55 nbRestartNogoods=36 mapSize=3505 nbInferences=3205 nbTooLargeKeys=0
1.55 => wckTime=0.796 cpuTime=0.7 mem=16M374
1.85
1.85 search
1.85 run=14 nbConstraintChecks=84530 nbValidityChecks=253642 nbPropagations=165480 nbRevisions=314184
1.85 nbUselessRevisions=181851 nbAssignments=15434 nbFailedAssignments=211 nbBacktracks=8798 nbVisitedNodes=21138
1.85 nbRestartNogoods=38 mapSize=5587 nbInferences=5291 nbTooLargeKeys=0
1.85 => wckTime=1.097 cpuTime=1.0 mem=17M349
2.30
2.30 search
2.30 run=15 nbConstraintChecks=131114 nbValidityChecks=394514 nbPropagations=254453 nbRevisions=487742
2.30 nbUselessRevisions=284176 nbAssignments=23022 nbFailedAssignments=211 nbBacktracks=13177 nbVisitedNodes=31872
2.30 nbRestartNogoods=43 mapSize=8729 nbInferences=8437 nbTooLargeKeys=0
2.30 => wckTime=1.547 cpuTime=1.45 mem=17M349
2.98
2.98 search
2.98 run=16 nbConstraintChecks=202256 nbValidityChecks=609008 nbPropagations=391181 nbRevisions=755365
2.98 nbUselessRevisions=442454 nbAssignments=34457 nbFailedAssignments=211 nbBacktracks=19746 nbVisitedNodes=48109
2.98 nbRestartNogoods=47 mapSize=13526 nbInferences=13239 nbTooLargeKeys=0
2.98 => wckTime=2.227 cpuTime=2.14 mem=18M324
3.99
3.99 search
3.99 run=17 nbConstraintChecks=307796 nbValidityChecks=927575 nbPropagations=598824 nbRevisions=1162527
3.99 nbUselessRevisions=683636 nbAssignments=51497 nbFailedAssignments=211 nbBacktracks=29599 nbVisitedNodes=72268
3.99 nbRestartNogoods=52 mapSize=20636 nbInferences=20358 nbTooLargeKeys=0
3.99 => wckTime=3.238 cpuTime=3.15 mem=20M275
5.56
5.56 search
5.56 run=18 nbConstraintChecks=464626 nbValidityChecks=1399555 nbPropagations=911738 nbRevisions=1776798
5.56 nbUselessRevisions=1047891 nbAssignments=76935 nbFailedAssignments=211 nbBacktracks=44378 nbVisitedNodes=108301
5.56 nbRestartNogoods=61 mapSize=31226 nbInferences=30953 nbTooLargeKeys=0
5.56 => wckTime=4.806 cpuTime=4.71 mem=22M225
7.92
7.92 search
7.92 run=19 nbConstraintChecks=701854 nbValidityChecks=2114322 nbPropagations=1383623 nbRevisions=2704007
7.92 nbUselessRevisions=1598260 nbAssignments=115224 nbFailedAssignments=211 nbBacktracks=66546
7.92 nbVisitedNodes=162641 nbRestartNogoods=66 mapSize=47272 nbInferences=47004 nbTooLargeKeys=0
7.92 => wckTime=7.174 cpuTime=7.07 mem=25M150
11.33
11.33 search
11.33 run=20 nbConstraintChecks=1053645 nbValidityChecks=3173893 nbPropagations=2091911 nbRevisions=4096024
11.33 nbUselessRevisions=2424648 nbAssignments=172333 nbFailedAssignments=212 nbBacktracks=99799
11.33 nbVisitedNodes=243538 nbRestartNogoods=71 mapSize=71053 nbInferences=70790 nbTooLargeKeys=0
11.33 => wckTime=10.583 cpuTime=10.47 mem=30M26
16.54
16.54 search
16.54 run=21 nbConstraintChecks=1599991 nbValidityChecks=4843616 nbPropagations=3186780 nbRevisions=6228210
16.54 nbUselessRevisions=3674264 nbAssignments=257106 nbFailedAssignments=236 nbBacktracks=149677
16.54 nbVisitedNodes=363158 nbRestartNogoods=78 mapSize=105887 nbInferences=105589 nbTooLargeKeys=0
16.54 => wckTime=15.786 cpuTime=15.68 mem=37M901
25.19
25.19 search
25.19 run=22 nbConstraintChecks=2630703 nbValidityChecks=8048890 nbPropagations=5038409 nbRevisions=9795915
25.19 nbUselessRevisions=5723284 nbAssignments=392293 nbFailedAssignments=237 nbBacktracks=224496
25.19 nbVisitedNodes=558650 nbRestartNogoods=91 mapSize=166184 nbInferences=165893 nbTooLargeKeys=0
25.19 => wckTime=24.436 cpuTime=24.33 mem=49M252
38.27
38.27 search
38.27 run=23 nbConstraintChecks=4176942 nbValidityChecks=12861238 nbPropagations=8025284 nbRevisions=15517115
38.27 nbUselessRevisions=8971533 nbAssignments=595057 nbFailedAssignments=237 nbBacktracks=336723
38.27 nbVisitedNodes=851880 nbRestartNogoods=99 mapSize=256643 nbInferences=256359 nbTooLargeKeys=0
38.27 => wckTime=37.52 cpuTime=37.22 mem=41M537
58.02
58.02 search
58.02 run=24 nbConstraintChecks=6511371 nbValidityChecks=20132242 nbPropagations=12722553 nbRevisions=24486615
58.02 nbUselessRevisions=14031759 nbAssignments=900479 nbFailedAssignments=237 nbBacktracks=505065
58.02 nbVisitedNodes=1294315 nbRestartNogoods=106 mapSize=393649 nbInferences=393372 nbTooLargeKeys=0
58.02 => wckTime=57.274 cpuTime=56.62 mem=52M641
87.06
87.06 search
87.06 run=25 nbConstraintChecks=10013607 nbValidityChecks=31042028 nbPropagations=19985378 nbRevisions=38328470
87.06 nbUselessRevisions=21809869 nbAssignments=1358578 nbFailedAssignments=237 nbBacktracks=757580
87.06 nbVisitedNodes=1957935 nbRestartNogoods=113 mapSize=599164 nbInferences=598893 nbTooLargeKeys=0
87.06 => wckTime=86.307 cpuTime=85.65 mem=93M429
131.42
131.42 search
131.42 run=26 nbConstraintChecks=15261630 nbValidityChecks=47397145 nbPropagations=31094290 nbRevisions=59473509
131.42 nbUselessRevisions=33660937 nbAssignments=2045321 nbFailedAssignments=237 nbBacktracks=1136348
131.42 nbVisitedNodes=2952585 nbRestartNogoods=119 mapSize=907065 nbInferences=906800 nbTooLargeKeys=0
131.42 => wckTime=130.668 cpuTime=129.31 mem=122M43
197.53
197.53 search
197.53 run=27 nbConstraintChecks=23130063 nbValidityChecks=71916411 nbPropagations=47970094 nbRevisions=91567910
197.53 nbUselessRevisions=51617469 nbAssignments=3075019 nbFailedAssignments=237 nbBacktracks=1704499
197.53 nbVisitedNodes=4443759 nbRestartNogoods=125 mapSize=1368529 nbInferences=1368276 nbTooLargeKeys=0
197.53 => wckTime=196.785 cpuTime=194.7 mem=174M448
296.85
296.85 search
296.85 run=28 nbConstraintChecks=34926304 nbValidityChecks=108684355 nbPropagations=73492945 nbRevisions=140078487
296.85 nbUselessRevisions=78726487 nbAssignments=4618971 nbFailedAssignments=237 nbBacktracks=2556726
296.85 nbVisitedNodes=6679365 nbRestartNogoods=137 mapSize=2060173 nbInferences=2059930 nbTooLargeKeys=0
296.85 => wckTime=296.102 cpuTime=292.84 mem=276M841
451.14
451.14 search
451.14 run=29 nbConstraintChecks=53381401 nbValidityChecks=166047919 nbPropagations=112384901 nbRevisions=214171732
451.14 nbUselessRevisions=120263651 nbAssignments=7004650 nbFailedAssignments=237 nbBacktracks=3835066
451.14 nbVisitedNodes=10172311 nbRestartNogoods=147 mapSize=3167428 nbInferences=3167197 nbTooLargeKeys=0
451.14 => wckTime=450.393 cpuTime=445.25 mem=433M114
629.08
629.08 INFO : Stopping hyperNogood (mapSize=4449679, nbTooLargekeys=0, mem=600M555)
640.56
640.56 search
640.56 run=30 nbConstraintChecks=76813293 nbValidityChecks=237841787 nbPropagations=168184454 nbRevisions=320258925
640.56 nbUselessRevisions=179452775 nbAssignments=10283679 nbFailedAssignments=79409 nbBacktracks=5752577
640.56 nbVisitedNodes=14891676 nbRestartNogoods=159
640.56 => wckTime=639.812 cpuTime=632.44 mem=600M555
732.74
732.74 search
732.74 run=31 nbConstraintChecks=88964000 nbValidityChecks=270050150 nbPropagations=232520182 nbRevisions=440098125
732.74 nbUselessRevisions=243857752 nbAssignments=13606424 nbFailedAssignments=525845 nbBacktracks=8628846
732.74 nbVisitedNodes=19107292 nbRestartNogoods=170
732.74 => wckTime=731.99 cpuTime=724.56 mem=600M555
834.73
834.73 search
834.73 run=32 nbConstraintChecks=107057318 nbValidityChecks=317564379 nbPropagations=309744098 nbRevisions=580287050
834.73 nbUselessRevisions=315724305 nbAssignments=18600389 nbFailedAssignments=1205336 nbBacktracks=12943244
834.73 nbVisitedNodes=25460239 nbRestartNogoods=180
834.73 => wckTime=833.984 cpuTime=826.48 mem=600M555
985.48
985.48 search
985.48 run=33 nbConstraintChecks=132408973 nbValidityChecks=385646039 nbPropagations=405280387 nbRevisions=749138377
985.48 nbUselessRevisions=397943329 nbAssignments=25986645 nbFailedAssignments=2119914 nbBacktracks=19414849
985.48 nbVisitedNodes=34674529 nbRestartNogoods=193
985.48 => wckTime=984.734 cpuTime=977.13 mem=600M555
1243.61
1243.61 search
1243.61 run=34 nbConstraintChecks=179569239 nbValidityChecks=508044667 nbPropagations=533415101 nbRevisions=971121471
1243.61 nbUselessRevisions=500695820 nbAssignments=37374998 nbFailedAssignments=3800791 nbBacktracks=29122255
1243.61 nbVisitedNodes=49424636 nbRestartNogoods=205
1243.61 => wckTime=1242.862 cpuTime=1235.07 mem=600M555
1588.52
1588.52 search
1588.52 run=35 nbConstraintChecks=235453113 nbValidityChecks=659335878 nbPropagations=702353549 nbRevisions=1256415091
1588.52 nbUselessRevisions=625964516 nbAssignments=53938180 nbFailedAssignments=5802820 nbBacktracks=43683352
1588.52 nbVisitedNodes=69989594 nbRestartNogoods=218
1588.52 => wckTime=1587.767 cpuTime=1579.72 mem=600M555
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-242233-1168085481 -o ROOT/results/node16/solver-242233-1168085481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242233-1168085481/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.02 0.70 1.36 3/81 24332
/proc/meminfo: memFree=1344904/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=1500 CPUtime=0
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 71 0 0 0 0 0 0 0 20 0 1 0 156944631 1536000 54 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7209048 0 0 4096 0 0 0 0 17 1 0 0
/proc/24331/statm: 375 65 52 14 0 8 0
[startup+0.105681 s]
/proc/loadavg: 0.02 0.70 1.36 3/81 24332
/proc/meminfo: memFree=1344904/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=47416 CPUtime=0
/proc/24331/stat : 24331 (java) D 24329 24331 23973 0 -1 0 1211 0 1 0 0 0 0 0 18 0 1 0 156944631 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/24331/statm: 11854 960 760 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.513609 s]
/proc/loadavg: 0.02 0.70 1.36 3/81 24332
/proc/meminfo: memFree=1344904/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915328 CPUtime=0.4
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 6105 0 1 0 36 4 0 0 16 0 8 0 156944631 937295872 5844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072937009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24331/statm: 228832 5844 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33446 s]
/proc/loadavg: 0.02 0.70 1.36 2/88 24339
/proc/meminfo: memFree=1320400/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1.21
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 8945 0 1 0 116 5 0 0 17 0 8 0 156944631 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073690708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 8683 2516 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.02
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156944644 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 369 0 0 0 17 0 0 0 15 0 8 0 156944648 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 8683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915464
[startup+2.97316 s]
/proc/loadavg: 0.02 0.70 1.36 2/88 24339
/proc/meminfo: memFree=1318736/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=2.86
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 9533 0 1 0 280 6 0 0 18 0 8 0 156944631 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 9270 2516 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.02
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156944644 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 370 0 0 0 17 0 0 0 15 0 8 0 156944648 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464
[startup+6.17859 s]
/proc/loadavg: 0.10 0.71 1.36 2/88 24340
/proc/meminfo: memFree=1314080/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=6.05
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 10599 0 1 0 599 6 0 0 17 0 8 0 156944631 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 10336 2516 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.02
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156944644 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 370 0 0 0 17 0 0 0 16 0 8 0 156944648 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915464
[startup+12.6434 s]
/proc/loadavg: 0.24 0.72 1.35 2/85 24344
/proc/meminfo: memFree=1311344/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=12.5
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 12635 0 1 0 1243 7 0 0 18 0 8 0 156944631 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 12371 2516 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.02
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156944644 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156944644 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 156944648 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915464
[startup+25.4941 s]
/proc/loadavg: 0.35 0.73 1.35 2/88 24375
/proc/meminfo: memFree=1288592/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=25.36
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 21803 0 1 0 2524 12 0 0 16 0 8 0 156944631 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073670282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 21538 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.21
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 4848 0 0 0 19 2 0 0 18 0 8 0 156944644 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 156944648 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 21538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.1904 s]
/proc/loadavg: 0.57 0.75 1.34 3/88 24408
/proc/meminfo: memFree=1267344/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=51.05
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 21805 0 1 0 5093 12 0 0 25 0 8 0 156944631 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 21540 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.21
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 4848 0 0 0 19 2 0 0 16 0 8 0 156944644 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 156944648 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 21540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915464
[startup+102.482 s]
/proc/loadavg: 0.81 0.78 1.32 2/88 24428
/proc/meminfo: memFree=1206672/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=102.34
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 36982 0 1 0 10214 20 0 0 25 0 8 0 156944631 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 36715 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=0.92
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 20023 0 0 0 83 9 0 0 16 0 8 0 156944644 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.17
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 156944648 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 36715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915464
[startup+162.503 s]
/proc/loadavg: 0.93 0.82 1.29 2/88 24434
/proc/meminfo: memFree=1152784/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=162.37
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 50791 0 1 0 16211 26 0 0 25 0 8 0 156944631 937435136 50522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 915464
[startup+1483.19 s]
/proc/loadavg: 2.00 1.96 1.71 3/100 24646
/proc/meminfo: memFree=707832/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1482.35
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 148163 72 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 915464
[startup+1543.22 s]
/proc/loadavg: 2.00 1.97 1.73 3/100 24646
/proc/meminfo: memFree=707768/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1542.33
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 154161 72 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073670319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 915464
[startup+1603.25 s]
/proc/loadavg: 2.00 1.97 1.74 3/100 24646
/proc/meminfo: memFree=707768/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1602.33
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 160161 72 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 915464
[startup+1663.29 s]
/proc/loadavg: 2.00 1.97 1.75 3/100 24646
/proc/meminfo: memFree=707768/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1662.32
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 166160 72 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 915464
[startup+1723.33 s]
/proc/loadavg: 2.00 1.97 1.76 3/100 24646
/proc/meminfo: memFree=707704/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1722.31
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 172159 72 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746453 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 915464
[startup+1783.36 s]
/proc/loadavg: 2.00 1.97 1.77 3/100 24646
/proc/meminfo: memFree=707704/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1782.29
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 178157 72 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.15 s]
/proc/loadavg: 2.00 1.97 1.78 3/100 24646
/proc/meminfo: memFree=707704/2055920 swapFree=4191880/4192956
[pid=24331] ppid=24329 vsize=915464 CPUtime=1800.08
/proc/24331/stat : 24331 (java) R 24329 24331 23973 0 -1 0 154428 0 1 0 179935 73 0 0 25 0 8 0 156944631 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24331/statm: 228866 154144 2520 14 0 215336 0
[pid=24331/tid=24333] ppid=24329 vsize=915464 CPUtime=7.15
/proc/24331/task/24333/stat : 24333 (java) S 24329 24331 23973 0 -1 64 137450 0 0 0 662 53 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24334] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24334/stat : 24334 (java) S 24329 24331 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24335] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24335/stat : 24335 (java) S 24329 24331 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156944644 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24336] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24336/stat : 24336 (java) S 24329 24331 23973 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24337] ppid=24329 vsize=915464 CPUtime=0.18
/proc/24331/task/24337/stat : 24337 (java) S 24329 24331 23973 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24338] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24331/tid=24339] ppid=24329 vsize=915464 CPUtime=0
/proc/24331/task/24339/stat : 24339 (java) S 24329 24331 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156944648 937435136 154144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.31
CPU time (s): 1800.23
CPU user time (s): 1799.41
CPU system time (s): 0.820875
CPU usage (%): 99.9405
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.820875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154444
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= 37277
involuntary context switches= 27733
runsolver used 2.21466 s user time and 5.51416 s system time
The end
Begin job on node16 on Sat Jan 6 12:11:29 UTC 2007
IDJOB= 242233
IDBENCH= 7377
FILE ID= node16/242233-1168085481
PBS_JOBID= 3476301
Free space on /tmp= 66502 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-50_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242233-1168085481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-242233-1168085481 -o ROOT/results/node16/solver-242233-1168085481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242233-1168085481/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e607ecd5aa9ff868d819c338f9a8dd95
RANDOM SEED= 42263006
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.220
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.220
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: 1345576 kB
Buffers: 65076 kB
Cached: 499600 kB
SwapCached: 268 kB
Active: 206268 kB
Inactive: 407152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1345576 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 67144 kB
Slab: 82016 kB
Committed_AS: 3911900 kB
PageTables: 2196 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= 66501 MiB
End job on node16 on Sat Jan 6 12:41:39 UTC 2007