0.35
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/231978-1168081217/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.45 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.55
0.55 constraints being loaded...
0.67 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=900 maxDegree=24
0.67 maxArity=2
0.67 => wckTime=0.313 cpuTime=0.24 mem=13M778
0.71
0.71 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.499 cpuTime=0.36 mem=14M79
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0030 cpuTime=0.01 mem=14M79
0.91
0.91 search
0.91 run=0 nbConstraintChecks=35707 nbPropagations=443 nbRevisions=7138 nbUselessRevisions=6163 nbAssignments=27
0.91 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.048 cpuTime=0.04 mem=15M120
0.92
0.92 search
0.92 run=1 nbConstraintChecks=90753 nbPropagations=1524 nbRevisions=25657 nbUselessRevisions=22199 nbAssignments=65
0.92 nbFailedAssignments=28 nbBacktracks=27 nbVisitedNodes=115 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.068 cpuTime=0.05 mem=15M120
0.95
0.95 search
0.95 run=2 nbConstraintChecks=165139 nbPropagations=3423 nbRevisions=59466 nbUselessRevisions=51527
0.95 nbAssignments=117 nbFailedAssignments=52 nbBacktracks=50 nbVisitedNodes=207 nbRestartNogoods=5 mapSize=50
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.091 cpuTime=0.07 mem=15M120
0.97
0.97 search
0.97 run=3 nbConstraintChecks=260438 nbPropagations=6393 nbRevisions=113525 nbUselessRevisions=98408
0.97 nbAssignments=183 nbFailedAssignments=79 nbBacktracks=83 nbVisitedNodes=329 nbRestartNogoods=9 mapSize=83
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.114 cpuTime=0.09 mem=15M120
1.00
1.00 search
1.00 run=4 nbConstraintChecks=408640 nbPropagations=11011 nbRevisions=200425 nbUselessRevisions=173903
1.00 nbAssignments=291 nbFailedAssignments=131 nbBacktracks=134 nbVisitedNodes=526 nbRestartNogoods=12 mapSize=133
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.143 cpuTime=0.11 mem=15M120
1.05
1.05 search
1.05 run=5 nbConstraintChecks=635108 nbPropagations=18073 nbRevisions=336984 nbUselessRevisions=292519
1.05 nbAssignments=449 nbFailedAssignments=209 nbBacktracks=209 nbVisitedNodes=819 nbRestartNogoods=18 mapSize=206
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.189 cpuTime=0.16 mem=15M120
1.10
1.10 search
1.10 run=6 nbConstraintChecks=938340 nbPropagations=28565 nbRevisions=541966 nbUselessRevisions=470622
1.10 nbAssignments=675 nbFailedAssignments=317 nbBacktracks=322 nbVisitedNodes=1238 nbRestartNogoods=26 mapSize=318
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.248 cpuTime=0.21 mem=15M120
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1423243 nbPropagations=44350 nbRevisions=855613 nbUselessRevisions=743569
1.19 nbAssignments=1014 nbFailedAssignments=480 nbBacktracks=493 nbVisitedNodes=1873 nbRestartNogoods=33
1.19 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.338 cpuTime=0.3 mem=15M120
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2162281 nbPropagations=68089 nbRevisions=1333171 nbUselessRevisions=1158961
1.33 nbAssignments=1537 nbFailedAssignments=741 nbBacktracks=750 nbVisitedNodes=2846 nbRestartNogoods=41
1.33 mapSize=739 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.478 cpuTime=0.42 mem=15M120
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M120)
1.51
1.51 search
1.51 run=9 nbConstraintChecks=3182391 nbPropagations=103153 nbRevisions=2042831 nbUselessRevisions=1776954
1.51 nbAssignments=2291 nbFailedAssignments=1106 nbBacktracks=1134 nbVisitedNodes=4242 nbRestartNogoods=47
1.51 => wckTime=0.651 cpuTime=0.59 mem=15M120
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4744315 nbPropagations=155437 nbRevisions=3101324 nbUselessRevisions=2697753
1.76 nbAssignments=3432 nbFailedAssignments=1666 nbBacktracks=1710 nbVisitedNodes=6361 nbRestartNogoods=54
1.76 => wckTime=0.904 cpuTime=0.83 mem=15M120
2.12
2.12 search
2.12 run=11 nbConstraintChecks=7095722 nbPropagations=233389 nbRevisions=4688004 nbUselessRevisions=4078307
2.12 nbAssignments=5139 nbFailedAssignments=2503 nbBacktracks=2574 nbVisitedNodes=9541 nbRestartNogoods=61
2.12 => wckTime=1.268 cpuTime=1.19 mem=15M120
2.65
2.65 search
2.65 run=12 nbConstraintChecks=10745531 nbPropagations=350603 nbRevisions=7088136 nbUselessRevisions=6166963
2.66 nbAssignments=7693 nbFailedAssignments=3753 nbBacktracks=3873 nbVisitedNodes=14314 nbRestartNogoods=70
2.66 => wckTime=1.799 cpuTime=1.72 mem=15M120
3.43
3.43 search
3.43 run=13 nbConstraintChecks=16289685 nbPropagations=527412 nbRevisions=10725380 nbUselessRevisions=9332216
3.43 nbAssignments=11587 nbFailedAssignments=5695 nbBacktracks=5819 nbVisitedNodes=21591 nbRestartNogoods=82
3.43 => wckTime=2.578 cpuTime=2.5 mem=15M120
4.59
4.59 search
4.59 run=14 nbConstraintChecks=24493052 nbPropagations=792380 nbRevisions=16186821 nbUselessRevisions=14085297
4.59 nbAssignments=17339 nbFailedAssignments=8522 nbBacktracks=8739 nbVisitedNodes=32318 nbRestartNogoods=97
4.59 => wckTime=3.73 cpuTime=3.65 mem=15M120
6.30
6.30 search
6.30 run=15 nbConstraintChecks=36725218 nbPropagations=1188294 nbRevisions=24382248 nbUselessRevisions=21223599
6.30 nbAssignments=25867 nbFailedAssignments=12665 nbBacktracks=13120 nbVisitedNodes=48234 nbRestartNogoods=112
6.30 => wckTime=5.446 cpuTime=5.36 mem=15M120
8.93
8.93 search
8.93 run=16 nbConstraintChecks=55575290 nbPropagations=1784464 nbRevisions=36753991 nbUselessRevisions=31999108
8.93 nbAssignments=38852 nbFailedAssignments=19076 nbBacktracks=19688 nbVisitedNodes=72534 nbRestartNogoods=115
8.93 => wckTime=8.069 cpuTime=7.98 mem=15M120
12.82
12.82 search
12.82 run=17 nbConstraintChecks=83278632 nbPropagations=2675710 nbRevisions=55293859 nbUselessRevisions=48149572
12.82 nbAssignments=58050 nbFailedAssignments=28417 nbBacktracks=29540 nbVisitedNodes=108288 nbRestartNogoods=124
12.82 => wckTime=11.959 cpuTime=11.88 mem=15M120
18.69
18.69 search
18.69 run=18 nbConstraintChecks=124798400 nbPropagations=4012373 nbRevisions=83133712 nbUselessRevisions=72405591
18.69 nbAssignments=87250 nbFailedAssignments=42832 nbBacktracks=44319 nbVisitedNodes=162790 nbRestartNogoods=137
18.69 => wckTime=17.835 cpuTime=17.75 mem=15M120
27.56
27.56 search
27.56 run=19 nbConstraintChecks=188182834 nbPropagations=6021222 nbRevisions=125073526 nbUselessRevisions=108958466
27.56 nbAssignments=130751 nbFailedAssignments=64159 nbBacktracks=66488 nbVisitedNodes=243953 nbRestartNogoods=146
27.56 => wckTime=26.703 cpuTime=26.62 mem=15M120
40.98
40.98 search
40.98 run=20 nbConstraintChecks=283368921 nbPropagations=9039712 nbRevisions=188250997 nbUselessRevisions=164039122
40.98 nbAssignments=195995 nbFailedAssignments=96147 nbBacktracks=99740 nbVisitedNodes=365817 nbRestartNogoods=158
40.98 => wckTime=40.12 cpuTime=40.02 mem=15M120
61.12
61.12 search
61.12 run=21 nbConstraintChecks=427021140 nbPropagations=13575448 nbRevisions=283398562 nbUselessRevisions=247001075
61.12 nbAssignments=294543 nbFailedAssignments=144812 nbBacktracks=149618 nbVisitedNodes=549697 nbRestartNogoods=180
61.12 => wckTime=60.261 cpuTime=60.12 mem=15M120
91.26
91.26 search
91.26 run=22 nbConstraintChecks=642734633 nbPropagations=20383255 nbRevisions=426347473 nbUselessRevisions=371657509
91.26 nbAssignments=441900 nbFailedAssignments=217345 nbBacktracks=224436 nbVisitedNodes=824551 nbRestartNogoods=206
91.26 => wckTime=90.405 cpuTime=90.22 mem=15M120
136.78
136.78 search
136.78 run=23 nbConstraintChecks=969733529 nbPropagations=30612044 nbRevisions=641555254 nbUselessRevisions=559355067
136.78 nbAssignments=662830 nbFailedAssignments=326042 nbBacktracks=336664 nbVisitedNodes=1236630 nbRestartNogoods=220
136.78 => wckTime=135.924 cpuTime=135.67 mem=15M120
204.57
204.57 search
204.57 run=24 nbConstraintChecks=1454696868 nbPropagations=45950849 nbRevisions=964585406 nbUselessRevisions=841163747
204.57 nbAssignments=994164 nbFailedAssignments=489031 nbBacktracks=505005 nbVisitedNodes=1854217 nbRestartNogoods=243
204.57 => wckTime=203.71 cpuTime=203.4 mem=15M120
307.53
307.54 search
307.54 run=25 nbConstraintChecks=2196348309 nbPropagations=69021664 nbRevisions=1451302008
307.54 nbUselessRevisions=1265794692 nbAssignments=1493002 nbFailedAssignments=735353 nbBacktracks=757517
307.54 nbVisitedNodes=2784853 nbRestartNogoods=259
307.54 => wckTime=306.679 cpuTime=306.25 mem=15M120
464.97
464.97 search
464.97 run=26 nbConstraintChecks=3341826995 nbPropagations=103844014 nbRevisions=2189320642
464.97 nbUselessRevisions=1909801067 nbAssignments=2245972 nbFailedAssignments=1109550 nbBacktracks=1136285
464.97 nbVisitedNodes=4191280 nbRestartNogoods=276
464.97 => wckTime=464.117 cpuTime=463.52 mem=15M120
528.01
528.01 search
528.01 run=27 nbConstraintChecks=3802175966 nbPropagations=143351194 nbRevisions=3028274989
528.01 nbUselessRevisions=2641996393 nbAssignments=2544776 nbFailedAssignments=1257754 nbBacktracks=1286886
528.01 nbVisitedNodes=4749386 nbRestartNogoods=291
528.01 => wckTime=527.152 cpuTime=526.52 mem=15M120
528.01
528.01 global
528.01 nbConstraintChecks=3802175966 nbPropagations=143351219 nbRevisions=3028274989 nbUselessRevisions=2641996393
528.01 nbRestartNogoods=291 solvingWckTime=527.153 solvingCpuTime=526.52 expiredTime=no totalExploration=yes
528.01 nbFoundSolutions=0 globalCpuTime=526.93
528.01 => wckTime=527.655 cpuTime=526.88 mem=15M120
528.01
528.01 s UNSATISFIABLE
528.01 d NODES 2544776
528.01 d CHECKS 3802175966
528.01
528.01 totalWckTime=527.732 totalCpuTime=526.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-231978-1168081217 -o ROOT/results/node43/solver-231978-1168081217 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231978-1168081217/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.56 0.93 1.29 3/68 9835
/proc/meminfo: memFree=1633856/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=1500 CPUtime=0
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 156521590 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4699830 0 0 4096 0 0 0 0 17 1 0 0
/proc/9834/statm: 363 63 47 14 0 8 0
[startup+0.105347 s]
/proc/loadavg: 0.56 0.93 1.29 3/68 9835
/proc/meminfo: memFree=1633856/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=907808 CPUtime=0.05
/proc/9834/stat : 9834 (java) D 9832 9834 9700 0 -1 0 2504 0 1 0 5 0 0 0 21 0 4 0 156521590 929595392 2251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 226952 2251 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.513416 s]
/proc/loadavg: 0.56 0.93 1.29 3/68 9835
/proc/meminfo: memFree=1633856/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915328 CPUtime=0.43
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 6543 0 1 0 40 3 0 0 16 0 8 0 156521590 937295872 6282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9834/statm: 228832 6282 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33955 s]
/proc/loadavg: 0.60 0.93 1.29 2/75 9842
/proc/meminfo: memFree=1609288/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=1.24
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8752 0 1 0 119 5 0 0 16 0 8 0 156521590 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9834/statm: 228864 8490 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.17
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 380 0 0 0 17 0 0 0 16 0 8 0 156521603 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.97882 s]
/proc/loadavg: 0.60 0.93 1.29 2/75 9842
/proc/meminfo: memFree=1609160/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=2.88
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8761 0 1 0 282 6 0 0 17 0 8 0 156521590 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801726 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8498 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915456
[startup+6.27237 s]
/proc/loadavg: 0.63 0.93 1.29 2/75 9842
/proc/meminfo: memFree=1609160/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=6.17
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8762 0 1 0 611 6 0 0 23 0 8 0 156521590 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8498 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915456
[startup+12.7474 s]
/proc/loadavg: 0.66 0.93 1.28 2/75 9843
/proc/meminfo: memFree=1609160/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=12.64
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 1258 6 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.5886 s]
/proc/loadavg: 0.71 0.94 1.28 2/75 9844
/proc/meminfo: memFree=1609160/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=25.48
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 2542 6 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915456
[startup+51.2028 s]
/proc/loadavg: 1.11 1.01 1.29 3/93 9963
/proc/meminfo: memFree=1482936/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=51.06
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 5095 11 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915456
[startup+102.433 s]
/proc/loadavg: 1.66 1.17 1.33 3/93 10045
/proc/meminfo: memFree=1482928/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=102.22
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 10206 16 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915456
[startup+162.483 s]
/proc/loadavg: 1.87 1.32 1.37 3/87 10087
/proc/meminfo: memFree=1483944/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=162.19
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 16201 18 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 915456
[startup+222.554 s]
/proc/loadavg: 1.95 1.44 1.40 3/87 10087
/proc/meminfo: memFree=1484008/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=222.2
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 22201 19 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814401 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 915456
[startup+282.555 s]
/proc/loadavg: 1.98 1.54 1.44 3/87 10087
/proc/meminfo: memFree=1484072/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=282.14
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 28195 19 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 915456
[startup+342.559 s]
/proc/loadavg: 1.99 1.62 1.47 3/87 10087
/proc/meminfo: memFree=1484008/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=342.09
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 34190 19 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 915456
[startup+402.66 s]
/proc/loadavg: 1.99 1.69 1.50 3/87 10087
/proc/meminfo: memFree=1484008/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=402.12
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 40193 19 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 915456
[startup+462.75 s]
/proc/loadavg: 1.99 1.74 1.53 3/87 10087
/proc/meminfo: memFree=1483944/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=462.15
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 46196 19 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 915456
[startup+522.841 s]
/proc/loadavg: 1.99 1.79 1.56 3/87 10087
/proc/meminfo: memFree=1483944/2055920 swapFree=4192812/4192956
[pid=9834] ppid=9832 vsize=915456 CPUtime=522.19
/proc/9834/stat : 9834 (java) R 9832 9834 9700 0 -1 0 8765 0 1 0 52200 19 0 0 25 0 8 0 156521590 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9834/statm: 228864 8500 2513 14 0 215334 0
[pid=9834/tid=9836] ppid=9832 vsize=915456 CPUtime=0.03
/proc/9834/task/9836/stat : 9836 (java) S 9832 9834 9700 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9834/tid=9837] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9837/stat : 9837 (java) S 9832 9834 9700 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9838] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9838/stat : 9838 (java) S 9832 9834 9700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521596 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9839] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9839/stat : 9839 (java) S 9832 9834 9700 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9840] ppid=9832 vsize=915456 CPUtime=0.2
/proc/9834/task/9840/stat : 9840 (java) S 9832 9834 9700 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9841] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9841/stat : 9841 (java) S 9832 9834 9700 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9834/tid=9842] ppid=9832 vsize=915456 CPUtime=0
/proc/9834/task/9842/stat : 9842 (java) S 9832 9834 9700 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156521603 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 528.027
CPU time (s): 527.374
CPU user time (s): 527.173
CPU system time (s): 0.200969
CPU usage (%): 99.8763
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 527.173
system time used= 0.200969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8799
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= 11513
involuntary context switches= 12695
runsolver used 0.59091 s user time and 1.72574 s system time
The end
Begin job on node43 on Sat Jan 6 11:00:20 UTC 2007
IDJOB= 231978
IDBENCH= 6494
FILE ID= node43/231978-1168081217
PBS_JOBID= 3476197
Free space on /tmp= 66483 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231978-1168081217/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-231978-1168081217 -o ROOT/results/node43/solver-231978-1168081217 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231978-1168081217/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 770b28076b75602aacb655be9a055a98
RANDOM SEED= 998163642
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.278
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.278
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: 1634400 kB
Buffers: 28028 kB
Cached: 306532 kB
SwapCached: 0 kB
Active: 75068 kB
Inactive: 279644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1634400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 30328 kB
Slab: 52556 kB
Committed_AS: 2966008 kB
PageTables: 1592 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= 66481 MiB
End job on node43 on Sat Jan 6 11:09:13 UTC 2007