0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196326-1168070561/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.95
0.95 constraints being loaded...
1.26 nbConstraints=72 nbRelationTypes=72 nbExtensionStructures=72 nbSharedExtensionStructures=0
1.26 nbConflictsStructures=72 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.26 => wckTime=0.936 cpuTime=0.83 mem=43M989
1.37
1.37 solver IterativeSystematicSolver being built...
1.52 => wckTime=1.199 cpuTime=0.96 mem=33M47
1.53
1.53 preprocessing
1.53 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.53 detectedInconsistency=no
1.53 => wckTime=0.0040 cpuTime=0.0 mem=33M47
1.62
1.62 search
1.62 run=0 nbConstraintChecks=21967 nbValidityChecks=35340 nbPropagations=213 nbRevisions=2167
1.62 nbUselessRevisions=1748 nbAssignments=20 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=30
1.62 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.091 cpuTime=0.06 mem=34M88
1.69
1.69 search
1.69 run=1 nbConstraintChecks=69871 nbValidityChecks=126154 nbPropagations=880 nbRevisions=9547
1.69 nbUselessRevisions=7705 nbAssignments=65 nbFailedAssignments=32 nbBacktracks=25 nbVisitedNodes=112
1.69 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.168 cpuTime=0.13 mem=34M88
1.76
1.76 search
1.76 run=2 nbConstraintChecks=106964 nbValidityChecks=205095 nbPropagations=1993 nbRevisions=22088
1.76 nbUselessRevisions=17804 nbAssignments=112 nbFailedAssignments=51 nbBacktracks=47 nbVisitedNodes=191
1.76 nbRestartNogoods=6 mapSize=37 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.235 cpuTime=0.19 mem=34M88
1.86
1.86 search
1.86 run=3 nbConstraintChecks=164814 nbValidityChecks=334664 nbPropagations=3941 nbRevisions=44101
1.86 nbUselessRevisions=35469 nbAssignments=179 nbFailedAssignments=79 nbBacktracks=82 nbVisitedNodes=306
1.86 nbRestartNogoods=9 mapSize=64 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.332 cpuTime=0.28 mem=34M88
2.14
2.14 search
2.14 run=4 nbConstraintChecks=368705 nbValidityChecks=754905 nbPropagations=8025 nbRevisions=92102
2.14 nbUselessRevisions=73682 nbAssignments=375 nbFailedAssignments=221 nbBacktracks=132 nbVisitedNodes=682
2.14 nbRestartNogoods=13 mapSize=112 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.611 cpuTime=0.56 mem=34M88
2.47
2.47 search
2.47 run=5 nbConstraintChecks=602363 nbValidityChecks=1232538 nbPropagations=14629 nbRevisions=173266
2.47 nbUselessRevisions=138418 nbAssignments=607 nbFailedAssignments=369 nbBacktracks=209 nbVisitedNodes=1113
2.47 nbRestartNogoods=15 mapSize=185 nbInferences=0 nbTooLargeKeys=0
2.47 => wckTime=0.948 cpuTime=0.89 mem=34M88
2.78
2.78 search
2.78 run=6 nbConstraintChecks=812331 nbValidityChecks=1660625 nbPropagations=23795 nbRevisions=283770
2.78 nbUselessRevisions=226249 nbAssignments=812 nbFailedAssignments=454 nbBacktracks=323 nbVisitedNodes=1462
2.78 nbRestartNogoods=25 mapSize=274 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=1.257 cpuTime=1.2 mem=34M88
3.22
3.22 search
3.22 run=7 nbConstraintChecks=1111667 nbValidityChecks=2264243 nbPropagations=36511 nbRevisions=434558
3.22 nbUselessRevisions=345568 nbAssignments=1103 nbFailedAssignments=570 nbBacktracks=495 nbVisitedNodes=1953
3.22 nbRestartNogoods=30 mapSize=403 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=1.699 cpuTime=1.64 mem=34M88
3.93
3.93 search
3.93 run=8 nbConstraintChecks=1591913 nbValidityChecks=3217167 nbPropagations=54842 nbRevisions=648735
3.93 nbUselessRevisions=514357 nbAssignments=1569 nbFailedAssignments=773 nbBacktracks=752 nbVisitedNodes=2752
3.93 nbRestartNogoods=34 mapSize=602 nbInferences=0 nbTooLargeKeys=0
3.93 => wckTime=2.404 cpuTime=2.33 mem=34M88
6.02
6.02 search
6.02 run=9 nbConstraintChecks=3195704 nbValidityChecks=6294597 nbPropagations=87731 nbRevisions=1038174
6.02 nbUselessRevisions=819772 nbAssignments=2877 nbFailedAssignments=1692 nbBacktracks=1136 nbVisitedNodes=5286
6.02 nbRestartNogoods=41 mapSize=964 nbInferences=0 nbTooLargeKeys=0
6.02 => wckTime=4.497 cpuTime=4.41 mem=34M88
6.25
6.25 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=34M88)
7.93
7.93 search
7.93 run=10 nbConstraintChecks=4613739 nbValidityChecks=9222495 nbPropagations=136361 nbRevisions=1634349
7.93 nbUselessRevisions=1291963 nbAssignments=4325 nbFailedAssignments=2558 nbBacktracks=1712 nbVisitedNodes=7956
7.93 nbRestartNogoods=50
7.93 => wckTime=6.404 cpuTime=6.31 mem=34M88
10.18
10.18 search
10.18 run=11 nbConstraintChecks=6242055 nbValidityChecks=12465287 nbPropagations=204297 nbRevisions=2452133
10.18 nbUselessRevisions=1937394 nbAssignments=5916 nbFailedAssignments=3277 nbBacktracks=2578 nbVisitedNodes=10706
10.18 nbRestartNogoods=54
10.18 => wckTime=8.655 cpuTime=8.56 mem=34M88
14.95
14.95 search
14.95 run=12 nbConstraintChecks=9820186 nbValidityChecks=19650997 nbPropagations=309811 nbRevisions=3714519
14.95 nbUselessRevisions=2932645 nbAssignments=9139 nbFailedAssignments=5195 nbBacktracks=3876 nbVisitedNodes=16601
14.95 nbRestartNogoods=73
14.95 => wckTime=13.426 cpuTime=13.33 mem=34M88
20.24
20.24 search
20.24 run=13 nbConstraintChecks=13721833 nbValidityChecks=27262043 nbPropagations=458451 nbRevisions=5460374
20.24 nbUselessRevisions=4304995 nbAssignments=12726 nbFailedAssignments=6830 nbBacktracks=5822 nbVisitedNodes=22832
20.24 nbRestartNogoods=109
20.24 => wckTime=18.72 cpuTime=18.62 mem=34M88
29.86
29.86 search
29.86 run=14 nbConstraintChecks=20946475 nbValidityChecks=41522931 nbPropagations=686777 nbRevisions=8108878
29.86 nbUselessRevisions=6381811 nbAssignments=19252 nbFailedAssignments=10432 nbBacktracks=8742 nbVisitedNodes=34682
29.86 nbRestartNogoods=126
29.86 => wckTime=28.333 cpuTime=28.23 mem=34M88
43.15
43.15 search
43.15 run=15 nbConstraintChecks=30742636 nbValidityChecks=60970933 nbPropagations=1023754 nbRevisions=11996979
43.15 nbUselessRevisions=9430418 nbAssignments=28002 nbFailedAssignments=14798 nbBacktracks=13120
43.15 nbVisitedNodes=50241 nbRestartNogoods=154
43.15 => wckTime=41.631 cpuTime=41.52 mem=34M88
63.19
63.19 search
63.19 run=16 nbConstraintChecks=45585775 nbValidityChecks=90616126 nbPropagations=1525661 nbRevisions=17745116
63.19 nbUselessRevisions=13933385 nbAssignments=41671 nbFailedAssignments=21893 nbBacktracks=19690
63.19 nbVisitedNodes=74729 nbRestartNogoods=168
63.19 => wckTime=61.668 cpuTime=61.55 mem=34M88
96.44
96.44 search
96.44 run=17 nbConstraintChecks=70403199 nbValidityChecks=139736294 nbPropagations=2299549 nbRevisions=26628840
96.44 nbUselessRevisions=20897247 nbAssignments=63281 nbFailedAssignments=33645 nbBacktracks=29545
96.44 nbVisitedNodes=113999 nbRestartNogoods=200
96.44 => wckTime=94.915 cpuTime=94.78 mem=34M88
144.60
144.60 search
144.60 run=18 nbConstraintChecks=106169911 nbValidityChecks=210448805 nbPropagations=3463492 nbRevisions=39978904
144.60 nbUselessRevisions=31363072 nbAssignments=94532 nbFailedAssignments=50113 nbBacktracks=44324
144.60 nbVisitedNodes=170332 nbRestartNogoods=219
144.60 => wckTime=143.076 cpuTime=142.92 mem=34M88
220.69
220.69 search
220.69 run=19 nbConstraintChecks=162457151 nbValidityChecks=322047786 nbPropagations=5227704 nbRevisions=60273583
220.69 nbUselessRevisions=47289011 nbAssignments=141776 nbFailedAssignments=75184 nbBacktracks=66492
220.69 nbVisitedNodes=255746 nbRestartNogoods=236
220.69 => wckTime=219.164 cpuTime=218.99 mem=34M88
334.33
334.33 search
334.33 run=20 nbConstraintChecks=246991257 nbValidityChecks=490030564 nbPropagations=7901721 nbRevisions=91033187
334.33 nbUselessRevisions=71430933 nbAssignments=214439 nbFailedAssignments=114591 nbBacktracks=99746
334.33 nbVisitedNodes=387690 nbRestartNogoods=260
334.33 => wckTime=332.809 cpuTime=332.59 mem=34M88
508.25
508.25 search
508.25 run=21 nbConstraintChecks=376602981 nbValidityChecks=748035927 nbPropagations=11956249 nbRevisions=137738790
508.25 nbUselessRevisions=108110781 nbAssignments=324614 nbFailedAssignments=174882 nbBacktracks=149624
508.25 nbVisitedNodes=587999 nbRestartNogoods=294
508.25 => wckTime=506.728 cpuTime=506.45 mem=34M88
762.08
762.08 search
762.08 run=22 nbConstraintChecks=565235540 nbValidityChecks=1122500905 nbPropagations=18011268 nbRevisions=207479286
762.08 nbUselessRevisions=162878140 nbAssignments=484906 nbFailedAssignments=260351 nbBacktracks=224442
762.08 nbVisitedNodes=877286 nbRestartNogoods=310
762.08 => wckTime=760.559 cpuTime=760.19 mem=34M88
1150.26
1150.26 search
1150.26 run=23 nbConstraintChecks=854534398 nbValidityChecks=1693064874 nbPropagations=27087431 nbRevisions=312097813
1150.26 nbUselessRevisions=245032009 nbAssignments=725801 nbFailedAssignments=389013 nbBacktracks=336669
1150.26 nbVisitedNodes=1312216 nbRestartNogoods=342
1150.26 => wckTime=1148.739 cpuTime=1148.24 mem=34M88
1664.06
1664.06 search
1664.06 run=24 nbConstraintChecks=1236829999 nbValidityChecks=2447371030 nbPropagations=40147912 nbRevisions=462739471
1664.06 nbUselessRevisions=363334710 nbAssignments=1041250 nbFailedAssignments=555854 nbBacktracks=485278
1664.06 nbVisitedNodes=1880938 nbRestartNogoods=368
1664.06 => wckTime=1662.535 cpuTime=1661.85 mem=34M88
1664.06
1664.06 global
1664.06 nbConstraintChecks=1236829999 nbValidityChecks=2447371030 nbPropagations=40147936 nbRevisions=462739471
1664.06 nbUselessRevisions=363334710 nbRestartNogoods=368 solvingWckTime=1662.536 solvingCpuTime=1661.85 expiredTime=no
1664.06 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1662.85
1664.06 => wckTime=1663.738 cpuTime=1662.81 mem=34M88
1664.06
1664.06 s UNSATISFIABLE
1664.06 d NODES 1041250
1664.06 d CHECKS 1236829999
1664.06
1664.06 totalWckTime=1663.814 totalCpuTime=1662.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-196326-1168070561 -o ROOT/results/node61/solver-196326-1168070561 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196326-1168070561/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.00 1.07 1.27 3/65 5447
/proc/meminfo: memFree=1368192/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=1784 CPUtime=0
/proc/5446/stat : 5446 (java) D 5444 5446 4875 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 155453950 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/5446/statm: 446 136 102 14 0 91 0
[startup+0.106221 s]
/proc/loadavg: 1.00 1.07 1.27 3/65 5447
/proc/meminfo: memFree=1368192/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=911488 CPUtime=0.06
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 2637 0 1 0 5 1 0 0 24 0 8 0 155453950 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5446/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.514281 s]
/proc/loadavg: 1.00 1.07 1.27 3/65 5447
/proc/meminfo: memFree=1368192/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915328 CPUtime=0.47
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 7593 0 1 0 42 5 0 0 17 0 8 0 155453950 937295872 7332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228832 7332 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33842 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1301128/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1.29
/proc/5446/stat : 5446 (java) S 5444 5446 4875 0 -1 0 19148 0 1 0 118 11 0 0 16 0 8 0 155453950 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 18886 2169 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.12
/proc/5446/task/5448/stat : 5448 (java) R 5444 5446 4875 0 -1 64 2663 0 0 0 12 0 0 0 16 0 8 0 155453956 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525853 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155453956 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155453956 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.08
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 320 0 0 0 8 0 0 0 15 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915420
[startup+2.97571 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=2.93
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23184 0 1 0 278 15 0 0 16 0 8 0 155453950 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22918 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 17 0 8 0 155453956 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.16
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 373 0 0 0 15 1 0 0 16 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915420
[startup+6.26729 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1286024/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=6.22
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23201 0 1 0 607 15 0 0 17 0 8 0 155453950 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22933 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.19
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 388 0 0 0 18 1 0 0 16 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915420
[startup+12.7374 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1286024/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=12.69
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 1254 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915420
[startup+25.5697 s]
/proc/loadavg: 1.00 1.06 1.27 2/72 5454
/proc/meminfo: memFree=1286152/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=25.51
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 2536 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915420
[startup+51.2482 s]
/proc/loadavg: 1.00 1.06 1.26 2/72 5454
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=51.18
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 5103 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915420
[startup+102.5 s]
/proc/loadavg: 1.00 1.05 1.24 2/72 5454
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=102.41
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 10226 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915420
[startup+162.58 s]
/proc/loadavg: 1.00 1.04 1.23 2/72 5454
/proc/meminfo: memFree=1286344/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=162.47
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 16232 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1183.52
Current children cumulated vsize (KiB) 915420
[startup+1244.06 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1243.57
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 124341 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1243.57
Current children cumulated vsize (KiB) 915420
[startup+1304.15 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1303.64
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 130348 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1303.64
Current children cumulated vsize (KiB) 915420
[startup+1364.24 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1363.7
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 136354 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1363.7
Current children cumulated vsize (KiB) 915420
[startup+1424.32 s]
/proc/loadavg: 1.07 1.02 1.04 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1423.77
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 142361 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1423.77
Current children cumulated vsize (KiB) 915420
[startup+1484.4 s]
/proc/loadavg: 1.02 1.01 1.04 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1483.83
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 148367 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 915420
[startup+1544.48 s]
/proc/loadavg: 1.01 1.00 1.03 2/72 5456
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1543.88
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 154372 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.88
Current children cumulated vsize (KiB) 915420
[startup+1604.57 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 5456
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1603.95
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 160379 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.95
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 1664.14
CPU time (s): 1663.45
CPU user time (s): 1663.27
CPU system time (s): 0.177972
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1663.27
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23214
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= 34486
involuntary context switches= 4048
runsolver used 1.63375 s user time and 4.26835 s system time
The end
Begin job on node61 on Sat Jan 6 08:02:41 UTC 2007
IDJOB= 196326
IDBENCH= 3343
FILE ID= node61/196326-1168070561
PBS_JOBID= 3475919
Free space on /tmp= 66508 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-42_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196326-1168070561/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-196326-1168070561 -o ROOT/results/node61/solver-196326-1168070561 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196326-1168070561/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9b534ebbbf8ce10b1dee18db24a78748
RANDOM SEED= 898827482
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.259
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.259
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: 1368608 kB
Buffers: 47160 kB
Cached: 541380 kB
SwapCached: 0 kB
Active: 84280 kB
Inactive: 519564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1368608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4408 kB
Writeback: 0 kB
Mapped: 25484 kB
Slab: 69552 kB
Committed_AS: 2957276 kB
PageTables: 1388 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= 66508 MiB
End job on node61 on Sat Jan 6 08:30:26 UTC 2007