0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/194586-1168069385/unknown.xml
0.38
0.38 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.08 mem=6M951
0.42
0.42 relations being loaded...
0.56
0.56 constraints being loaded...
0.70 nbConstraints=475 nbRelationTypes=475 nbExtensionStructures=475 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=475 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2496 maxDegree=28
0.70 maxArity=2
0.70 => wckTime=0.386 cpuTime=0.29 mem=17M695
0.75
0.75 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.584 cpuTime=0.41 mem=15M382
0.91
0.91 preprocessing
0.91 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.91 detectedInconsistency=no
0.91 => wckTime=0.0080 cpuTime=0.0 mem=15M382
0.96
0.96 search
0.96 run=0 nbConstraintChecks=46860 nbPropagations=618 nbRevisions=7171 nbUselessRevisions=5943 nbAssignments=30
0.96 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.058 cpuTime=0.03 mem=15M382
0.98
0.98 search
0.98 run=1 nbConstraintChecks=102636 nbPropagations=1887 nbRevisions=23077 nbUselessRevisions=18977
0.98 nbAssignments=63 nbFailedAssignments=15 nbBacktracks=31 nbVisitedNodes=94 nbRestartNogoods=2 mapSize=24
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.085 cpuTime=0.05 mem=15M382
1.01
1.01 search
1.01 run=2 nbConstraintChecks=176615 nbPropagations=4015 nbRevisions=51166 nbUselessRevisions=42150
1.01 nbAssignments=111 nbFailedAssignments=31 nbBacktracks=57 nbVisitedNodes=168 nbRestartNogoods=3 mapSize=46
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.109 cpuTime=0.07 mem=15M382
1.03
1.03 search
1.03 run=3 nbConstraintChecks=277093 nbPropagations=7482 nbRevisions=98309 nbUselessRevisions=81367
1.03 nbAssignments=175 nbFailedAssignments=51 nbBacktracks=90 nbVisitedNodes=271 nbRestartNogoods=4 mapSize=74
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.133 cpuTime=0.09 mem=15M382
1.06
1.06 search
1.06 run=4 nbConstraintChecks=429366 nbPropagations=12871 nbRevisions=174163 nbUselessRevisions=144332
1.06 nbAssignments=270 nbFailedAssignments=83 nbBacktracks=141 nbVisitedNodes=429 nbRestartNogoods=8 mapSize=119
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.165 cpuTime=0.13 mem=15M382
1.11
1.11 search
1.11 run=5 nbConstraintChecks=622526 nbPropagations=20589 nbRevisions=283415 nbUselessRevisions=234823
1.11 nbAssignments=392 nbFailedAssignments=118 nbBacktracks=217 nbVisitedNodes=624 nbRestartNogoods=12 mapSize=176
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.208 cpuTime=0.17 mem=15M382
1.17
1.17 search
1.17 run=6 nbConstraintChecks=872157 nbPropagations=31436 nbRevisions=439962 nbUselessRevisions=364503
1.17 nbAssignments=567 nbFailedAssignments=171 nbBacktracks=331 nbVisitedNodes=909 nbRestartNogoods=16 mapSize=260
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.267 cpuTime=0.22 mem=15M382
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1275910 nbPropagations=47050 nbRevisions=668224 nbUselessRevisions=552622
1.25 nbAssignments=819 nbFailedAssignments=246 nbBacktracks=503 nbVisitedNodes=1316 nbRestartNogoods=19 mapSize=387
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.346 cpuTime=0.29 mem=15M382
1.38
1.38 search
1.38 run=8 nbConstraintChecks=1932607 nbPropagations=70474 nbRevisions=1017065 nbUselessRevisions=840120
1.38 nbAssignments=1241 nbFailedAssignments=399 nbBacktracks=763 nbVisitedNodes=2025 nbRestartNogoods=20
1.38 mapSize=592 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.482 cpuTime=0.42 mem=15M382
1.54
1.54 search
1.54 run=9 nbConstraintChecks=2656938 nbPropagations=103904 nbRevisions=1514603 nbUselessRevisions=1250489
1.54 nbAssignments=1825 nbFailedAssignments=590 nbBacktracks=1147 nbVisitedNodes=2983 nbRestartNogoods=26
1.54 mapSize=880 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.64 cpuTime=0.56 mem=15M382
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=15M382)
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4371705 nbPropagations=156438 nbRevisions=2319314 nbUselessRevisions=1912915
1.83 nbAssignments=2767 nbFailedAssignments=944 nbBacktracks=1726 nbVisitedNodes=4603 nbRestartNogoods=29
1.83 => wckTime=0.927 cpuTime=0.84 mem=15M382
2.21
2.21 search
2.21 run=11 nbConstraintChecks=6837209 nbPropagations=237058 nbRevisions=3581164 nbUselessRevisions=2952457
2.21 nbAssignments=4201 nbFailedAssignments=1502 nbBacktracks=2594 nbVisitedNodes=7044 nbRestartNogoods=37
2.21 => wckTime=1.307 cpuTime=1.22 mem=15M382
2.68
2.68 search
2.68 run=12 nbConstraintChecks=9615438 nbPropagations=353628 nbRevisions=5394746 nbUselessRevisions=4447014
2.68 nbAssignments=6181 nbFailedAssignments=2175 nbBacktracks=3891 nbVisitedNodes=10334 nbRestartNogoods=42
2.68 => wckTime=1.783 cpuTime=1.68 mem=15M382
3.49
3.49 search
3.49 run=13 nbConstraintChecks=14761930 nbPropagations=529974 nbRevisions=8141605 nbUselessRevisions=6705319
3.49 nbAssignments=9258 nbFailedAssignments=3300 nbBacktracks=5837 nbVisitedNodes=15536 nbRestartNogoods=50
3.49 => wckTime=2.587 cpuTime=2.48 mem=15M382
4.63
4.63 search
4.63 run=14 nbConstraintChecks=21763512 nbPropagations=791828 nbRevisions=12235519 nbUselessRevisions=10069267
4.63 nbAssignments=13939 nbFailedAssignments=5050 nbBacktracks=8758 nbVisitedNodes=23411 nbRestartNogoods=55
4.63 => wckTime=3.728 cpuTime=3.61 mem=15M382
6.21
6.21 search
6.21 run=15 nbConstraintChecks=31439123 nbPropagations=1175559 nbRevisions=18207498 nbUselessRevisions=14984250
6.21 nbAssignments=20552 nbFailedAssignments=7276 nbBacktracks=13136 nbVisitedNodes=34428 nbRestartNogoods=66
6.21 => wckTime=5.31 cpuTime=5.18 mem=15M382
9.45
9.45 search
9.45 run=16 nbConstraintChecks=53133673 nbPropagations=1785037 nbRevisions=27720077 nbUselessRevisions=22760951
9.45 nbAssignments=31586 nbFailedAssignments=11732 nbBacktracks=19705 nbVisitedNodes=53584 nbRestartNogoods=74
9.45 => wckTime=8.547 cpuTime=8.39 mem=15M382
13.23
13.23 search
13.23 run=17 nbConstraintChecks=77127414 nbPropagations=2676699 nbRevisions=41543858 nbUselessRevisions=34059162
13.23 nbAssignments=46539 nbFailedAssignments=16822 nbBacktracks=29557 nbVisitedNodes=78438 nbRestartNogoods=84
13.23 => wckTime=12.33 cpuTime=12.14 mem=15M382
18.97
18.97 search
18.97 run=18 nbConstraintChecks=113369135 nbPropagations=3996464 nbRevisions=61984212 nbUselessRevisions=50773863
18.97 nbAssignments=69239 nbFailedAssignments=24734 nbBacktracks=44335 nbVisitedNodes=116379 nbRestartNogoods=104
18.97 => wckTime=18.069 cpuTime=17.83 mem=15M382
27.34
27.34 search
27.34 run=19 nbConstraintChecks=164976589 nbPropagations=5954729 nbRevisions=92443500 nbUselessRevisions=75760099
27.34 nbAssignments=103457 nbFailedAssignments=36776 nbBacktracks=66505 nbVisitedNodes=173754 nbRestartNogoods=119
27.34 => wckTime=26.441 cpuTime=26.13 mem=15M382
42.07
42.07 search
42.07 run=20 nbConstraintChecks=262113858 nbPropagations=8969084 nbRevisions=139391068 nbUselessRevisions=114171158
42.07 nbAssignments=156474 nbFailedAssignments=56534 nbBacktracks=99758 nbVisitedNodes=263951 nbRestartNogoods=131
42.07 => wckTime=41.168 cpuTime=40.73 mem=15M382
59.67
59.67 search
59.67 run=21 nbConstraintChecks=369889040 nbPropagations=13358224 nbRevisions=207685395 nbUselessRevisions=170218939
59.67 nbAssignments=232308 nbFailedAssignments=82481 nbBacktracks=149636 nbVisitedNodes=390326 nbRestartNogoods=145
59.67 => wckTime=58.767 cpuTime=58.18 mem=15M382
88.76
88.76 search
88.76 run=22 nbConstraintChecks=554314646 nbPropagations=19928299 nbRevisions=310393744 nbUselessRevisions=254600693
88.76 nbAssignments=349309 nbFailedAssignments=124658 nbBacktracks=224454 nbVisitedNodes=586784 nbRestartNogoods=154
88.76 => wckTime=87.856 cpuTime=87.03 mem=15M382
132.46
132.46 search
132.46 run=23 nbConstraintChecks=831687049 nbPropagations=29731532 nbRevisions=463520000 nbUselessRevisions=380339236
132.46 nbAssignments=521556 nbFailedAssignments=184667 nbBacktracks=336681 nbVisitedNodes=874646 nbRestartNogoods=160
132.46 => wckTime=131.565 cpuTime=130.35 mem=15M382
192.34
192.34 search
192.35 run=24 nbConstraintChecks=1192477124 nbPropagations=44165969 nbRevisions=688552878 nbUselessRevisions=565533134
192.35 nbAssignments=777826 nbFailedAssignments=272583 nbBacktracks=505026 nbVisitedNodes=1301766 nbRestartNogoods=173
192.35 => wckTime=191.446 cpuTime=189.69 mem=15M382
293.49
293.49 search
293.49 run=25 nbConstraintChecks=1841767470 nbPropagations=66050760 nbRevisions=1030450810
293.49 nbUselessRevisions=846617162 nbAssignments=1167680 nbFailedAssignments=409915 nbBacktracks=757538
293.49 nbVisitedNodes=1956906 nbRestartNogoods=185
293.49 => wckTime=292.586 cpuTime=289.93 mem=15M382
435.51
435.51 search
435.51 run=26 nbConstraintChecks=2705509416 nbPropagations=98802343 nbRevisions=1543588243
435.51 nbUselessRevisions=1269604942 nbAssignments=1753865 nbFailedAssignments=617319 nbBacktracks=1136305
435.51 nbVisitedNodes=2944325 nbRestartNogoods=201
435.51 => wckTime=434.614 cpuTime=430.69 mem=15M382
678.34
678.34 search
678.34 run=27 nbConstraintChecks=4291374636 nbPropagations=149299298 nbRevisions=2338892178
678.34 nbUselessRevisions=1924013326 nbAssignments=2660366 nbFailedAssignments=955658 nbBacktracks=1704456
678.34 nbVisitedNodes=4488071 nbRestartNogoods=219
678.34 => wckTime=677.443 cpuTime=671.44 mem=15M382
1016.91
1016.91 search
1016.91 run=28 nbConstraintChecks=6449663783 nbPropagations=224591764 nbRevisions=3522584148
1016.91 nbUselessRevisions=2897084868 nbAssignments=3968068 nbFailedAssignments=1411126 nbBacktracks=2556685
1016.91 nbVisitedNodes=6673717 nbRestartNogoods=237
1016.91 => wckTime=1016.011 cpuTime=1007.06 mem=15M382
1515.95
1515.95 search
1515.95 run=29 nbConstraintChecks=9586930967 nbPropagations=337837515 nbRevisions=5310058176
1515.95 nbUselessRevisions=4369916774 nbAssignments=5958662 nbFailedAssignments=2123368 nbBacktracks=3835025
1515.95 nbVisitedNodes=10035028 nbRestartNogoods=250
1515.95 => wckTime=1515.055 cpuTime=1503.15 mem=16M358
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-194586-1168069385 -o ROOT/results/node21/solver-194586-1168069385 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194586-1168069385/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.31 1.76 1.79 4/86 18932
/proc/meminfo: memFree=1597800/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=18540 CPUtime=0
/proc/18931/stat : 18931 (runsolver) R 18929 18931 18714 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155333628 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18931/statm: 4635 279 244 17 0 2626 0
[startup+0.104438 s]
/proc/loadavg: 1.31 1.76 1.79 4/86 18932
/proc/meminfo: memFree=1597800/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=914988 CPUtime=0.08
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 2955 0 1 0 7 1 0 0 24 0 8 0 155333628 936947712 2701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228747 2701 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512515 s]
/proc/loadavg: 1.31 1.76 1.79 4/86 18932
/proc/meminfo: memFree=1597800/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915328 CPUtime=0.47
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 6986 0 1 0 44 3 0 0 25 0 8 0 155333628 937295872 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228832 6725 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33867 s]
/proc/loadavg: 1.36 1.76 1.79 3/93 18939
/proc/meminfo: memFree=1569840/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1.29
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9638 0 1 0 123 6 0 0 25 0 8 0 155333628 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9376 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.19
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 380 0 0 0 19 0 0 0 15 0 8 0 155333636 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.97997 s]
/proc/loadavg: 1.36 1.76 1.79 3/93 18939
/proc/meminfo: memFree=1569584/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=2.92
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9656 0 1 0 286 6 0 0 25 0 8 0 155333628 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9392 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.23
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 155333636 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.2716 s]
/proc/loadavg: 1.36 1.76 1.79 3/93 18939
/proc/meminfo: memFree=1569008/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=6.18
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9658 0 1 0 612 6 0 0 25 0 8 0 155333628 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9393 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.23
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7488 s]
/proc/loadavg: 1.46 1.77 1.79 3/93 18939
/proc/meminfo: memFree=1567856/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=12.61
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9658 0 1 0 1255 6 0 0 25 0 8 0 155333628 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9393 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.23
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5942 s]
/proc/loadavg: 1.54 1.78 1.79 3/93 18939
/proc/meminfo: memFree=1566064/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=25.35
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9658 0 1 0 2529 6 0 0 25 0 8 0 155333628 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9393 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.23
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.1991 s]
/proc/loadavg: 1.70 1.79 1.80 3/93 18939
/proc/meminfo: memFree=1562992/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=50.72
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9659 0 1 0 5066 6 0 0 25 0 8 0 155333628 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9393 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.23
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915460
[startup+102.408 s]
/proc/loadavg: 1.88 1.83 1.81 3/93 18939
/proc/meminfo: memFree=1556208/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=101.51
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9659 0 1 0 10145 6 0 0 25 0 8 0 155333628 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9393 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.23
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) R 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915460
[startup+162.441 s]
/proc/loadavg: 1.95 1.85 1.82 3/93 18939
/proc/meminfo: memFree=1546288/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=161
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9659 0 1 0 16094 6 0 0 25 0 8 0 155333628 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.99
Current children cumulated vsize (KiB) 915460
[startup+1483.42 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1471.72
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9660 0 1 0 147150 22 0 0 25 0 8 0 155333628 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9394 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.72
Current children cumulated vsize (KiB) 915460
[startup+1543.46 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1531.47
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9661 0 1 0 153124 23 0 0 25 0 8 0 155333628 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9395 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.47
Current children cumulated vsize (KiB) 915460
[startup+1603.51 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1591.22
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9661 0 1 0 159099 23 0 0 25 0 8 0 155333628 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9395 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.22
Current children cumulated vsize (KiB) 915460
[startup+1663.56 s]
/proc/loadavg: 2.04 2.00 1.92 3/100 19194
/proc/meminfo: memFree=1666960/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1650.96
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9661 0 1 0 165072 24 0 0 25 0 8 0 155333628 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9395 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.96
Current children cumulated vsize (KiB) 915460
[startup+1723.6 s]
/proc/loadavg: 2.12 2.03 1.93 3/100 19194
/proc/meminfo: memFree=1666960/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1710.71
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9661 0 1 0 171046 25 0 0 25 0 8 0 155333628 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9395 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.71
Current children cumulated vsize (KiB) 915460
[startup+1783.64 s]
/proc/loadavg: 1.95 2.00 1.93 2/88 19208
/proc/meminfo: memFree=1754568/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1770.46
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9661 0 1 0 177021 25 0 0 25 0 8 0 155333628 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18931/statm: 228865 9395 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.26 s]
/proc/loadavg: 2.03 2.02 1.93 3/90 19258
/proc/meminfo: memFree=1576576/2055920 swapFree=4192812/4192956
[pid=18931] ppid=18929 vsize=915460 CPUtime=1800.02
/proc/18931/stat : 18931 (java) R 18929 18931 18714 0 -1 0 9661 0 1 0 179973 29 0 0 25 0 8 0 155333628 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18931/statm: 228865 9395 2513 14 0 215335 0
[pid=18931/tid=18933] ppid=18929 vsize=915460 CPUtime=0.03
/proc/18931/task/18933/stat : 18933 (java) S 18929 18931 18714 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 155333632 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18934] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18934/stat : 18934 (java) S 18929 18931 18714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18935] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18935/stat : 18935 (java) S 18929 18931 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155333633 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18936] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18936/stat : 18936 (java) S 18929 18931 18714 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18937] ppid=18929 vsize=915460 CPUtime=0.24
/proc/18931/task/18937/stat : 18937 (java) S 18929 18931 18714 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18938] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18938/stat : 18938 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18931/tid=18939] ppid=18929 vsize=915460 CPUtime=0
/proc/18931/task/18939/stat : 18939 (java) S 18929 18931 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155333636 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 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): 1813.3
CPU time (s): 1800.07
CPU user time (s): 1799.76
CPU system time (s): 0.300954
CPU usage (%): 99.2704
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.300954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9680
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= 37864
involuntary context switches= 72420
runsolver used 1.9827 s user time and 5.00924 s system time
The end
Begin job on node21 on Sat Jan 6 07:43:09 UTC 2007
IDJOB= 194586
IDBENCH= 3222
FILE ID= node21/194586-1168069385
PBS_JOBID= 3475916
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-36_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194586-1168069385/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-194586-1168069385 -o ROOT/results/node21/solver-194586-1168069385 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194586-1168069385/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5cc70c955c6649b65336a874a22bcadf
RANDOM SEED= 109623205
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.261
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.261
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: 1598856 kB
Buffers: 26264 kB
Cached: 110008 kB
SwapCached: 0 kB
Active: 293496 kB
Inactive: 92088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1598856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2176 kB
Writeback: 0 kB
Mapped: 271732 kB
Slab: 56068 kB
Committed_AS: 3072560 kB
PageTables: 2552 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= 66488 MiB
End job on node21 on Sat Jan 6 08:13:30 UTC 2007