0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/210854-1168075360/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.68 nbVariables=9051 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.68 => wckTime=0.336 cpuTime=0.24 mem=21M548
0.68
0.68 predicates being loaded...
0.69
0.69 constraints being loaded...
4.17 nbConstraints=25078 nbMergedConstraints=754 nbSingletonDomainVariables=4 nbConvertedConstraints=16524
4.17 nbConvertConstraintsChecks=23601 nbExtensionStructures=5 nbSharedExtensionStructures=16519
4.17 nbConflictsStructures=39 nbSharedConflictsStructures=25039 nbSharedBinaryRepresentations=12
4.17 nbEvaluationManagers=34 nbSharedEvaluationManagers=8520 maxDegree=192 maxArity=11
4.17 => wckTime=3.831 cpuTime=3.2 mem=50M716
4.35
4.35 solver IterativeSystematicSolver being built...
5.03 => wckTime=4.683 cpuTime=3.73 mem=51M255
5.10
5.10 preprocessing
5.10 nbConstraintChecks=0 nbPropagations=9051 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
5.10 detectedInconsistency=no
5.10 => wckTime=0.055 cpuTime=0.04 mem=52M263
12.81
12.81 search
12.81 run=0 nbConstraintChecks=85475 nbValidityChecks=42811 nbPropagations=21324 nbRevisions=79240
12.81 nbUselessRevisions=66870 nbAssignments=414 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=424
12.81 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
12.81 => wckTime=7.776 cpuTime=7.65 mem=54M280
20.63
20.63 search
20.63 run=1 nbConstraintChecks=174365 nbValidityChecks=102043 nbPropagations=59982 nbRevisions=262200
20.63 nbUselessRevisions=219851 nbAssignments=841 nbFailedAssignments=8 nbBacktracks=34 nbVisitedNodes=865
20.63 nbRestartNogoods=3 mapSize=18 nbInferences=0 nbTooLargeKeys=0
20.63 => wckTime=15.596 cpuTime=15.38 mem=55M289
28.51
28.51 search
28.51 run=2 nbConstraintChecks=263067 nbValidityChecks=161363 nbPropagations=115925 nbRevisions=548734
28.51 nbUselessRevisions=458848 nbAssignments=1270 nbFailedAssignments=12 nbBacktracks=58 nbVisitedNodes=1308
28.51 nbRestartNogoods=5 mapSize=30 nbInferences=0 nbTooLargeKeys=0
28.51 => wckTime=23.477 cpuTime=23.19 mem=56M297
36.66
36.66 search
36.66 run=3 nbConstraintChecks=375063 nbValidityChecks=228874 nbPropagations=194111 nbRevisions=963576
36.66 nbUselessRevisions=803445 nbAssignments=1711 nbFailedAssignments=18 nbBacktracks=95 nbVisitedNodes=1770
36.66 nbRestartNogoods=7 mapSize=50 nbInferences=0 nbTooLargeKeys=0
36.66 => wckTime=31.62 cpuTime=31.24 mem=58M314
45.06
45.06 search
45.06 run=4 nbConstraintChecks=457252 nbValidityChecks=288443 nbPropagations=286665 nbRevisions=1472430
45.06 nbUselessRevisions=1227080 nbAssignments=2168 nbFailedAssignments=27 nbBacktracks=145 nbVisitedNodes=2257
45.06 nbRestartNogoods=8 mapSize=79 nbInferences=0 nbTooLargeKeys=0
45.06 => wckTime=40.019 cpuTime=39.56 mem=59M323
68.43
68.43 search
68.43 run=5 nbConstraintChecks=524774 nbValidityChecks=345343 nbPropagations=389882 nbRevisions=2056252
68.43 nbUselessRevisions=1714845 nbAssignments=3313 nbFailedAssignments=46 nbBacktracks=346 nbVisitedNodes=3440
68.43 nbRestartNogoods=9 mapSize=107 nbInferences=1 nbTooLargeKeys=0
68.43 => wckTime=63.395 cpuTime=62.72 mem=61M340
87.07
87.07 search
87.07 run=6 nbConstraintChecks=573610 nbValidityChecks=395546 nbPropagations=501749 nbRevisions=2702274
87.07 nbUselessRevisions=2256299 nbAssignments=4235 nbFailedAssignments=48 nbBacktracks=470 nbVisitedNodes=4367
87.07 nbRestartNogoods=19 mapSize=110 nbInferences=1 nbTooLargeKeys=0
87.07 => wckTime=82.032 cpuTime=81.19 mem=63M357
110.35
110.35 search
110.35 run=7 nbConstraintChecks=631629 nbValidityChecks=452191 nbPropagations=624191 nbRevisions=3420324
110.35 nbUselessRevisions=2859340 nbAssignments=5359 nbFailedAssignments=61 nbBacktracks=645 nbVisitedNodes=5518
110.35 nbRestartNogoods=21 mapSize=133 nbInferences=1 nbTooLargeKeys=0
110.35 => wckTime=105.313 cpuTime=104.25 mem=65M374
133.17
133.17 search
133.17 run=8 nbConstraintChecks=682338 nbValidityChecks=504454 nbPropagations=755741 nbRevisions=4203166
133.17 nbUselessRevisions=3518236 nbAssignments=6449 nbFailedAssignments=66 nbBacktracks=918 nbVisitedNodes=6618
133.17 nbRestartNogoods=25 mapSize=141 nbInferences=1 nbTooLargeKeys=0
133.17 => wckTime=128.136 cpuTime=126.86 mem=67M391
159.24
159.24 search
159.24 run=9 nbConstraintChecks=735710 nbValidityChecks=558237 nbPropagations=896901 nbRevisions=5053410
159.24 nbUselessRevisions=4235071 nbAssignments=7679 nbFailedAssignments=75 nbBacktracks=1323 nbVisitedNodes=7863
159.24 nbRestartNogoods=27 mapSize=152 nbInferences=1 nbTooLargeKeys=0
159.24 => wckTime=154.201 cpuTime=152.69 mem=69M408
190.85
190.85 search
190.85 run=10 nbConstraintChecks=791365 nbValidityChecks=612881 nbPropagations=1047939 nbRevisions=5972622
190.85 nbUselessRevisions=5011120 nbAssignments=9145 nbFailedAssignments=83 nbBacktracks=1970 nbVisitedNodes=9351
190.85 nbRestartNogoods=31 mapSize=172 nbInferences=1 nbTooLargeKeys=0
190.85 => wckTime=185.81 cpuTime=184.0 mem=71M425
227.30
227.30 search
227.30 run=11 nbConstraintChecks=866252 nbValidityChecks=679551 nbPropagations=1211716 nbRevisions=6977852
227.30 nbUselessRevisions=5860391 nbAssignments=10824 nbFailedAssignments=102 nbBacktracks=2874 nbVisitedNodes=11091
227.30 nbRestartNogoods=33 mapSize=230 nbInferences=3 nbTooLargeKeys=0
227.30 => wckTime=222.264 cpuTime=220.12 mem=73M442
274.73
274.73 search
274.73 run=12 nbConstraintChecks=952996 nbValidityChecks=750789 nbPropagations=1390692 nbRevisions=8080372
274.73 nbUselessRevisions=6791477 nbAssignments=13054 nbFailedAssignments=215 nbBacktracks=4220 nbVisitedNodes=13507
274.73 nbRestartNogoods=36 mapSize=407 nbInferences=3 nbTooLargeKeys=0
274.73 => wckTime=269.693 cpuTime=267.1 mem=76M467
337.34
337.34 search
337.34 run=13 nbConstraintChecks=1053076 nbValidityChecks=840886 nbPropagations=1585220 nbRevisions=9293570
337.34 nbUselessRevisions=7817193 nbAssignments=15858 nbFailedAssignments=281 nbBacktracks=6261 nbVisitedNodes=16437
337.34 nbRestartNogoods=45 mapSize=518 nbInferences=5 nbTooLargeKeys=0
337.34 => wckTime=332.301 cpuTime=329.14 mem=79M493
381.91
381.91 INFO : Stopping hyperNogood (mapSize=1222, nbTooLargekeys=0, mem=85M544)
385.98
385.98 search
385.98 run=14 nbConstraintChecks=1852737 nbValidityChecks=1419729 nbPropagations=1884251 nbRevisions=11262338
385.98 nbUselessRevisions=9488241 nbAssignments=19620 nbFailedAssignments=766 nbBacktracks=9186 nbVisitedNodes=21223
385.98 nbRestartNogoods=60
385.98 => wckTime=380.94 cpuTime=377.34 mem=85M544
401.29
401.29 search
401.29 run=15 nbConstraintChecks=4006351 nbValidityChecks=2186517 nbPropagations=2521135 nbRevisions=15125169
401.29 nbUselessRevisions=12683613 nbAssignments=24585 nbFailedAssignments=1049 nbBacktracks=13565
401.29 nbVisitedNodes=26959 nbRestartNogoods=66
401.29 => wckTime=396.254 cpuTime=392.51 mem=85M544
423.47
423.47 search
423.47 run=16 nbConstraintChecks=5848763 nbValidityChecks=3413035 nbPropagations=3347137 nbRevisions=20591700
423.47 nbUselessRevisions=17281358 nbAssignments=31947 nbFailedAssignments=1606 nbBacktracks=20150
423.47 nbVisitedNodes=35500 nbRestartNogoods=76
423.47 => wckTime=418.434 cpuTime=414.47 mem=85M544
469.08
469.08 search
469.08 run=17 nbConstraintChecks=12250816 nbValidityChecks=7930518 nbPropagations=4550367 nbRevisions=30309454
469.08 nbUselessRevisions=25721117 nbAssignments=43199 nbFailedAssignments=2838 nbBacktracks=30003
469.08 nbVisitedNodes=49634 nbRestartNogoods=79
469.08 => wckTime=464.042 cpuTime=459.66 mem=85M544
507.71
507.71 search
507.71 run=18 nbConstraintChecks=13246990 nbValidityChecks=8556902 nbPropagations=5913561 nbRevisions=41146824
507.71 nbUselessRevisions=35112775 nbAssignments=58909 nbFailedAssignments=3621 nbBacktracks=44785
507.71 nbVisitedNodes=66913 nbRestartNogoods=88
507.71 => wckTime=502.678 cpuTime=497.95 mem=85M544
571.59
571.59 search
571.59 run=19 nbConstraintChecks=16176381 nbValidityChecks=10683786 nbPropagations=7644643 nbRevisions=54905968
571.59 nbUselessRevisions=47036839 nbAssignments=83225 nbFailedAssignments=5620 nbBacktracks=66953
571.59 nbVisitedNodes=96041 nbRestartNogoods=94
571.59 => wckTime=566.554 cpuTime=561.24 mem=85M544
681.80
681.80 search
681.80 run=20 nbConstraintChecks=25939626 nbValidityChecks=16901974 nbPropagations=10645878 nbRevisions=78730037
681.80 nbUselessRevisions=67662926 nbAssignments=120133 nbFailedAssignments=9118 nbBacktracks=100206
681.80 nbVisitedNodes=140805 nbRestartNogoods=106
681.80 => wckTime=676.762 cpuTime=670.43 mem=85M544
865.74
865.75 search
865.75 run=21 nbConstraintChecks=45431287 nbValidityChecks=32713883 nbPropagations=15983074 nbRevisions=122716729
865.75 nbUselessRevisions=105987521 nbAssignments=176400 nbFailedAssignments=15454 nbBacktracks=150084
865.75 nbVisitedNodes=211465 nbRestartNogoods=114
865.75 => wckTime=860.71 cpuTime=852.7 mem=85M544
1087.04
1087.04 search
1087.04 run=22 nbConstraintChecks=60755718 nbValidityChecks=41941644 nbPropagations=23488979 nbRevisions=183889204
1087.04 nbUselessRevisions=159168563 nbAssignments=257382 nbFailedAssignments=21450 nbBacktracks=224913
1087.04 nbVisitedNodes=305372 nbRestartNogoods=122
1087.04 => wckTime=1082.003 cpuTime=1071.95 mem=85M544
1462.68
1462.68 search
1462.68 run=23 nbConstraintChecks=107115265 nbValidityChecks=63584001 nbPropagations=38700111 nbRevisions=298149081
1462.68 nbUselessRevisions=257282216 nbAssignments=382206 nbFailedAssignments=33953 nbBacktracks=337168
1462.68 nbVisitedNodes=454917 nbRestartNogoods=134
1462.68 => wckTime=1457.649 cpuTime=1444.16 mem=85M544
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-210854-1168075360 -o ROOT/results/node3/solver-210854-1168075360 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210854-1168075360/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.93 1.86 1.84 4/93 29912
/proc/meminfo: memFree=1175216/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=9748 CPUtime=0
/proc/29911/stat : 29911 (java) D 29909 29911 29270 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 155931965 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10924836 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29911/statm: 2437 412 333 14 0 1140 0
[startup+0.104802 s]
/proc/loadavg: 1.93 1.86 1.84 4/93 29912
/proc/meminfo: memFree=1175216/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=907808 CPUtime=0.06
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 2509 0 1 0 5 1 0 0 17 0 4 0 155931965 929595392 2256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155071163 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 226952 2256 1233 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.51387 s]
/proc/loadavg: 1.93 1.86 1.84 4/93 29912
/proc/meminfo: memFree=1175216/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915328 CPUtime=0.46
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 6327 0 1 0 42 4 0 0 18 0 8 0 155931965 937295872 6066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228832 6066 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.335 s]
/proc/loadavg: 1.93 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1112632/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915616 CPUtime=1.27
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 17996 0 1 0 118 9 0 0 24 0 8 0 155931965 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228904 17734 2158 14 0 215374 0
[pid=29911/tid=29913] ppid=29909 vsize=915616 CPUtime=0.05
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 1453 0 0 0 5 0 0 0 17 0 8 0 155931969 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155931970 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915616 CPUtime=0.16
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 413 0 0 0 16 0 0 0 16 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915616
[startup+2.97227 s]
/proc/loadavg: 1.93 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1100024/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915620 CPUtime=2.9
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 21156 0 1 0 225 65 0 0 25 0 8 0 155931965 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228905 20891 2178 14 0 215375 0
[pid=29911/tid=29913] ppid=29909 vsize=915620 CPUtime=0.17
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 4527 0 0 0 16 1 0 0 16 0 8 0 155931969 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155931970 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915620 CPUtime=0.2
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 435 0 0 0 20 0 0 0 15 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915620
[startup+6.2738 s]
/proc/loadavg: 1.93 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1060920/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=6.17
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31290 0 1 0 502 115 0 0 25 0 8 0 155931965 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 30996 2527 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 17 0 8 0 155931969 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.35
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 531 0 0 0 34 1 0 0 15 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915872
[startup+12.7539 s]
/proc/loadavg: 1.94 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1060984/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=12.59
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31296 0 1 0 1144 115 0 0 25 0 8 0 155931965 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31000 2528 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.36
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 534 0 0 0 35 1 0 0 15 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915872
[startup+25.6289 s]
/proc/loadavg: 1.95 1.87 1.85 3/100 29919
/proc/meminfo: memFree=1061112/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=25.34
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31309 0 1 0 2419 115 0 0 25 0 8 0 155931965 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074221038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31009 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.37
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 542 0 0 0 36 1 0 0 15 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915872
[startup+51.2561 s]
/proc/loadavg: 1.97 1.89 1.85 3/100 29919
/proc/meminfo: memFree=1061112/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=50.73
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31321 0 1 0 4958 115 0 0 25 0 8 0 155931965 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31017 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.4
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915872
[startup+102.507 s]
/proc/loadavg: 1.98 1.90 1.85 3/100 29919
/proc/meminfo: memFree=1061112/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=101.51
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31321 0 1 0 10035 116 0 0 25 0 8 0 155931965 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074204370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31017 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.4
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915872
[startup+162.512 s]
/proc/loadavg: 1.99 1.92 1.86 3/100 29919
/proc/meminfo: memFree=1033592/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=160.96
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31324 0 1 0 15980 116 0 0 25 0 8 0 155931965 937852928 31018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.19
Current children cumulated vsize (KiB) 915872
[startup+1483.32 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1469.65
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 146836 129 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.65
Current children cumulated vsize (KiB) 915872
[startup+1543.42 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1529.19
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 152790 129 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074205953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.19
Current children cumulated vsize (KiB) 915872
[startup+1603.47 s]
/proc/loadavg: 1.97 1.98 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1589.18
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 158787 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073896294 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.18
Current children cumulated vsize (KiB) 915872
[startup+1663.52 s]
/proc/loadavg: 1.99 1.98 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1649.17
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 164786 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074204368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.17
Current children cumulated vsize (KiB) 915872
[startup+1723.57 s]
/proc/loadavg: 2.05 2.00 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1709.13
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 170782 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074201870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.13
Current children cumulated vsize (KiB) 915872
[startup+1783.62 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1769.13
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 176782 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.13
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.57 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 29977
/proc/meminfo: memFree=1145976/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1800.04
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 179873 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074205947 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.62
CPU time (s): 1800.09
CPU user time (s): 1798.75
CPU system time (s): 1.3368
CPU usage (%): 99.1996
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.3368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31352
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= 38505
involuntary context switches= 82707
runsolver used 2.27865 s user time and 5.76312 s system time
The end
Begin job on node3 on Sat Jan 6 09:22:42 UTC 2007
IDJOB= 210854
IDBENCH= 4651
FILE ID= node3/210854-1168075360
PBS_JOBID= 3475775
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/dlx1c-rwmem-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210854-1168075360/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-210854-1168075360 -o ROOT/results/node3/solver-210854-1168075360 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210854-1168075360/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 22daa319f1eb305ed7168e131aeab63f
RANDOM SEED= 870489059
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.279
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.279
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: 1175760 kB
Buffers: 65556 kB
Cached: 513124 kB
SwapCached: 0 kB
Active: 279632 kB
Inactive: 505320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1175760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5520 kB
Writeback: 0 kB
Mapped: 235320 kB
Slab: 79936 kB
Committed_AS: 4550088 kB
PageTables: 2392 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= 66539 MiB
End job on node3 on Sat Jan 6 09:52:58 UTC 2007