0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/210723-1168201778/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.83 nbVariables=23837 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.83 => wckTime=0.508 cpuTime=0.4 mem=46M221
0.83
0.83 predicates being loaded...
0.85
0.85 constraints being loaded...
10.15 nbConstraints=65192 nbMergedConstraints=2375 nbSingletonDomainVariables=1222 nbConvertedConstraints=42668
10.15 nbConvertConstraintsChecks=136767 nbExtensionStructures=8 nbSharedExtensionStructures=42660
10.15 nbConflictsStructures=48 nbSharedConflictsStructures=65144 nbSharedBinaryRepresentations=19
10.15 nbEvaluationManagers=40 nbSharedEvaluationManagers=22484 maxDegree=450 maxArity=13
10.15 => wckTime=9.833 cpuTime=8.29 mem=228M870
10.53
10.53 solver IterativeSystematicSolver being built...
11.93 => wckTime=11.616 cpuTime=9.4 mem=248M450
322.17
322.17 INFO : Stopping ESAC
322.19
322.19 preprocessing
322.19 nbConstraintChecks=209473 nbValidityChecks=122510 nbPropagations=51516 nbRevisions=161881
322.19 nbUselessRevisions=147034 nbSingletonTests=13009 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
322.19 detectedInconsistency=no
322.19 => wckTime=310.225 cpuTime=310.08 mem=250M481
326.51
326.51 search
326.51 run=0 nbConstraintChecks=132111 nbValidityChecks=98293 nbPropagations=62848 nbRevisions=259781
326.51 nbUselessRevisions=233465 nbAssignments=106 nbFailedAssignments=2 nbBacktracks=12 nbVisitedNodes=111
326.51 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
326.51 => wckTime=314.563 cpuTime=314.38 mem=252M512
330.68
330.68 search
330.68 run=1 nbConstraintChecks=225534 nbValidityChecks=199501 nbPropagations=136924 nbRevisions=614320
330.68 nbUselessRevisions=550434 nbAssignments=212 nbFailedAssignments=4 nbBacktracks=28 nbVisitedNodes=221
330.68 nbRestartNogoods=1 mapSize=6 nbInferences=0 nbTooLargeKeys=0
330.68 => wckTime=318.734 cpuTime=318.55 mem=253M527
335.46
335.46 search
335.46 run=2 nbConstraintChecks=344847 nbValidityChecks=338759 nbPropagations=222280 nbRevisions=1083515
335.46 nbUselessRevisions=970705 nbAssignments=332 nbFailedAssignments=8 nbBacktracks=60 nbVisitedNodes=349
335.46 nbRestartNogoods=2 mapSize=13 nbInferences=0 nbTooLargeKeys=0
335.46 => wckTime=323.513 cpuTime=323.33 mem=253M527
341.07
341.07 search
341.07 run=3 nbConstraintChecks=485191 nbValidityChecks=521458 nbPropagations=318764 nbRevisions=1689073
341.07 nbUselessRevisions=1516092 nbAssignments=470 nbFailedAssignments=14 nbBacktracks=100 nbVisitedNodes=499
341.07 nbRestartNogoods=3 mapSize=23 nbInferences=0 nbTooLargeKeys=0
341.07 => wckTime=329.116 cpuTime=328.93 mem=254M542
347.39
347.39 search
347.39 run=4 nbConstraintChecks=767190 nbValidityChecks=725816 nbPropagations=426591 nbRevisions=2444072
347.39 nbUselessRevisions=2199457 nbAssignments=616 nbFailedAssignments=20 nbBacktracks=152 nbVisitedNodes=657
347.39 nbRestartNogoods=5 mapSize=33 nbInferences=0 nbTooLargeKeys=0
347.39 => wckTime=335.441 cpuTime=335.25 mem=255M558
356.06
356.06 search
356.06 run=5 nbConstraintChecks=1392200 nbValidityChecks=1028068 nbPropagations=545700 nbRevisions=3398015
356.06 nbUselessRevisions=3070234 nbAssignments=799 nbFailedAssignments=31 nbBacktracks=246 nbVisitedNodes=863
356.06 nbRestartNogoods=7 mapSize=55 nbInferences=0 nbTooLargeKeys=0
356.06 => wckTime=344.106 cpuTime=343.91 mem=256M573
365.48
365.48 search
365.48 run=6 nbConstraintChecks=1735109 nbValidityChecks=1427872 nbPropagations=677214 nbRevisions=4606092
365.48 nbUselessRevisions=4182274 nbAssignments=1019 nbFailedAssignments=47 nbBacktracks=370 nbVisitedNodes=1115
365.48 nbRestartNogoods=8 mapSize=86 nbInferences=0 nbTooLargeKeys=0
365.48 => wckTime=353.533 cpuTime=353.34 mem=257M589
379.40
379.40 search
379.40 run=7 nbConstraintChecks=2698787 nbValidityChecks=2016457 nbPropagations=821146 nbRevisions=6169095
379.40 nbUselessRevisions=5636276 nbAssignments=1304 nbFailedAssignments=70 nbBacktracks=551 nbVisitedNodes=1447
379.40 nbRestartNogoods=9 mapSize=131 nbInferences=0 nbTooLargeKeys=0
379.40 => wckTime=367.454 cpuTime=367.25 mem=259M620
397.03
397.03 search
397.03 run=8 nbConstraintChecks=3881749 nbValidityChecks=2798335 nbPropagations=976790 nbRevisions=8177622
397.03 nbUselessRevisions=7523291 nbAssignments=1673 nbFailedAssignments=105 nbBacktracks=809 nbVisitedNodes=1887
397.03 nbRestartNogoods=11 mapSize=200 nbInferences=0 nbTooLargeKeys=0
397.03 => wckTime=385.083 cpuTime=384.86 mem=261M650
421.99
421.99 search
421.99 run=9 nbConstraintChecks=5591104 nbValidityChecks=4028531 nbPropagations=1144664 nbRevisions=10852959
421.99 nbUselessRevisions=10063571 nbAssignments=2188 nbFailedAssignments=155 nbBacktracks=1193 nbVisitedNodes=2502
421.99 nbRestartNogoods=13 mapSize=296 nbInferences=0 nbTooLargeKeys=0
421.99 => wckTime=410.045 cpuTime=409.81 mem=263M681
457.49
457.49 search
457.49 run=10 nbConstraintChecks=7490508 nbValidityChecks=4900406 nbPropagations=1520835 nbRevisions=14896800
457.49 nbUselessRevisions=13749310 nbAssignments=3021 nbFailedAssignments=301 nbBacktracks=1769 nbVisitedNodes=3619
457.49 nbRestartNogoods=17 mapSize=574 nbInferences=0 nbTooLargeKeys=0
457.49 => wckTime=445.546 cpuTime=445.29 mem=269M774
531.23
531.23 search
531.23 run=11 nbConstraintChecks=8683575 nbValidityChecks=5712942 nbPropagations=2046963 nbRevisions=20034744
531.23 nbUselessRevisions=18371044 nbAssignments=4679 nbFailedAssignments=391 nbBacktracks=2634 nbVisitedNodes=5381
531.23 nbRestartNogoods=23 mapSize=933 nbInferences=127 nbTooLargeKeys=0
531.23 => wckTime=519.28 cpuTime=519.01 mem=279M928
633.40
633.40 search
633.40 run=12 nbConstraintChecks=10393775 nbValidityChecks=7304862 nbPropagations=2810620 nbRevisions=27011173
633.40 nbUselessRevisions=24590600 nbAssignments=8101 nbFailedAssignments=503 nbBacktracks=3937 nbVisitedNodes=7560
633.40 nbRestartNogoods=39 mapSize=1343 nbInferences=287 nbTooLargeKeys=0
633.40 => wckTime=621.451 cpuTime=621.08 mem=258M603
744.89
744.89 search
744.89 run=13 nbConstraintChecks=12315496 nbValidityChecks=8981528 nbPropagations=3743688 nbRevisions=35676079
744.89 nbUselessRevisions=32318314 nbAssignments=10864 nbFailedAssignments=699 nbBacktracks=5888 nbVisitedNodes=10678
744.89 nbRestartNogoods=43 mapSize=2162 nbInferences=287 nbTooLargeKeys=0
744.89 => wckTime=732.938 cpuTime=732.53 mem=278M911
882.91
882.91 search
882.91 run=14 nbConstraintChecks=16104911 nbValidityChecks=11208664 nbPropagations=5007595 nbRevisions=47032865
882.91 nbUselessRevisions=42357913 nbAssignments=14172 nbFailedAssignments=920 nbBacktracks=8827 nbVisitedNodes=14460
882.91 nbRestartNogoods=47 mapSize=2748 nbInferences=287 nbTooLargeKeys=0
882.91 => wckTime=870.961 cpuTime=870.45 mem=270M954
1092.14
1092.14 search
1092.14 run=15 nbConstraintChecks=31602830 nbValidityChecks=19575585 nbPropagations=8029802 nbRevisions=70746908
1092.14 nbUselessRevisions=62794834 nbAssignments=19309 nbFailedAssignments=1642 nbBacktracks=13213
1092.14 nbVisitedNodes=21364 nbRestartNogoods=50 mapSize=4512 nbInferences=287 nbTooLargeKeys=0
1092.14 => wckTime=1080.194 cpuTime=1079.62 mem=305M720
1433.60
1433.60 search
1433.60 run=16 nbConstraintChecks=73386157 nbValidityChecks=42090569 nbPropagations=15701617 nbRevisions=126827329
1433.60 nbUselessRevisions=110292810 nbAssignments=27633 nbFailedAssignments=3335 nbBacktracks=19782
1433.60 nbVisitedNodes=34488 nbRestartNogoods=53 mapSize=9303 nbInferences=287 nbTooLargeKeys=0
1433.60 => wckTime=1421.651 cpuTime=1420.94 mem=326M366
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-210723-1168201778 -o ROOT/results/node48/solver-210723-1168201778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210723-1168201778/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.95 1.43 1.16 2/81 12833
/proc/meminfo: memFree=1548504/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=18540 CPUtime=0
/proc/12832/stat : 12832 (runsolver) R 12830 12832 12628 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 168576513 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12832/statm: 4635 279 244 17 0 2626 0
[startup+0.10242 s]
/proc/loadavg: 1.95 1.43 1.16 2/81 12833
/proc/meminfo: memFree=1548504/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=913236 CPUtime=0.09
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 2920 0 1 0 7 2 0 0 17 0 8 0 168576513 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153570607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913236
[startup+0.510455 s]
/proc/loadavg: 1.95 1.43 1.16 2/81 12833
/proc/meminfo: memFree=1548504/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=915328 CPUtime=0.49
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 6567 0 1 0 44 5 0 0 18 0 8 0 168576513 937295872 6306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 228832 6306 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33354 s]
/proc/loadavg: 1.95 1.43 1.16 3/88 12840
/proc/meminfo: memFree=1481568/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=915624 CPUtime=1.31
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 19068 0 1 0 118 13 0 0 24 0 8 0 168576513 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 228906 18806 2158 14 0 215376 0
[pid=12832/tid=12834] ppid=12830 vsize=915624 CPUtime=0.1
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 2518 0 0 0 10 0 0 0 18 0 8 0 168576517 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168576518 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=915624 CPUtime=0.17
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 168576521 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 937598976 18806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 937598976 18806 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) 915624
[startup+2.98669 s]
/proc/loadavg: 1.95 1.43 1.16 3/88 12840
/proc/meminfo: memFree=1465504/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=915624 CPUtime=2.95
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 24684 0 1 0 279 16 0 0 25 0 8 0 168576513 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 228906 24417 2158 14 0 215376 0
[pid=12832/tid=12834] ppid=12830 vsize=915624 CPUtime=0.4
/proc/12832/task/12834/stat : 12834 (java) R 12830 12832 12628 0 -1 64 8126 0 0 0 38 2 0 0 16 0 8 0 168576517 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168576518 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=915624 CPUtime=0.18
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 415 0 0 0 17 1 0 0 16 0 8 0 168576521 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 937598976 24417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915624
[startup+6.27499 s]
/proc/loadavg: 1.95 1.44 1.16 3/88 12840
/proc/meminfo: memFree=1449056/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=915624 CPUtime=6.23
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 27282 0 1 0 469 154 0 0 25 0 8 0 168576513 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 228906 27010 2179 14 0 215376 0
[pid=12832/tid=12834] ppid=12830 vsize=915624 CPUtime=0.56
/proc/12832/task/12834/stat : 12834 (java) R 12830 12832 12628 0 -1 64 10640 0 0 0 53 3 0 0 17 0 8 0 168576517 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168576518 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=915624 CPUtime=0.21
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 168576521 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=915624 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 937598976 27010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915624
[startup+12.7584 s]
/proc/loadavg: 1.96 1.46 1.17 3/88 12840
/proc/meminfo: memFree=1250592/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=12.71
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 77296 0 1 0 972 299 0 0 25 0 8 0 168576513 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 76882 2537 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=1.85
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 59966 0 0 0 161 24 0 0 16 0 8 0 168576517 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.38
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 671 0 0 0 36 2 0 0 15 0 8 0 168576521 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 76882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916344
[startup+25.6146 s]
/proc/loadavg: 1.97 1.48 1.18 3/88 12840
/proc/meminfo: memFree=1250720/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=25.56
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 77325 0 1 0 2257 299 0 0 25 0 8 0 168576513 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074343161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 76902 2539 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=1.85
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 59966 0 0 0 161 24 0 0 17 0 8 0 168576517 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.41
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 693 0 0 0 39 2 0 0 16 0 8 0 168576521 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 76902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 916344
[startup+51.2439 s]
/proc/loadavg: 1.98 1.52 1.20 3/88 12840
/proc/meminfo: memFree=1250656/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=51.17
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 77327 0 1 0 4818 299 0 0 25 0 8 0 168576513 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074343169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 76903 2539 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=1.85
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 59966 0 0 0 161 24 0 0 16 0 8 0 168576517 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.41
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 695 0 0 0 39 2 0 0 16 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 916344
[startup+102.5 s]
/proc/loadavg: 2.07 1.61 1.25 3/88 12840
/proc/meminfo: memFree=1250528/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=102.41
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 77329 0 1 0 9942 299 0 0 25 0 8 0 168576513 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074343152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 76903 2539 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=1.85
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 59966 0 0 0 161 24 0 0 16 0 8 0 168576517 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.41
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 696 0 0 0 39 2 0 0 16 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 916344
[startup+162.594 s]
/proc/loadavg: 2.02 1.68 1.29 3/88 12840
/proc/meminfo: memFree=1250528/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=162.49
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 77329 0 1 0 15950 299 0 0 25 0 8 0 168576513 938336256 76903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074343152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.14
Current children cumulated vsize (KiB) 916344
[startup+1483.61 s]
/proc/loadavg: 2.00 2.00 1.81 3/88 12840
/proc/meminfo: memFree=1202144/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1483.15
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 88874 0 1 0 148007 308 0 0 25 0 8 0 168576513 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 88430 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.03
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 71458 0 0 0 174 29 0 0 16 0 8 0 168576517 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 88430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.15
Current children cumulated vsize (KiB) 916344
[startup+1543.7 s]
/proc/loadavg: 2.10 2.03 1.83 3/88 12840
/proc/meminfo: memFree=1165024/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1543.21
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 98122 0 1 0 154010 311 0 0 25 0 8 0 168576513 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074380685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 97677 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.11
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 80705 0 0 0 178 33 0 0 16 0 8 0 168576517 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.21
Current children cumulated vsize (KiB) 916344
[startup+1603.8 s]
/proc/loadavg: 2.03 2.02 1.83 3/88 12840
/proc/meminfo: memFree=1164960/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1603.31
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 98122 0 1 0 160019 312 0 0 25 0 8 0 168576513 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 97677 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.11
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 80705 0 0 0 178 33 0 0 16 0 8 0 168576517 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.31
Current children cumulated vsize (KiB) 916344
[startup+1663.8 s]
/proc/loadavg: 2.16 2.05 1.85 3/91 12892
/proc/meminfo: memFree=1016968/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1662.91
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 98122 0 1 0 165970 321 0 0 25 0 8 0 168576513 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074256428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 97677 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.11
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 80705 0 0 0 178 33 0 0 16 0 8 0 168576517 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.91
Current children cumulated vsize (KiB) 916344
[startup+1723.9 s]
/proc/loadavg: 2.16 2.07 1.87 3/91 12892
/proc/meminfo: memFree=724744/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1722.4
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 98122 0 1 0 171919 321 0 0 25 0 8 0 168576513 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12832/statm: 229086 97677 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.11
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 80705 0 0 0 178 33 0 0 16 0 8 0 168576517 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.4
Current children cumulated vsize (KiB) 916344
[startup+1783.98 s]
/proc/loadavg: 2.30 2.13 1.90 4/91 12892
/proc/meminfo: memFree=507016/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1782.06
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 98122 0 1 0 177885 321 0 0 25 0 8 0 168576513 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074393716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12832/statm: 229086 97677 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.11
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 80705 0 0 0 178 33 0 0 16 0 8 0 168576517 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 916344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.03 s]
/proc/loadavg: 2.23 2.12 1.90 3/91 12892
/proc/meminfo: memFree=508296/2055920 swapFree=4192812/4192956
[pid=12832] ppid=12830 vsize=916344 CPUtime=1800.01
/proc/12832/stat : 12832 (java) R 12830 12832 12628 0 -1 0 98122 0 1 0 179680 321 0 0 25 0 8 0 168576513 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12832/statm: 229086 97677 2540 14 0 215556 0
[pid=12832/tid=12834] ppid=12830 vsize=916344 CPUtime=2.11
/proc/12832/task/12834/stat : 12834 (java) S 12830 12832 12628 0 -1 64 80705 0 0 0 178 33 0 0 16 0 8 0 168576517 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12835] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12835/stat : 12835 (java) S 12830 12832 12628 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12836] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12836/stat : 12836 (java) S 12830 12832 12628 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168576518 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12837] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12837/stat : 12837 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12838] ppid=12830 vsize=916344 CPUtime=0.48
/proc/12832/task/12838/stat : 12838 (java) S 12830 12832 12628 0 -1 64 730 0 0 0 46 2 0 0 17 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12839] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12839/stat : 12839 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12832/tid=12840] ppid=12830 vsize=916344 CPUtime=0
/proc/12832/task/12840/stat : 12840 (java) S 12830 12832 12628 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168576521 938336256 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 916344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.13
CPU time (s): 1800.12
CPU user time (s): 1796.84
CPU system time (s): 3.2725
CPU usage (%): 99.8883
Max. virtual memory (cumulated for all children) (KiB): 916344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 3.2725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98139
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= 38542
involuntary context switches= 44312
runsolver used 2.29065 s user time and 5.54216 s system time
The end
Begin job on node48 on Sun Jan 7 20:29:38 UTC 2007
IDJOB= 210723
IDBENCH= 4641
FILE ID= node48/210723-1168201778
PBS_JOBID= 3480743
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/cache-ibm-q-unbounded-Icl2arity-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210723-1168201778/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-210723-1168201778 -o ROOT/results/node48/solver-210723-1168201778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210723-1168201778/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5efcf89ecd13ec12f4b08945c1ac3a76
RANDOM SEED= 537023183
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.218
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.218
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: 1548984 kB
Buffers: 60716 kB
Cached: 264188 kB
SwapCached: 0 kB
Active: 251144 kB
Inactive: 196264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1548984 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11944 kB
Writeback: 0 kB
Mapped: 140600 kB
Slab: 44476 kB
Committed_AS: 3892192 kB
PageTables: 2016 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= 66542 MiB
End job on node48 on Sun Jan 7 20:59:40 UTC 2007