0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/194776-1168069523/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.109 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.73 nbConstraints=461 nbRelationTypes=461 nbExtensionStructures=461 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=461 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2446 maxDegree=25
0.73 maxArity=2
0.73 => wckTime=0.406 cpuTime=0.3 mem=17M778
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.61 cpuTime=0.42 mem=15M353
0.94
0.94 preprocessing
0.94 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.94 detectedInconsistency=no
0.94 => wckTime=0.0080 cpuTime=0.01 mem=15M353
0.99
0.99 search
0.99 run=0 nbConstraintChecks=42776 nbPropagations=510 nbRevisions=5646 nbUselessRevisions=4642 nbAssignments=23
0.99 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.059 cpuTime=0.04 mem=15M353
1.02
1.02 search
1.02 run=1 nbConstraintChecks=104707 nbPropagations=1683 nbRevisions=19585 nbUselessRevisions=15946
1.02 nbAssignments=56 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=81 nbRestartNogoods=2 mapSize=17
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.089 cpuTime=0.06 mem=15M353
1.04
1.04 search
1.04 run=2 nbConstraintChecks=162768 nbPropagations=3562 nbRevisions=42290 nbUselessRevisions=34540
1.04 nbAssignments=98 nbFailedAssignments=22 nbBacktracks=50 nbVisitedNodes=141 nbRestartNogoods=4 mapSize=32
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.11 cpuTime=0.07 mem=15M353
1.07
1.07 search
1.07 run=3 nbConstraintChecks=263768 nbPropagations=6611 nbRevisions=80928 nbUselessRevisions=66110
1.07 nbAssignments=158 nbFailedAssignments=38 nbBacktracks=85 nbVisitedNodes=233 nbRestartNogoods=6 mapSize=55
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.133 cpuTime=0.1 mem=15M353
1.10
1.10 search
1.10 run=4 nbConstraintChecks=405418 nbPropagations=11294 nbRevisions=142622 nbUselessRevisions=116456
1.10 nbAssignments=240 nbFailedAssignments=62 nbBacktracks=135 nbVisitedNodes=365 nbRestartNogoods=11 mapSize=90
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.165 cpuTime=0.13 mem=15M353
1.15
1.15 search
1.15 run=5 nbConstraintChecks=638401 nbPropagations=18425 nbRevisions=239458 nbUselessRevisions=194937
1.15 nbAssignments=364 nbFailedAssignments=102 nbBacktracks=211 nbVisitedNodes=561 nbRestartNogoods=17 mapSize=140
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.219 cpuTime=0.17 mem=15M353
1.22
1.22 search
1.22 run=6 nbConstraintChecks=969186 nbPropagations=29453 nbRevisions=393652 nbUselessRevisions=320303
1.22 nbAssignments=551 nbFailedAssignments=166 nbBacktracks=324 nbVisitedNodes=880 nbRestartNogoods=22 mapSize=234
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.286 cpuTime=0.23 mem=15M353
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1479372 nbPropagations=45657 nbRevisions=623246 nbUselessRevisions=505848
1.31 nbAssignments=822 nbFailedAssignments=258 nbBacktracks=494 nbVisitedNodes=1323 nbRestartNogoods=26 mapSize=357
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.378 cpuTime=0.33 mem=15M353
1.46
1.46 search
1.46 run=8 nbConstraintChecks=2236362 nbPropagations=70112 nbRevisions=975431 nbUselessRevisions=790641
1.46 nbAssignments=1242 nbFailedAssignments=413 nbBacktracks=750 nbVisitedNodes=2024 nbRestartNogoods=37
1.46 mapSize=561 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.528 cpuTime=0.47 mem=15M353
1.70
1.70 search
1.70 run=9 nbConstraintChecks=3433197 nbPropagations=107554 nbRevisions=1531496 nbUselessRevisions=1242677
1.70 nbAssignments=1883 nbFailedAssignments=662 nbBacktracks=1134 nbVisitedNodes=3115 nbRestartNogoods=41
1.70 mapSize=875 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.765 cpuTime=0.69 mem=15M353
1.81
1.81 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=15M353)
2.04
2.04 search
2.04 run=10 nbConstraintChecks=5561740 nbPropagations=166718 nbRevisions=2424923 nbUselessRevisions=1968519
2.04 nbAssignments=2902 nbFailedAssignments=1095 nbBacktracks=1711 nbVisitedNodes=4913 nbRestartNogoods=51
2.04 => wckTime=1.107 cpuTime=1.02 mem=15M353
2.49
2.49 search
2.49 run=11 nbConstraintChecks=8482812 nbPropagations=256214 nbRevisions=3774856 nbUselessRevisions=3062600
2.49 nbAssignments=4321 nbFailedAssignments=1643 nbBacktracks=2575 nbVisitedNodes=7370 nbRestartNogoods=57
2.49 => wckTime=1.562 cpuTime=1.46 mem=15M353
3.15
3.15 search
3.15 run=12 nbConstraintChecks=12679747 nbPropagations=390173 nbRevisions=5801503 nbUselessRevisions=4704468
3.15 nbAssignments=6477 nbFailedAssignments=2492 nbBacktracks=3873 nbVisitedNodes=11077 nbRestartNogoods=66
3.15 => wckTime=2.217 cpuTime=2.11 mem=15M353
4.11
4.11 search
4.11 run=13 nbConstraintChecks=18808881 nbPropagations=590551 nbRevisions=8826241 nbUselessRevisions=7151747
4.11 nbAssignments=9704 nbFailedAssignments=3765 nbBacktracks=5819 nbVisitedNodes=16659 nbRestartNogoods=75
4.11 => wckTime=3.176 cpuTime=3.06 mem=15M353
5.46
5.46 search
5.46 run=14 nbConstraintChecks=27576780 nbPropagations=884670 nbRevisions=13288587 nbUselessRevisions=10759814
5.46 nbAssignments=14415 nbFailedAssignments=5549 nbBacktracks=8738 nbVisitedNodes=24714 nbRestartNogoods=85
5.46 => wckTime=4.53 cpuTime=4.4 mem=15M353
7.62
7.62 search
7.62 run=15 nbConstraintChecks=41400720 nbPropagations=1328909 nbRevisions=20050109 nbUselessRevisions=16232205
7.62 nbAssignments=21816 nbFailedAssignments=8564 nbBacktracks=13117 nbVisitedNodes=37572 nbRestartNogoods=94
7.62 => wckTime=6.687 cpuTime=6.53 mem=15M353
10.62
10.62 search
10.62 run=16 nbConstraintChecks=59944696 nbPropagations=1983164 nbRevisions=30036974 nbUselessRevisions=24323619
10.62 nbAssignments=32431 nbFailedAssignments=12599 nbBacktracks=19685 nbVisitedNodes=55745 nbRestartNogoods=101
10.62 => wckTime=9.687 cpuTime=9.5 mem=15M353
15.72
15.72 search
15.72 run=17 nbConstraintChecks=92466064 nbPropagations=2987866 nbRevisions=45379295 nbUselessRevisions=36757417
15.72 nbAssignments=49311 nbFailedAssignments=19616 nbBacktracks=29540 nbVisitedNodes=85279 nbRestartNogoods=111
15.72 => wckTime=14.789 cpuTime=14.56 mem=15M353
22.88
22.88 search
22.88 run=18 nbConstraintChecks=137585462 nbPropagations=4493226 nbRevisions=68475863 nbUselessRevisions=55489302
22.88 nbAssignments=74148 nbFailedAssignments=29664 nbBacktracks=44320 nbVisitedNodes=128326 nbRestartNogoods=121
22.88 => wckTime=21.946 cpuTime=21.65 mem=15M353
33.45
33.45 search
33.45 run=19 nbConstraintChecks=204565081 nbPropagations=6734810 nbRevisions=102730099 nbUselessRevisions=83259475
33.45 nbAssignments=110774 nbFailedAssignments=44113 nbBacktracks=66489 nbVisitedNodes=191283 nbRestartNogoods=131
33.45 => wckTime=32.518 cpuTime=32.13 mem=15M353
49.00
49.00 search
49.00 run=20 nbConstraintChecks=304522568 nbPropagations=10063468 nbRevisions=153339001 nbUselessRevisions=124262593
49.00 nbAssignments=164411 nbFailedAssignments=64488 nbBacktracks=99744 nbVisitedNodes=283026 nbRestartNogoods=145
49.00 => wckTime=48.069 cpuTime=47.54 mem=15M353
73.48
73.48 search
73.48 run=21 nbConstraintChecks=460420661 nbPropagations=15076827 nbRevisions=229797892 nbUselessRevisions=186238217
73.48 nbAssignments=247452 nbFailedAssignments=97642 nbBacktracks=149622 nbVisitedNodes=426376 nbRestartNogoods=160
73.48 => wckTime=72.551 cpuTime=71.8 mem=15M353
109.92
109.92 search
109.92 run=22 nbConstraintChecks=695394746 nbPropagations=22598294 nbRevisions=344348633 nbUselessRevisions=279055077
109.92 nbAssignments=370601 nbFailedAssignments=145965 nbBacktracks=224441 nbVisitedNodes=637756 nbRestartNogoods=175
109.92 => wckTime=108.988 cpuTime=107.9 mem=15M353
161.90
161.90 search
161.90 run=23 nbConstraintChecks=1018615304 nbPropagations=33743058 nbRevisions=514289538 nbUselessRevisions=416913804
161.90 nbAssignments=551834 nbFailedAssignments=214960 nbBacktracks=336670 nbVisitedNodes=948213 nbRestartNogoods=190
161.90 => wckTime=160.963 cpuTime=159.39 mem=15M353
246.58
246.58 search
246.58 run=24 nbConstraintChecks=1571236542 nbPropagations=50674908 nbRevisions=773266517 nbUselessRevisions=626926734
246.58 nbAssignments=832290 nbFailedAssignments=327068 nbBacktracks=505011 nbVisitedNodes=1433177 nbRestartNogoods=206
246.58 => wckTime=245.646 cpuTime=243.31 mem=15M353
366.60
366.60 search
366.60 run=25 nbConstraintChecks=2329202834 nbPropagations=75973977 nbRevisions=1160501476
366.60 nbUselessRevisions=941119186 nbAssignments=1245339 nbFailedAssignments=487598 nbBacktracks=757524
366.60 nbVisitedNodes=2144593 nbRestartNogoods=224
366.60 => wckTime=365.663 cpuTime=362.23 mem=15M353
550.97
550.97 search
550.97 run=26 nbConstraintChecks=3510373501 nbPropagations=113931464 nbRevisions=1742970690
550.97 nbUselessRevisions=1413887141 nbAssignments=1868475 nbFailedAssignments=731957 nbBacktracks=1136293
550.97 nbVisitedNodes=3215403 nbRestartNogoods=240
550.97 => wckTime=550.034 cpuTime=545.62 mem=15M353
814.12
814.12 search
814.12 run=27 nbConstraintChecks=5274392788 nbPropagations=170737595 nbRevisions=2618141147
814.12 nbUselessRevisions=2124931648 nbAssignments=2800841 nbFailedAssignments=1096161 nbBacktracks=1704447
814.12 nbVisitedNodes=4821864 nbRestartNogoods=262
814.12 => wckTime=813.183 cpuTime=808.03 mem=15M353
1207.77
1207.77 search
1207.77 run=28 nbConstraintChecks=7967670547 nbPropagations=256527149 nbRevisions=3944976926
1207.77 nbUselessRevisions=3204282275 nbAssignments=4230611 nbFailedAssignments=1673696 nbBacktracks=2556673
1207.77 nbVisitedNodes=7297624 nbRestartNogoods=282
1207.77 => wckTime=1206.834 cpuTime=1201.23 mem=16M328
1788.46
1788.47 search
1788.47 run=29 nbConstraintChecks=11977567357 nbPropagations=385232207 nbRevisions=5932102949
1788.47 nbUselessRevisions=4819694563 nbAssignments=6349886 nbFailedAssignments=2514622 nbBacktracks=3835014
1788.47 nbVisitedNodes=10955304 nbRestartNogoods=294
1788.47 => wckTime=1787.532 cpuTime=1781.35 mem=16M328
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-194776-1168069523 -o ROOT/results/node7/solver-194776-1168069523 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194776-1168069523/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.83 1.76 1.83 2/93 17246
/proc/meminfo: memFree=1375720/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=18540 CPUtime=0
/proc/17245/stat : 17245 (runsolver) R 17243 17245 17178 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155347727 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17245/statm: 4635 279 244 17 0 2626 0
[startup+0.102579 s]
/proc/loadavg: 1.83 1.76 1.83 2/93 17246
/proc/meminfo: memFree=1375720/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=913236 CPUtime=0.07
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 2920 0 1 0 6 1 0 0 17 0 8 0 155347727 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913236
[startup+0.512113 s]
/proc/loadavg: 1.83 1.76 1.83 2/93 17246
/proc/meminfo: memFree=1375720/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915328 CPUtime=0.47
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 6773 0 1 0 43 4 0 0 18 0 8 0 155347727 937295872 6512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228832 6512 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3407 s]
/proc/loadavg: 1.83 1.76 1.83 3/100 17253
/proc/meminfo: memFree=1348272/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1.3
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9581 0 1 0 123 7 0 0 24 0 8 0 155347727 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9319 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.22
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 155347735 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.99488 s]
/proc/loadavg: 1.83 1.76 1.83 3/100 17253
/proc/meminfo: memFree=1348080/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=2.93
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9598 0 1 0 286 7 0 0 25 0 8 0 155347727 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9335 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 395 0 0 0 25 1 0 0 15 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27422 s]
/proc/loadavg: 1.85 1.76 1.83 3/100 17253
/proc/meminfo: memFree=1348016/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=6.18
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9599 0 1 0 611 7 0 0 25 0 8 0 155347727 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9335 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 395 0 0 0 25 1 0 0 15 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7639 s]
/proc/loadavg: 1.86 1.76 1.83 3/100 17253
/proc/meminfo: memFree=1348016/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=12.61
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9599 0 1 0 1254 7 0 0 25 0 8 0 155347727 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9335 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6083 s]
/proc/loadavg: 1.89 1.77 1.83 3/100 17253
/proc/meminfo: memFree=1348080/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=25.33
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9601 0 1 0 2526 7 0 0 25 0 8 0 155347727 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9336 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 396 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915460
[startup+51.2229 s]
/proc/loadavg: 1.93 1.79 1.83 3/100 17253
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=50.72
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9601 0 1 0 5064 8 0 0 25 0 8 0 155347727 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9336 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 396 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915460
[startup+102.447 s]
/proc/loadavg: 1.97 1.82 1.84 3/100 17253
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=101.47
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9601 0 1 0 10139 8 0 0 25 0 8 0 155347727 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856530 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17245/statm: 228865 9336 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 396 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915460
[startup+162.52 s]
/proc/loadavg: 1.99 1.85 1.85 3/100 17253
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=160.99
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9601 0 1 0 16091 8 0 0 25 0 8 0 155347727 937431040 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.85
Current children cumulated vsize (KiB) 915460
[startup+1483.73 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 17507
/proc/meminfo: memFree=1286768/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1477.88
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 147762 26 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 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+1543.82 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 17507
/proc/meminfo: memFree=1286768/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1537.92
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 153766 26 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.92
Current children cumulated vsize (KiB) 915460
[startup+1603.92 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 17507
/proc/meminfo: memFree=1286704/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1597.97
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 159770 27 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.97
Current children cumulated vsize (KiB) 915460
[startup+1664.02 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 17507
/proc/meminfo: memFree=1286768/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1657.99
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 165772 27 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835285 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.99
Current children cumulated vsize (KiB) 915460
[startup+1724.12 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 17507
/proc/meminfo: memFree=1286704/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1718.03
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 171776 27 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.03
Current children cumulated vsize (KiB) 915460
[startup+1784.12 s]
/proc/loadavg: 2.03 2.01 1.93 3/100 17507
/proc/meminfo: memFree=1286704/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1777.98
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 177771 27 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.26
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.98
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.24 s]
/proc/loadavg: 2.02 2.01 1.93 3/100 17507
/proc/meminfo: memFree=1286704/2055920 swapFree=4192812/4192956
[pid=17245] ppid=17243 vsize=915460 CPUtime=1800.08
/proc/17245/stat : 17245 (java) R 17243 17245 17178 0 -1 0 9602 0 1 0 179981 27 0 0 25 0 8 0 155347727 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17245/statm: 228865 9337 2513 14 0 215335 0
[pid=17245/tid=17247] ppid=17243 vsize=915460 CPUtime=0.03
/proc/17245/task/17247/stat : 17247 (java) S 17243 17245 17178 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155347731 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17245/tid=17248] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17248/stat : 17248 (java) S 17243 17245 17178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17249] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17249/stat : 17249 (java) S 17243 17245 17178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155347732 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17250] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17250/stat : 17250 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17251] ppid=17243 vsize=915460 CPUtime=0.27
/proc/17245/task/17251/stat : 17251 (java) S 17243 17245 17178 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17245/tid=17252] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17252/stat : 17252 (java) S 17243 17245 17178 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17245/tid=17253] ppid=17243 vsize=915460 CPUtime=0
/proc/17245/task/17253/stat : 17253 (java) S 17243 17245 17178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155347735 937431040 9337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.29
CPU time (s): 1800.13
CPU user time (s): 1799.85
CPU system time (s): 0.281957
CPU usage (%): 99.659
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.281957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9619
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= 37649
involuntary context switches= 62472
runsolver used 2.13967 s user time and 5.86311 s system time
The end
Begin job on node7 on Sat Jan 6 07:45:23 UTC 2007
IDJOB= 194776
IDBENCH= 3232
FILE ID= node7/194776-1168069523
PBS_JOBID= 3475711
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-48_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194776-1168069523/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-194776-1168069523 -o ROOT/results/node7/solver-194776-1168069523 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194776-1168069523/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 529559ba4f0fd52609f186b937ae9456
RANDOM SEED= 424171105
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.220
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.220
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: 1376200 kB
Buffers: 78532 kB
Cached: 409708 kB
SwapCached: 0 kB
Active: 338444 kB
Inactive: 238488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1376200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2216 kB
Writeback: 0 kB
Mapped: 116736 kB
Slab: 87412 kB
Committed_AS: 5032608 kB
PageTables: 2464 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 node7 on Sat Jan 6 08:15:29 UTC 2007