0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/229984-1168081015/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.56
0.56 constraints being loaded...
0.71 nbConstraints=470 nbRelationTypes=470 nbExtensionStructures=470 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=470 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2496 maxDegree=28
0.71 maxArity=2
0.71 => wckTime=0.394 cpuTime=0.3 mem=17M695
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.595 cpuTime=0.43 mem=15M372
0.92
0.92 preprocessing
0.92 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.92 detectedInconsistency=no
0.92 => wckTime=0.0080 cpuTime=0.01 mem=15M372
0.97
0.97 search
0.97 run=0 nbConstraintChecks=48192 nbPropagations=662 nbRevisions=7745 nbUselessRevisions=6467 nbAssignments=32
0.97 nbFailedAssignments=7 nbBacktracks=14 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.059 cpuTime=0.04 mem=15M372
1.00
1.00 search
1.00 run=1 nbConstraintChecks=101486 nbPropagations=1990 nbRevisions=23626 nbUselessRevisions=19659
1.00 nbAssignments=70 nbFailedAssignments=17 nbBacktracks=32 nbVisitedNodes=105 nbRestartNogoods=3 mapSize=24
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.086 cpuTime=0.06 mem=15M372
1.02
1.02 search
1.02 run=2 nbConstraintChecks=174032 nbPropagations=4170 nbRevisions=50876 nbUselessRevisions=42274
1.02 nbAssignments=119 nbFailedAssignments=31 nbBacktracks=56 nbVisitedNodes=178 nbRestartNogoods=4 mapSize=41
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.106 cpuTime=0.07 mem=15M372
1.04
1.04 search
1.04 run=3 nbConstraintChecks=277610 nbPropagations=7668 nbRevisions=96788 nbUselessRevisions=80299
1.04 nbAssignments=189 nbFailedAssignments=57 nbBacktracks=90 nbVisitedNodes=292 nbRestartNogoods=6 mapSize=71
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.128 cpuTime=0.1 mem=15M372
1.07
1.07 search
1.07 run=4 nbConstraintChecks=430573 nbPropagations=12929 nbRevisions=170213 nbUselessRevisions=141039
1.07 nbAssignments=292 nbFailedAssignments=98 nbBacktracks=142 nbVisitedNodes=462 nbRestartNogoods=8 mapSize=112
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.16 cpuTime=0.13 mem=15M372
1.12
1.12 search
1.12 run=5 nbConstraintChecks=660763 nbPropagations=21017 nbRevisions=286131 nbUselessRevisions=236951
1.12 nbAssignments=436 nbFailedAssignments=157 nbBacktracks=217 nbVisitedNodes=706 nbRestartNogoods=10 mapSize=175
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.207 cpuTime=0.17 mem=15M372
1.18
1.18 search
1.18 run=6 nbConstraintChecks=947334 nbPropagations=32746 nbRevisions=455609 nbUselessRevisions=376755
1.18 nbAssignments=623 nbFailedAssignments=224 nbBacktracks=330 nbVisitedNodes=1019 nbRestartNogoods=12 mapSize=268
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.271 cpuTime=0.23 mem=15M372
1.26
1.26 search
1.26 run=7 nbConstraintChecks=1312878 nbPropagations=49422 nbRevisions=700889 nbUselessRevisions=579713
1.26 nbAssignments=918 nbFailedAssignments=336 nbBacktracks=501 nbVisitedNodes=1509 nbRestartNogoods=13 mapSize=402
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.345 cpuTime=0.3 mem=15M372
1.39
1.39 search
1.39 run=8 nbConstraintChecks=1980385 nbPropagations=74684 nbRevisions=1078599 nbUselessRevisions=891904
1.39 nbAssignments=1363 nbFailedAssignments=511 nbBacktracks=763 nbVisitedNodes=2279 nbRestartNogoods=16
1.39 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.474 cpuTime=0.42 mem=15M372
1.58
1.58 search
1.58 run=9 nbConstraintChecks=3013911 nbPropagations=113107 nbRevisions=1662814 nbUselessRevisions=1375406
1.58 nbAssignments=2026 nbFailedAssignments=777 nbBacktracks=1149 nbVisitedNodes=3434 nbRestartNogoods=17
1.58 mapSize=963 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.668 cpuTime=0.6 mem=15M372
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=15M372)
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4435036 nbPropagations=170500 nbRevisions=2537863 nbUselessRevisions=2098463
1.83 nbAssignments=3015 nbFailedAssignments=1177 nbBacktracks=1726 nbVisitedNodes=5145 nbRestartNogoods=22
1.83 => wckTime=0.921 cpuTime=0.84 mem=15M372
2.16
2.16 search
2.16 run=11 nbConstraintChecks=6372091 nbPropagations=253065 nbRevisions=3813126 nbUselessRevisions=3154033
2.16 nbAssignments=4416 nbFailedAssignments=1703 nbBacktracks=2590 nbVisitedNodes=7517 nbRestartNogoods=27
2.16 => wckTime=1.245 cpuTime=1.16 mem=15M372
2.67
2.67 search
2.67 run=12 nbConstraintChecks=9487672 nbPropagations=376158 nbRevisions=5722884 nbUselessRevisions=4736235
2.67 nbAssignments=6540 nbFailedAssignments=2515 nbBacktracks=3890 nbVisitedNodes=11165 nbRestartNogoods=29
2.67 => wckTime=1.756 cpuTime=1.66 mem=15M372
3.44
3.44 search
3.44 run=13 nbConstraintChecks=14204188 nbPropagations=559462 nbRevisions=8613683 nbUselessRevisions=7135255
3.44 nbAssignments=9778 nbFailedAssignments=3795 nbBacktracks=5836 nbVisitedNodes=16740 nbRestartNogoods=36
3.44 => wckTime=2.528 cpuTime=2.43 mem=15M372
4.56
4.56 search
4.56 run=14 nbConstraintChecks=21410520 nbPropagations=831219 nbRevisions=12877898 nbUselessRevisions=10664024
4.56 nbAssignments=14445 nbFailedAssignments=5529 nbBacktracks=8757 nbVisitedNodes=24685 nbRestartNogoods=47
4.56 => wckTime=3.653 cpuTime=3.55 mem=15M372
6.33
6.33 search
6.33 run=15 nbConstraintChecks=32667021 nbPropagations=1241293 nbRevisions=19333221 nbUselessRevisions=16004782
6.33 nbAssignments=21623 nbFailedAssignments=8316 nbBacktracks=13135 nbVisitedNodes=37017 nbRestartNogoods=58
6.33 => wckTime=5.416 cpuTime=5.3 mem=15M372
9.05
9.05 search
9.05 run=16 nbConstraintChecks=50075097 nbPropagations=1860597 nbRevisions=29213143 nbUselessRevisions=24189011
9.05 nbAssignments=32455 nbFailedAssignments=12569 nbBacktracks=19703 nbVisitedNodes=55812 nbRestartNogoods=71
9.05 => wckTime=8.144 cpuTime=8.01 mem=15M372
12.92
12.92 search
12.92 run=17 nbConstraintChecks=73537302 nbPropagations=2789230 nbRevisions=43931554 nbUselessRevisions=36387687
12.92 nbAssignments=48704 nbFailedAssignments=18953 nbBacktracks=29555 nbVisitedNodes=83786 nbRestartNogoods=79
12.92 => wckTime=12.014 cpuTime=11.87 mem=15M372
18.75
18.75 search
18.75 run=18 nbConstraintChecks=109666766 nbPropagations=4176643 nbRevisions=66026257 nbUselessRevisions=54725112
18.75 nbAssignments=73089 nbFailedAssignments=28548 nbBacktracks=44333 nbVisitedNodes=125868 nbRestartNogoods=89
18.75 => wckTime=17.84 cpuTime=17.67 mem=15M372
27.58
27.58 search
27.58 run=19 nbConstraintChecks=164647431 nbPropagations=6258828 nbRevisions=99346891 nbUselessRevisions=82404654
27.58 nbAssignments=109667 nbFailedAssignments=42947 nbBacktracks=66502 nbVisitedNodes=189011 nbRestartNogoods=103
27.58 => wckTime=26.666 cpuTime=26.46 mem=15M372
40.51
40.52 search
40.52 run=20 nbConstraintChecks=248301646 nbPropagations=9345247 nbRevisions=148490104 nbUselessRevisions=123156128
40.52 nbAssignments=162389 nbFailedAssignments=62406 nbBacktracks=99756 nbVisitedNodes=278466 nbRestartNogoods=109
40.52 => wckTime=39.604 cpuTime=39.33 mem=15M372
60.71
60.71 search
60.71 run=21 nbConstraintChecks=376517926 nbPropagations=14029039 nbRevisions=222626451 nbUselessRevisions=184563137
60.71 nbAssignments=243863 nbFailedAssignments=93990 nbBacktracks=149634 nbVisitedNodes=418668 nbRestartNogoods=116
60.71 => wckTime=59.804 cpuTime=59.44 mem=15M372
90.10
90.10 search
90.10 run=22 nbConstraintChecks=564055909 nbPropagations=21000473 nbRevisions=333364782 nbUselessRevisions=276327878
90.10 nbAssignments=364277 nbFailedAssignments=139574 nbBacktracks=224452 nbVisitedNodes=624675 nbRestartNogoods=126
90.10 => wckTime=89.185 cpuTime=88.67 mem=15M372
134.93
134.93 search
134.93 run=23 nbConstraintChecks=840594887 nbPropagations=31542411 nbRevisions=500379372 nbUselessRevisions=414779497
134.93 nbAssignments=549110 nbFailedAssignments=212171 nbBacktracks=336680 nbVisitedNodes=943571 nbRestartNogoods=136
134.93 => wckTime=134.017 cpuTime=133.29 mem=15M372
199.71
199.71 search
199.71 run=24 nbConstraintChecks=1241368765 nbPropagations=47225894 nbRevisions=749417203 nbUselessRevisions=621488422
199.71 nbAssignments=822792 nbFailedAssignments=317501 nbBacktracks=505024 nbVisitedNodes=1412476 nbRestartNogoods=144
199.71 => wckTime=198.803 cpuTime=197.77 mem=15M372
301.12
301.12 search
301.12 run=25 nbConstraintChecks=1881142301 nbPropagations=70736316 nbRevisions=1125985034
301.12 nbUselessRevisions=934346058 nbAssignments=1228357 nbFailedAssignments=470545 nbBacktracks=757535
301.12 nbVisitedNodes=2108330 nbRestartNogoods=162
301.12 => wckTime=300.208 cpuTime=298.57 mem=15M372
464.88
464.88 search
464.88 run=26 nbConstraintChecks=2930937528 nbPropagations=106905080 nbRevisions=1707800827
464.88 nbUselessRevisions=1417554203 nbAssignments=1861836 nbFailedAssignments=725246 nbBacktracks=1136304
464.88 nbVisitedNodes=3207638 nbRestartNogoods=175
464.88 => wckTime=463.973 cpuTime=461.51 mem=15M372
687.29
687.30 search
687.30 run=27 nbConstraintChecks=4348636723 nbPropagations=160433533 nbRevisions=2566997407
687.30 nbUselessRevisions=2130899906 nbAssignments=2772336 nbFailedAssignments=1067583 nbBacktracks=1704455
687.30 nbVisitedNodes=4759959 nbRestartNogoods=194
687.30 => wckTime=686.384 cpuTime=682.87 mem=15M372
1030.92
1030.92 search
1030.92 run=28 nbConstraintChecks=6499390226 nbPropagations=241110072 nbRevisions=3857572519
1030.92 nbUselessRevisions=3202374544 nbAssignments=4169336 nbFailedAssignments=1612345 nbBacktracks=2556682
1030.92 nbVisitedNodes=7169247 nbRestartNogoods=212
1030.92 => wckTime=1030.008 cpuTime=1024.87 mem=15M372
1519.75
1519.75 search
1519.75 run=29 nbConstraintChecks=9777816696 nbPropagations=361840079 nbRevisions=5794201704
1519.75 nbUselessRevisions=4810372914 nbAssignments=6239542 nbFailedAssignments=2404201 nbBacktracks=3835023
1519.75 nbVisitedNodes=10718783 nbRestartNogoods=229
1519.75 => wckTime=1518.84 cpuTime=1512.65 mem=15M372
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-229984-1168081015 -o ROOT/results/node20/solver-229984-1168081015 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229984-1168081015/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.08 0.38 0.90 4/86 24668
/proc/meminfo: memFree=1738904/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=18540 CPUtime=0
/proc/24667/stat : 24667 (runsolver) R 24665 24667 24222 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156496779 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24667/statm: 4635 279 244 17 0 2626 0
[startup+0.108976 s]
/proc/loadavg: 0.08 0.38 0.90 4/86 24668
/proc/meminfo: memFree=1738904/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=914988 CPUtime=0.09
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 3010 0 1 0 7 2 0 0 17 0 8 0 156496779 936947712 2756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517025 s]
/proc/loadavg: 0.08 0.38 0.90 4/86 24668
/proc/meminfo: memFree=1738904/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915328 CPUtime=0.49
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 7027 0 1 0 44 5 0 0 18 0 8 0 156496779 937295872 6766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228832 6766 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33812 s]
/proc/loadavg: 0.31 0.42 0.91 4/100 24682
/proc/meminfo: memFree=1686440/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1.31
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9624 0 1 0 123 8 0 0 20 0 8 0 156496779 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9362 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.22
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 381 0 0 0 21 1 0 0 17 0 8 0 156496787 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97531 s]
/proc/loadavg: 0.31 0.42 0.91 3/100 24682
/proc/meminfo: memFree=1686056/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=2.94
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9640 0 1 0 286 8 0 0 25 0 8 0 156496779 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9377 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 17 0 8 0 156496783 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.24
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27071 s]
/proc/loadavg: 0.44 0.45 0.91 4/100 24682
/proc/meminfo: memFree=1686056/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=6.21
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9641 0 1 0 613 8 0 0 25 0 8 0 156496779 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9377 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7445 s]
/proc/loadavg: 0.57 0.47 0.92 3/100 24682
/proc/meminfo: memFree=1686056/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=12.66
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9641 0 1 0 1258 8 0 0 25 0 8 0 156496779 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9377 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.615 s]
/proc/loadavg: 0.79 0.52 0.93 3/100 24682
/proc/meminfo: memFree=1686184/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=25.47
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9641 0 1 0 2538 9 0 0 25 0 8 0 156496779 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9377 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2241 s]
/proc/loadavg: 1.34 0.68 0.97 3/100 24682
/proc/meminfo: memFree=1686248/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=50.96
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9641 0 1 0 5087 9 0 0 25 0 8 0 156496779 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9377 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460
[startup+102.44 s]
/proc/loadavg: 1.71 0.88 1.02 3/100 24682
/proc/meminfo: memFree=1686248/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=101.93
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9643 0 1 0 10184 9 0 0 25 0 8 0 156496779 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24667/statm: 228865 9378 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460
[startup+162.498 s]
/proc/loadavg: 1.89 1.08 1.08 3/100 24682
/proc/meminfo: memFree=1686248/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=161.71
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 16161 10 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.86
Current children cumulated vsize (KiB) 915460
[startup+1483.97 s]
/proc/loadavg: 1.99 1.97 1.74 3/100 25028
/proc/meminfo: memFree=1669152/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1477.88
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 147769 19 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.88
Current children cumulated vsize (KiB) 915460
[startup+1544.05 s]
/proc/loadavg: 2.09 2.00 1.77 3/100 25028
/proc/meminfo: memFree=1669160/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1537.89
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 153769 20 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.89
Current children cumulated vsize (KiB) 915460
[startup+1604.13 s]
/proc/loadavg: 2.08 2.01 1.78 3/100 25028
/proc/meminfo: memFree=1669160/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1597.92
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 159772 20 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.92
Current children cumulated vsize (KiB) 915460
[startup+1664.22 s]
/proc/loadavg: 2.09 2.02 1.80 3/100 25028
/proc/meminfo: memFree=1669160/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1657.95
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 165775 20 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.95
Current children cumulated vsize (KiB) 915460
[startup+1724.31 s]
/proc/loadavg: 2.08 2.03 1.82 3/100 25028
/proc/meminfo: memFree=1669160/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1717.96
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 171776 20 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.96
Current children cumulated vsize (KiB) 915460
[startup+1784.4 s]
/proc/loadavg: 2.11 2.04 1.83 3/100 25028
/proc/meminfo: memFree=1669160/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1778
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 177780 20 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.43 s]
/proc/loadavg: 2.07 2.04 1.83 3/100 25028
/proc/meminfo: memFree=1669160/2055920 swapFree=4170284/4192956
[pid=24667] ppid=24665 vsize=915460 CPUtime=1800.02
/proc/24667/stat : 24667 (java) R 24665 24667 24222 0 -1 0 9644 0 1 0 179982 20 0 0 25 0 8 0 156496779 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24667/statm: 228865 9379 2513 14 0 215335 0
[pid=24667/tid=24672] ppid=24665 vsize=915460 CPUtime=0.03
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24222 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 156496783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24678] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24679] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24680] ppid=24665 vsize=915460 CPUtime=0.25
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24222 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24667/tid=24682] ppid=24665 vsize=915460 CPUtime=0
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.48
CPU time (s): 1800.08
CPU user time (s): 1799.87
CPU system time (s): 0.209968
CPU usage (%): 99.6455
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9662
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= 37379
involuntary context switches= 63879
runsolver used 2.6266 s user time and 5.37518 s system time
The end
Begin job on node20 on Sat Jan 6 10:57:00 UTC 2007
IDJOB= 229984
IDBENCH= 6385
FILE ID= node20/229984-1168081015
PBS_JOBID= 3476109
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229984-1168081015/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-229984-1168081015 -o ROOT/results/node20/solver-229984-1168081015 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229984-1168081015/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 54b050d195a570e1fb3389ccbe82a3ea
RANDOM SEED= 251723602
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.216
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.216
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: 1742888 kB
Buffers: 40476 kB
Cached: 172956 kB
SwapCached: 4236 kB
Active: 89776 kB
Inactive: 154448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742888 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 4180 kB
Writeback: 0 kB
Mapped: 44624 kB
Slab: 53764 kB
Committed_AS: 2890964 kB
PageTables: 2220 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= 66544 MiB
End job on node20 on Sat Jan 6 11:27:09 UTC 2007