0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/237580-1168349332/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.60 nbVariables=2601 nbDomainTypes=1 minDomainSize=51 maxDomainSize=51
0.60 => wckTime=0.292 cpuTime=0.2 mem=14M698
0.60
0.60 predicates being loaded...
0.61
0.61 constraints being loaded...
8.04 nbConstraints=65075 nbConvertedConstraints=65075 nbConvertConstraintsChecks=10404 nbExtensionStructures=4
8.04 nbSharedExtensionStructures=65071 nbConflictsStructures=4 nbSharedConflictsStructures=65071
8.04 nbSharedBinaryRepresentations=305 maxDegree=51 maxArity=2
8.04 => wckTime=7.732 cpuTime=6.72 mem=77M287
8.42
8.42 solver IterativeSystematicSolver being built...
8.75 => wckTime=8.44 cpuTime=6.99 mem=82M601
47.19
47.19 preprocessing
47.19 nbConstraintChecks=2738154 nbPropagations=79188 nbRevisions=82132 nbUselessRevisions=7162 nbSingletonTests=2798
47.19 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
47.19 => wckTime=38.421 cpuTime=38.14 mem=82M601
48.05
48.05 search
48.05 run=0 nbConstraintChecks=263840 nbPropagations=85684 nbRevisions=88668 nbUselessRevisions=7293
48.05 nbAssignments=165 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=184 nbRestartNogoods=0 mapSize=11
48.05 nbInferences=0 nbTooLargeKeys=0
48.05 => wckTime=39.286 cpuTime=38.99 mem=85M636
48.50
48.50 search
48.50 run=1 nbConstraintChecks=523342 nbPropagations=177873 nbRevisions=183873 nbUselessRevisions=14694
48.50 nbAssignments=340 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=387 nbRestartNogoods=3 mapSize=26
48.50 nbInferences=0 nbTooLargeKeys=0
48.50 => wckTime=39.735 cpuTime=39.44 mem=88M654
48.95
48.95 search
48.95 run=2 nbConstraintChecks=783198 nbPropagations=276633 nbRevisions=285689 nbUselessRevisions=22207
48.95 nbAssignments=528 nbFailedAssignments=43 nbBacktracks=48 nbVisitedNodes=615 nbRestartNogoods=6 mapSize=48
48.95 nbInferences=0 nbTooLargeKeys=0
48.95 => wckTime=40.192 cpuTime=39.89 mem=90M666
49.44
49.44 search
49.44 run=3 nbConstraintChecks=1043351 nbPropagations=382045 nbRevisions=394199 nbUselessRevisions=29836
49.44 nbAssignments=735 nbFailedAssignments=70 nbBacktracks=81 nbVisitedNodes=877 nbRestartNogoods=11 mapSize=81
49.44 nbInferences=1 nbTooLargeKeys=0
49.44 => wckTime=40.673 cpuTime=40.37 mem=93M684
49.96
49.96 search
49.96 run=4 nbConstraintChecks=1304005 nbPropagations=494244 nbRevisions=509531 nbUselessRevisions=37580
49.96 nbAssignments=972 nbFailedAssignments=107 nbBacktracks=132 nbVisitedNodes=1193 nbRestartNogoods=15 mapSize=132
49.96 nbInferences=6 nbTooLargeKeys=0
49.96 => wckTime=41.198 cpuTime=40.89 mem=96M703
50.56
50.56 search
50.56 run=5 nbConstraintChecks=1565437 nbPropagations=613459 nbRevisions=631891 nbUselessRevisions=45440
50.56 nbAssignments=1257 nbFailedAssignments=156 nbBacktracks=207 nbVisitedNodes=1593 nbRestartNogoods=19
50.56 mapSize=207 nbInferences=23 nbTooLargeKeys=0
50.56 => wckTime=41.798 cpuTime=41.49 mem=100M727
51.30
51.30 search
51.30 run=6 nbConstraintChecks=1827670 nbPropagations=740009 nbRevisions=761589 nbUselessRevisions=53418
51.30 nbAssignments=1613 nbFailedAssignments=231 nbBacktracks=321 nbVisitedNodes=2121 nbRestartNogoods=21
51.30 mapSize=321 nbInferences=45 nbTooLargeKeys=0
51.30 => wckTime=42.541 cpuTime=42.18 mem=69M834
52.15
52.15 search
52.15 run=7 nbConstraintChecks=2091328 nbPropagations=874394 nbRevisions=899086 nbUselessRevisions=61516
52.15 nbAssignments=2078 nbFailedAssignments=338 nbBacktracks=491 nbVisitedNodes=2842 nbRestartNogoods=27
52.15 mapSize=491 nbInferences=87 nbTooLargeKeys=0
52.15 => wckTime=43.382 cpuTime=43.02 mem=76M455
53.23
53.23 search
53.23 run=8 nbConstraintChecks=2357172 nbPropagations=1017397 nbRevisions=1045089 nbUselessRevisions=69739
53.23 nbAssignments=2713 nbFailedAssignments=489 nbBacktracks=747 nbVisitedNodes=3862 nbRestartNogoods=35
53.23 mapSize=747 nbInferences=170 nbTooLargeKeys=0
53.23 => wckTime=44.467 cpuTime=44.1 mem=85M986
54.71
54.71 search
54.71 run=9 nbConstraintChecks=2626650 nbPropagations=1170302 nbRevisions=1200736 nbUselessRevisions=78088
54.71 nbAssignments=3617 nbFailedAssignments=707 nbBacktracks=1131 nbVisitedNodes=5358 nbRestartNogoods=42
54.71 mapSize=1131 nbInferences=326 nbTooLargeKeys=0
54.71 => wckTime=45.946 cpuTime=45.57 mem=100M363
56.88
56.88 search
56.88 run=10 nbConstraintChecks=2901381 nbPropagations=1335087 nbRevisions=1367728 nbUselessRevisions=86566
56.88 nbAssignments=4944 nbFailedAssignments=1017 nbBacktracks=1708 nbVisitedNodes=7602 nbRestartNogoods=47
56.88 mapSize=1706 nbInferences=623 nbTooLargeKeys=0
56.88 => wckTime=48.12 cpuTime=47.68 mem=101M681
60.11
60.11 search
60.11 run=11 nbConstraintChecks=3186184 nbPropagations=1515294 nbRevisions=1549153 nbUselessRevisions=95292
60.11 nbAssignments=6988 nbFailedAssignments=1433 nbBacktracks=2572 nbVisitedNodes=11098 nbRestartNogoods=53
60.11 mapSize=2569 nbInferences=1243 nbTooLargeKeys=0
60.11 => wckTime=51.348 cpuTime=50.92 mem=136M149
66.00
66.00 search
66.00 run=12 nbConstraintChecks=4014381 nbPropagations=1730304 nbRevisions=1763257 nbUselessRevisions=104696
66.00 nbAssignments=10568 nbFailedAssignments=1976 nbBacktracks=3869 nbVisitedNodes=16786 nbRestartNogoods=68
66.00 mapSize=3864 nbInferences=2553 nbTooLargeKeys=0
66.00 => wckTime=57.234 cpuTime=56.7 mem=148M59
74.67
74.67 search
74.67 run=13 nbConstraintChecks=4868056 nbPropagations=1988999 nbRevisions=2017142 nbUselessRevisions=114768
74.67 nbAssignments=15903 nbFailedAssignments=2740 nbBacktracks=5816 nbVisitedNodes=25558 nbRestartNogoods=79
74.67 mapSize=5810 nbInferences=4748 nbTooLargeKeys=0
74.67 => wckTime=65.909 cpuTime=65.33 mem=218M342
89.58
89.58 search
89.58 run=14 nbConstraintChecks=5530360 nbPropagations=2305135 nbRevisions=2319998 nbUselessRevisions=125506
89.58 nbAssignments=24553 nbFailedAssignments=3660 nbBacktracks=8735 nbVisitedNodes=40427 nbRestartNogoods=88
89.58 mapSize=8728 nbInferences=9271 nbTooLargeKeys=0
89.58 => wckTime=80.821 cpuTime=80.07 mem=271M512
112.49
112.49 search
112.49 run=15 nbConstraintChecks=6021136 nbPropagations=2698801 nbRevisions=2686346 nbUselessRevisions=137047
112.49 nbAssignments=37760 nbFailedAssignments=4920 nbBacktracks=13113 nbVisitedNodes=63580 nbRestartNogoods=95
112.49 mapSize=13104 nbInferences=16697 nbTooLargeKeys=0
112.49 => wckTime=103.724 cpuTime=102.77 mem=377M595
147.57
147.57 search
147.57 run=16 nbConstraintChecks=7402124 nbPropagations=3223788 nbRevisions=3162592 nbUselessRevisions=149998
147.57 nbAssignments=57982 nbFailedAssignments=6724 nbBacktracks=19681 nbVisitedNodes=98266 nbRestartNogoods=112
147.57 mapSize=19670 nbInferences=27978 nbTooLargeKeys=0
147.57 => wckTime=138.808 cpuTime=137.46 mem=502M70
172.79
172.79 search
172.79 run=17 nbConstraintChecks=9329705 nbPropagations=3930101 nbRevisions=3797242 nbUselessRevisions=166488
172.79 nbAssignments=85494 nbFailedAssignments=10640 nbBacktracks=29534 nbVisitedNodes=146443 nbRestartNogoods=126
172.79 mapSize=29396 nbInferences=41244 nbTooLargeKeys=0
172.79 => wckTime=164.024 cpuTime=162.57 mem=566M951
179.25
179.25 INFO : Stopping hyperNogood (mapSize=32369, nbTooLargekeys=0, mem=600M634)
189.70
189.70 search
189.70 run=18 nbConstraintChecks=9998829 nbPropagations=4759360 nbRevisions=4554805 nbUselessRevisions=183878
189.70 nbAssignments=111067 nbFailedAssignments=20720 nbBacktracks=44315 nbVisitedNodes=192669 nbRestartNogoods=137
189.70 => wckTime=180.933 cpuTime=179.36 mem=600M634
214.84
214.84 search
214.84 run=19 nbConstraintChecks=10960912 nbPropagations=5768381 nbRevisions=5494150 nbUselessRevisions=202751
214.84 nbAssignments=148721 nbFailedAssignments=36012 nbBacktracks=66483 nbVisitedNodes=260906 nbRestartNogoods=142
214.84 => wckTime=206.081 cpuTime=204.49 mem=600M634
254.13
254.13 search
254.13 run=20 nbConstraintChecks=12246454 nbPropagations=7043028 nbRevisions=6699991 nbUselessRevisions=222572
254.13 nbAssignments=204961 nbFailedAssignments=58709 nbBacktracks=99736 nbVisitedNodes=362442 nbRestartNogoods=158
254.13 => wckTime=245.364 cpuTime=243.72 mem=600M634
314.36
314.36 search
314.36 run=21 nbConstraintChecks=13874491 nbPropagations=8710169 nbRevisions=8301534 nbUselessRevisions=245472
314.36 nbAssignments=289517 nbFailedAssignments=93082 nbBacktracks=149614 nbVisitedNodes=515630 nbRestartNogoods=177
314.36 => wckTime=305.594 cpuTime=303.9 mem=600M634
404.58
404.58 search
404.58 run=22 nbConstraintChecks=15990101 nbPropagations=10959043 nbRevisions=10485588 nbUselessRevisions=269254
404.58 nbAssignments=416378 nbFailedAssignments=144811 nbBacktracks=224435 nbVisitedNodes=745828 nbRestartNogoods=191
404.58 => wckTime=395.822 cpuTime=394.04 mem=600M634
542.92
542.92 search
542.92 run=23 nbConstraintChecks=18664788 nbPropagations=14068586 nbRevisions=13531633 nbUselessRevisions=294147
542.92 nbAssignments=606542 nbFailedAssignments=222555 nbBacktracks=336662 nbVisitedNodes=1091479 nbRestartNogoods=202
542.92 => wckTime=534.159 cpuTime=532.23 mem=600M634
750.22
750.22 search
750.22 run=24 nbConstraintChecks=22553257 nbPropagations=18466301 nbRevisions=17869067 nbUselessRevisions=322317
750.22 nbAssignments=891684 nbFailedAssignments=339038 nbBacktracks=505003 nbVisitedNodes=1609461 nbRestartNogoods=218
750.22 => wckTime=741.456 cpuTime=739.3 mem=600M634
1064.09
1064.09 search
1064.09 run=25 nbConstraintChecks=28069867 nbPropagations=24780282 nbRevisions=24125792 nbUselessRevisions=353614
1064.09 nbAssignments=1317561 nbFailedAssignments=512092 nbBacktracks=757514 nbVisitedNodes=2381327
1064.09 nbRestartNogoods=238
1064.09 => wckTime=1055.332 cpuTime=1051.46 mem=600M634
1546.28
1546.28 search
1546.28 run=26 nbConstraintChecks=35787805 nbPropagations=33959469 nbRevisions=33250427 nbUselessRevisions=387555
1546.28 nbAssignments=1957026 nbFailedAssignments=772597 nbBacktracks=1136281 nbVisitedNodes=3541801
1546.28 nbRestartNogoods=270
1546.28 => wckTime=1537.515 cpuTime=1531.3 mem=600M634
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-237580-1168349332 -o ROOT/results/node61/solver-237580-1168349332 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237580-1168349332/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.92 1.98 1.99 2/81 20589
/proc/meminfo: memFree=1484752/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=907808 CPUtime=0.05
/proc/20588/stat : 20588 (java) D 20586 20588 19771 0 -1 0 2460 0 1 0 4 1 0 0 17 0 4 0 183331107 929595392 2207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 226952 2252 1232 14 0 214535 0
[pid=20588/tid=20590] ppid=20586 vsize=907808 CPUtime=0
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 183331111 929595392 2253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23755 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=907808 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 183331112 929595392 2253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=907808 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 4 0 0 0 0 0 0 0 20 0 4 0 183331112 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 1 0 0
[startup+0.102564 s]
/proc/loadavg: 1.92 1.98 1.99 2/81 20589
/proc/meminfo: memFree=1484752/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=914988 CPUtime=0.09
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 2994 0 1 0 7 2 0 0 17 0 8 0 183331107 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072923466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228747 2740 1427 14 0 215242 0
[pid=20588/tid=20590] ppid=20586 vsize=914988 CPUtime=0
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 183331111 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=914988 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183331112 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=914988 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183331112 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514636 s]
/proc/loadavg: 1.92 1.98 1.99 2/81 20589
/proc/meminfo: memFree=1484752/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915328 CPUtime=0.49
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 6706 0 1 0 44 5 0 0 18 0 8 0 183331107 937295872 6445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228832 6445 2138 14 0 215302 0
[pid=20588/tid=20590] ppid=20586 vsize=915328 CPUtime=0
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 183331111 937295872 6445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915328 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183331112 937295872 6445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915328 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183331112 937295872 6445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33879 s]
/proc/loadavg: 1.92 1.98 1.99 3/88 20596
/proc/meminfo: memFree=1419800/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915644 CPUtime=1.31
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 18573 0 1 0 120 11 0 0 25 0 8 0 183331107 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228911 18311 2160 14 0 215381 0
[pid=20588/tid=20590] ppid=20586 vsize=915644 CPUtime=0.05
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 2034 0 0 0 5 0 0 0 17 0 8 0 183331111 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915644 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915644 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915644 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915644 CPUtime=0.15
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 406 0 0 0 14 1 0 0 16 0 8 0 183331115 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915644 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915644 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937619456 18311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644
[startup+2.97607 s]
/proc/loadavg: 1.92 1.98 1.99 3/88 20596
/proc/meminfo: memFree=1405848/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915648 CPUtime=2.93
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 24313 0 1 0 274 19 0 0 25 0 8 0 183331107 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228912 24047 2180 14 0 215382 0
[pid=20588/tid=20590] ppid=20586 vsize=915648 CPUtime=0.35
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 7692 0 0 0 32 3 0 0 16 0 8 0 183331111 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915648 CPUtime=0.19
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 183331115 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937623552 24047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937623552 24047 18446744073709551615 134512640 134570532 4294956480 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) 915648
[startup+6.27766 s]
/proc/loadavg: 1.93 1.98 1.99 3/88 20596
/proc/meminfo: memFree=1384536/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915648 CPUtime=6.19
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 27350 0 1 0 424 195 0 0 25 0 8 0 183331107 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228912 27082 2180 14 0 215382 0
[pid=20588/tid=20590] ppid=20586 vsize=915648 CPUtime=0.53
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 10719 0 0 0 49 4 0 0 16 0 8 0 183331111 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915648 CPUtime=0.2
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 183331115 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915648 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937623552 27082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915648
[startup+12.7578 s]
/proc/loadavg: 1.93 1.98 1.99 3/88 20596
/proc/meminfo: memFree=1360992/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=12.61
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 33783 0 1 0 976 285 0 0 25 0 8 0 183331107 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228973 33381 2544 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=1.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 16593 0 0 0 104 6 0 0 16 0 8 0 183331111 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.32
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 530 0 0 0 30 2 0 0 16 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 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) 915892
[startup+25.626 s]
/proc/loadavg: 1.95 1.98 1.99 3/88 20596
/proc/meminfo: memFree=1361184/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=25.36
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 33784 0 1 0 2251 285 0 0 25 0 8 0 183331107 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20588/statm: 228973 33381 2544 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=1.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 16593 0 0 0 104 6 0 0 16 0 8 0 183331111 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.32
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 531 0 0 0 30 2 0 0 16 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 33381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915892
[startup+51.2585 s]
/proc/loadavg: 1.96 1.98 1.99 3/88 20671
/proc/meminfo: memFree=1684256/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=50.92
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 35218 0 1 0 4804 288 0 0 25 0 8 0 183331107 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074199303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 34810 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=1.12
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 17997 0 0 0 106 6 0 0 16 0 8 0 183331111 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.37
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 556 0 0 0 35 2 0 0 15 0 8 0 183331115 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 34810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915892
[startup+102.536 s]
/proc/loadavg: 1.98 1.98 1.99 3/88 20671
/proc/meminfo: memFree=1417248/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=102.12
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 94740 0 1 0 9900 312 0 0 25 0 8 0 183331107 937873408 94315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074224887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 94315 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=1.57
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 77493 0 0 0 128 29 0 0 16 0 8 0 183331111 937873408 94315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 94315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.96
Current children cumulated vsize (KiB) 915892
[startup+1483.13 s]
/proc/loadavg: 2.00 2.06 2.03 3/88 20832
/proc/meminfo: memFree=1239264/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1478
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 147448 352 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478
Current children cumulated vsize (KiB) 915892
[startup+1543.21 s]
/proc/loadavg: 2.00 2.05 2.03 3/88 20832
/proc/meminfo: memFree=1239200/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1538
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 153448 352 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538
Current children cumulated vsize (KiB) 915892
[startup+1603.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/88 20832
/proc/meminfo: memFree=1239200/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1598.04
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 159452 352 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.04
Current children cumulated vsize (KiB) 915892
[startup+1663.39 s]
/proc/loadavg: 2.00 2.03 2.02 3/88 20832
/proc/meminfo: memFree=1239200/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1658.08
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 165455 353 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.08
Current children cumulated vsize (KiB) 915892
[startup+1723.45 s]
/proc/loadavg: 2.04 2.03 2.02 3/88 20832
/proc/meminfo: memFree=1239136/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1718.07
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 171454 353 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.07
Current children cumulated vsize (KiB) 915892
[startup+1783.51 s]
/proc/loadavg: 2.01 2.03 2.01 3/88 20832
/proc/meminfo: memFree=1239072/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1778.07
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 177454 353 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.07
Current children cumulated vsize (KiB) 915892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.51 s]
/proc/loadavg: 2.01 2.02 2.01 3/88 20832
/proc/meminfo: memFree=1239072/2055920 swapFree=4192812/4192956
[pid=20588] ppid=20586 vsize=915892 CPUtime=1800.05
/proc/20588/stat : 20588 (java) R 20586 20588 19771 0 -1 0 158384 0 1 0 179652 353 0 0 25 0 8 0 183331107 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074149796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20588/statm: 228973 157945 2545 14 0 215443 0
[pid=20588/tid=20590] ppid=20586 vsize=915892 CPUtime=2.1
/proc/20588/task/20590/stat : 20590 (java) S 20586 20588 19771 0 -1 64 141121 0 0 0 157 53 0 0 16 0 8 0 183331111 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20591] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20591/stat : 20591 (java) S 20586 20588 19771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20592] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20592/stat : 20592 (java) S 20586 20588 19771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183331112 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20593] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20593/stat : 20593 (java) S 20586 20588 19771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20594] ppid=20586 vsize=915892 CPUtime=0.39
/proc/20588/task/20594/stat : 20594 (java) S 20586 20588 19771 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20588/tid=20595] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20595/stat : 20595 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20588/tid=20596] ppid=20586 vsize=915892 CPUtime=0
/proc/20588/task/20596/stat : 20596 (java) S 20586 20588 19771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183331115 937873408 157945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.66
CPU time (s): 1800.21
CPU user time (s): 1796.58
CPU system time (s): 3.62245
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 916148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 3.62245
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158400
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= 38428
involuntary context switches= 27170
runsolver used 2.31265 s user time and 5.86411 s system time
The end
Begin job on node61 on Tue Jan 9 13:28:53 UTC 2007
IDJOB= 237580
IDBENCH= 6950
FILE ID= node61/237580-1168349332
PBS_JOBID= 3503559
Free space on /tmp= 66513 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_51.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237580-1168349332/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-237580-1168349332 -o ROOT/results/node61/solver-237580-1168349332 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237580-1168349332/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7449812ad9d5b64f3fdae9e735635b0c
RANDOM SEED= 402056984
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.259
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.259
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: 1485232 kB
Buffers: 7964 kB
Cached: 83020 kB
SwapCached: 0 kB
Active: 471988 kB
Inactive: 48460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1485232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9572 kB
Writeback: 0 kB
Mapped: 447580 kB
Slab: 34904 kB
Committed_AS: 4793884 kB
PageTables: 2620 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= 66513 MiB
End job on node61 on Tue Jan 9 13:58:58 UTC 2007