0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/196144-1168070443/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.49 => wckTime=0.107 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
1.09
1.09 constraints being loaded...
1.34 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.34 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
1.34 => wckTime=0.966 cpuTime=0.83 mem=48M687
1.46
1.46 solver IterativeSystematicSolver being built...
1.62 => wckTime=1.243 cpuTime=0.96 mem=34M624
1.63
1.63 preprocessing
1.63 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.63 detectedInconsistency=no
1.63 => wckTime=0.0030 cpuTime=0.0 mem=34M624
1.72
1.72 search
1.72 run=0 nbConstraintChecks=20054 nbValidityChecks=32160 nbPropagations=202 nbRevisions=2154
1.72 nbUselessRevisions=1739 nbAssignments=22 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=34
1.72 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.091 cpuTime=0.06 mem=34M624
1.78
1.78 search
1.78 run=1 nbConstraintChecks=56970 nbValidityChecks=100663 nbPropagations=797 nbRevisions=8746
1.78 nbUselessRevisions=7006 nbAssignments=57 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=91
1.78 nbRestartNogoods=3 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.16 cpuTime=0.12 mem=34M624
1.90
1.90 search
1.90 run=2 nbConstraintChecks=125472 nbValidityChecks=229043 nbPropagations=2076 nbRevisions=24037
1.90 nbUselessRevisions=19340 nbAssignments=115 nbFailedAssignments=46 nbBacktracks=50 nbVisitedNodes=193
1.90 nbRestartNogoods=5 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.272 cpuTime=0.23 mem=34M624
2.02
2.02 search
2.02 run=3 nbConstraintChecks=209399 nbValidityChecks=387394 nbPropagations=4303 nbRevisions=50659
2.02 nbUselessRevisions=40686 nbAssignments=195 nbFailedAssignments=85 nbBacktracks=83 nbVisitedNodes=336
2.02 nbRestartNogoods=9 mapSize=73 nbInferences=0 nbTooLargeKeys=0
2.02 => wckTime=0.399 cpuTime=0.35 mem=34M624
2.31
2.31 search
2.31 run=4 nbConstraintChecks=408644 nbValidityChecks=794977 nbPropagations=8672 nbRevisions=103891
2.31 nbUselessRevisions=82726 nbAssignments=373 nbFailedAssignments=207 nbBacktracks=133 nbVisitedNodes=677
2.31 nbRestartNogoods=16 mapSize=121 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=0.687 cpuTime=0.63 mem=34M624
2.55
2.55 search
2.55 run=5 nbConstraintChecks=570418 nbValidityChecks=1116942 nbPropagations=15495 nbRevisions=184377
2.55 nbUselessRevisions=146277 nbAssignments=572 nbFailedAssignments=322 nbBacktracks=211 nbVisitedNodes=1046
2.55 nbRestartNogoods=18 mapSize=193 nbInferences=0 nbTooLargeKeys=0
2.55 => wckTime=0.926 cpuTime=0.86 mem=34M624
2.91
2.91 search
2.91 run=6 nbConstraintChecks=828280 nbValidityChecks=1614941 nbPropagations=25492 nbRevisions=302943
2.91 nbUselessRevisions=240039 nbAssignments=830 nbFailedAssignments=463 nbBacktracks=324 nbVisitedNodes=1514
2.91 nbRestartNogoods=23 mapSize=293 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=1.282 cpuTime=1.22 mem=34M624
3.60
3.60 search
3.60 run=7 nbConstraintChecks=1332749 nbValidityChecks=2573715 nbPropagations=41005 nbRevisions=484618
3.60 nbUselessRevisions=382640 nbAssignments=1241 nbFailedAssignments=696 nbBacktracks=495 nbVisitedNodes=2271
3.60 nbRestartNogoods=24 mapSize=446 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=1.976 cpuTime=1.9 mem=34M624
4.71
4.71 search
4.71 run=8 nbConstraintChecks=2123411 nbValidityChecks=4129396 nbPropagations=66354 nbRevisions=782067
4.71 nbUselessRevisions=615224 nbAssignments=1960 nbFailedAssignments=1151 nbBacktracks=753 nbVisitedNodes=3646
4.71 nbRestartNogoods=37 mapSize=698 nbInferences=0 nbTooLargeKeys=0
4.71 => wckTime=3.088 cpuTime=2.99 mem=34M624
6.17
6.17 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=34M624)
6.30
6.30 search
6.30 run=9 nbConstraintChecks=3249235 nbValidityChecks=6508340 nbPropagations=105782 nbRevisions=1235956
6.30 nbUselessRevisions=967744 nbAssignments=2998 nbFailedAssignments=1798 nbBacktracks=1137 nbVisitedNodes=5622
6.30 nbRestartNogoods=45
6.30 => wckTime=4.679 cpuTime=4.56 mem=34M624
8.66
8.66 search
8.66 run=10 nbConstraintChecks=4984977 nbValidityChecks=10038916 nbPropagations=163844 nbRevisions=1920276
8.66 nbUselessRevisions=1501703 nbAssignments=4680 nbFailedAssignments=2896 nbBacktracks=1713 nbVisitedNodes=8823
8.66 nbRestartNogoods=57
8.66 => wckTime=7.033 cpuTime=6.9 mem=34M624
10.99
10.99 search
10.99 run=11 nbConstraintChecks=6664931 nbValidityChecks=13510048 nbPropagations=247577 nbRevisions=2893390
10.99 nbUselessRevisions=2263582 nbAssignments=6842 nbFailedAssignments=4188 nbBacktracks=2577 nbVisitedNodes=12867
10.99 nbRestartNogoods=69
10.99 => wckTime=9.366 cpuTime=9.22 mem=35M610
14.97
14.97 search
14.97 run=12 nbConstraintChecks=9546268 nbValidityChecks=19419103 nbPropagations=373772 nbRevisions=4356642
14.97 nbUselessRevisions=3412767 nbAssignments=10251 nbFailedAssignments=6296 nbBacktracks=3874 nbVisitedNodes=19284
14.97 nbRestartNogoods=82
14.97 => wckTime=13.344 cpuTime=13.17 mem=35M610
22.87
22.87 search
22.87 run=13 nbConstraintChecks=15163724 nbValidityChecks=31116698 nbPropagations=569392 nbRevisions=6609042
22.87 nbUselessRevisions=5172749 nbAssignments=15141 nbFailedAssignments=9234 nbBacktracks=5820 nbVisitedNodes=28544
22.87 nbRestartNogoods=90
22.88 => wckTime=21.251 cpuTime=21.0 mem=35M610
34.53
34.53 search
34.53 run=14 nbConstraintChecks=23874141 nbValidityChecks=48563617 nbPropagations=858201 nbRevisions=10025290
34.53 nbUselessRevisions=7843481 nbAssignments=22942 nbFailedAssignments=14109 nbBacktracks=8739 nbVisitedNodes=43357
34.53 nbRestartNogoods=108
34.53 => wckTime=32.905 cpuTime=32.59 mem=35M610
46.96
46.96 search
46.96 run=15 nbConstraintChecks=32879839 nbValidityChecks=66988027 nbPropagations=1280752 nbRevisions=14960915
46.96 nbUselessRevisions=11715924 nbAssignments=33734 nbFailedAssignments=20515 nbBacktracks=13119
46.96 nbVisitedNodes=63504 nbRestartNogoods=121
46.96 => wckTime=45.335 cpuTime=44.96 mem=35M610
68.13
68.13 search
68.13 run=16 nbConstraintChecks=48369570 nbValidityChecks=97879619 nbPropagations=1900013 nbRevisions=22219662
68.13 nbUselessRevisions=17428352 nbAssignments=48868 nbFailedAssignments=29075 nbBacktracks=19687
68.13 nbVisitedNodes=91786 nbRestartNogoods=139
68.13 => wckTime=66.509 cpuTime=66.0 mem=35M610
98.24
98.24 search
98.24 run=17 nbConstraintChecks=71155999 nbValidityChecks=143075862 nbPropagations=2792264 nbRevisions=32581236
98.24 nbUselessRevisions=25563864 nbAssignments=71752 nbFailedAssignments=42099 nbBacktracks=29541
98.24 nbVisitedNodes=134246 nbRestartNogoods=152
98.24 => wckTime=96.621 cpuTime=95.96 mem=35M610
146.57
146.57 search
146.57 run=18 nbConstraintChecks=105878874 nbValidityChecks=217074682 nbPropagations=4110122 nbRevisions=47817294
146.57 nbUselessRevisions=37516057 nbAssignments=105093 nbFailedAssignments=60655 nbBacktracks=44319
146.57 nbVisitedNodes=196264 nbRestartNogoods=161
146.57 => wckTime=144.948 cpuTime=144.04 mem=35M610
220.00
220.00 search
220.00 run=19 nbConstraintChecks=159165318 nbValidityChecks=328022285 nbPropagations=6091309 nbRevisions=70493938
220.00 nbUselessRevisions=55182917 nbAssignments=159567 nbFailedAssignments=92954 nbBacktracks=66489
220.00 nbVisitedNodes=297756 nbRestartNogoods=173
220.00 => wckTime=218.373 cpuTime=217.13 mem=35M610
365.73
365.73 search
365.73 run=20 nbConstraintChecks=267863148 nbValidityChecks=548067115 nbPropagations=9204743 nbRevisions=107341266
365.73 nbUselessRevisions=84031722 nbAssignments=255332 nbFailedAssignments=155461 nbBacktracks=99741
365.73 nbVisitedNodes=481202 nbRestartNogoods=177
365.73 => wckTime=364.106 cpuTime=362.21 mem=35M610
524.01
524.02 search
524.02 run=21 nbConstraintChecks=384064437 nbValidityChecks=780653259 nbPropagations=13915448 nbRevisions=162623067
524.02 nbUselessRevisions=127476574 nbAssignments=380189 nbFailedAssignments=230433 nbBacktracks=149620
524.02 nbVisitedNodes=715495 nbRestartNogoods=196
524.02 => wckTime=522.391 cpuTime=519.77 mem=35M610
770.45
770.46 search
770.46 run=22 nbConstraintChecks=565675610 nbValidityChecks=1139735788 nbPropagations=20892236 nbRevisions=244571294
770.46 nbUselessRevisions=192019198 nbAssignments=555361 nbFailedAssignments=330778 nbBacktracks=224438
770.46 nbVisitedNodes=1042334 nbRestartNogoods=209
770.46 => wckTime=768.831 cpuTime=765.11 mem=35M610
1130.27
1130.27 search
1130.27 run=23 nbConstraintChecks=834263666 nbValidityChecks=1668256900 nbPropagations=31025417 nbRevisions=364758126
1130.27 nbUselessRevisions=286892667 nbAssignments=807918 nbFailedAssignments=471101 nbBacktracks=336666
1130.27 nbVisitedNodes=1509312 nbRestartNogoods=219
1130.27 => wckTime=1128.651 cpuTime=1123.3 mem=35M610
1721.50
1721.50 search
1721.50 run=24 nbConstraintChecks=1265115587 nbValidityChecks=2561160037 nbPropagations=46196095 nbRevisions=541483686
1721.50 nbUselessRevisions=425568850 nbAssignments=1205626 nbFailedAssignments=700461 nbBacktracks=505007
1721.50 nbVisitedNodes=2252712 nbRestartNogoods=234
1721.50 => wckTime=1719.874 cpuTime=1711.87 mem=35M610
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-196144-1168070443 -o ROOT/results/node56/solver-196144-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196144-1168070443/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 0.97 0.98 4/76 3872
/proc/meminfo: memFree=1698520/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=1784 CPUtime=0
/proc/3871/stat : 3871 (java) D 3869 3871 3759 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155442521 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3871/statm: 446 158 123 14 0 91 0
[startup+0.103287 s]
/proc/loadavg: 1.00 0.97 0.98 4/76 3872
/proc/meminfo: memFree=1698520/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=911488 CPUtime=0.08
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 2576 0 1 0 5 3 0 0 21 0 8 0 155442521 933363712 2323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3871/statm: 227872 2324 1267 14 0 215051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 911488
[startup+0.512234 s]
/proc/loadavg: 1.00 0.97 0.98 4/76 3872
/proc/meminfo: memFree=1698520/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915328 CPUtime=0.43
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 6232 0 8 0 37 6 0 0 18 0 8 0 155442521 937295872 5978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228832 5978 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33432 s]
/proc/loadavg: 1.00 0.97 0.98 6/87 3883
/proc/meminfo: memFree=1555968/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915328 CPUtime=1.25
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 19102 0 8 0 112 13 0 0 25 0 8 0 155442521 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228832 18847 2160 14 0 215302 0
[pid=3871/tid=3877] ppid=3869 vsize=915328 CPUtime=0.05
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 2645 0 0 0 4 1 0 0 17 0 8 0 155442525 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915328 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915328 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155442526 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915328 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915328 CPUtime=0.09
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 155442531 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915328 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915328 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937295872 18847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915328
[startup+2.98648 s]
/proc/loadavg: 1.00 0.97 0.98 3/87 3883
/proc/meminfo: memFree=1523264/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=2.89
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23456 0 9 0 273 16 0 0 25 0 8 0 155442521 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23199 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.15
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 13 2 0 0 17 0 8 0 155442525 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.2
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 155442531 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915416
[startup+6.2778 s]
/proc/loadavg: 1.16 1.00 0.99 3/87 3883
/proc/meminfo: memFree=1522960/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=6.17
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23473 0 9 0 600 17 0 0 25 0 8 0 155442521 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23213 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.15
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 13 2 0 0 17 0 8 0 155442525 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.22
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155442531 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23213 18446744073709551615 134512640 134570532 4294956480 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) 915416
[startup+12.7674 s]
/proc/loadavg: 1.23 1.02 1.00 3/87 3883
/proc/meminfo: memFree=1523152/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=12.63
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23478 0 9 0 1246 17 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.15
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915416
[startup+25.6117 s]
/proc/loadavg: 1.35 1.05 1.01 3/93 3949
/proc/meminfo: memFree=1521976/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=25.36
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23478 0 9 0 2518 18 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.15
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416
[startup+51.2372 s]
/proc/loadavg: 1.65 1.16 1.04 3/93 4007
/proc/meminfo: memFree=1521928/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=50.85
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23478 0 9 0 5063 22 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.15
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915416
[startup+102.481 s]
/proc/loadavg: 1.85 1.28 1.09 3/93 4055
/proc/meminfo: memFree=1522000/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=101.81
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 10150 31 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.15
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915416
[startup+162.561 s]
/proc/loadavg: 1.94 1.41 1.15 3/87 4081
/proc/meminfo: memFree=1523024/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=161.59
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 16126 33 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.4
Current children cumulated vsize (KiB) 915416
[startup+1484.13 s]
/proc/loadavg: 2.00 2.00 1.77 3/87 4083
/proc/meminfo: memFree=1522768/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1477.2
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 147684 36 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.2
Current children cumulated vsize (KiB) 915416
[startup+1544.2 s]
/proc/loadavg: 2.00 2.00 1.78 3/87 4083
/proc/meminfo: memFree=1522768/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1537.01
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 153665 36 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.01
Current children cumulated vsize (KiB) 915416
[startup+1604.27 s]
/proc/loadavg: 2.00 2.00 1.79 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1596.8
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 159644 36 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.8
Current children cumulated vsize (KiB) 915416
[startup+1664.33 s]
/proc/loadavg: 2.00 2.00 1.80 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1656.62
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 165625 37 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.62
Current children cumulated vsize (KiB) 915416
[startup+1724.41 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1716.42
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 171605 37 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.42
Current children cumulated vsize (KiB) 915416
[startup+1784.48 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 4083
/proc/meminfo: memFree=1522640/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1776.21
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 177584 37 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.21
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.44 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 4083
/proc/meminfo: memFree=1522640/2055920 swapFree=4184772/4192956
[pid=3871] ppid=3869 vsize=915416 CPUtime=1800.07
/proc/3871/stat : 3871 (java) R 3869 3871 3759 0 -1 0 23479 0 9 0 179970 37 0 0 25 0 8 0 155442521 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3871/statm: 228854 23217 2521 14 0 215324 0
[pid=3871/tid=3877] ppid=3869 vsize=915416 CPUtime=0.16
/proc/3871/task/3877/stat : 3877 (java) S 3869 3871 3759 0 -1 64 6498 0 0 0 14 2 0 0 16 0 8 0 155442525 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3878] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3878/stat : 3878 (java) S 3869 3871 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3879] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3879/stat : 3879 (java) S 3869 3871 3759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442526 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3880] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3880/stat : 3880 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3881] ppid=3869 vsize=915416 CPUtime=0.23
/proc/3871/task/3881/stat : 3881 (java) S 3869 3871 3759 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3871/tid=3882] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3882/stat : 3882 (java) S 3869 3871 3759 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3871/tid=3883] ppid=3869 vsize=915416 CPUtime=0
/proc/3871/task/3883/stat : 3883 (java) S 3869 3871 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155442531 937385984 23217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.51
CPU time (s): 1800.14
CPU user time (s): 1799.75
CPU system time (s): 0.38994
CPU usage (%): 99.5369
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.38994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23494
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37716
involuntary context switches= 62154
runsolver used 1.9367 s user time and 4.5773 s system time
The end
Begin job on node56 on Sat Jan 6 08:00:44 UTC 2007
IDJOB= 196144
IDBENCH= 3329
FILE ID= node56/196144-1168070443
PBS_JOBID= 3475941
Free space on /tmp= 66514 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196144-1168070443/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-196144-1168070443 -o ROOT/results/node56/solver-196144-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196144-1168070443/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 92fc3716141ae1692bf2309e27b5e9ed
RANDOM SEED= 253522480
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.232
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.232
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: 1704144 kB
Buffers: 26332 kB
Cached: 242656 kB
SwapCached: 2060 kB
Active: 45788 kB
Inactive: 238544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1704144 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 9380 kB
Writeback: 0 kB
Mapped: 26052 kB
Slab: 52836 kB
Committed_AS: 2655536 kB
PageTables: 1836 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= 66514 MiB
End job on node56 on Sat Jan 6 08:30:53 UTC 2007