0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/211251-1168206275/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.53 nbVariables=1344 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.19 cpuTime=0.14 mem=8M869
0.53
0.53 predicates being loaded...
0.56
0.56 constraints being loaded...
3.91 nbConstraints=16096 nbMergedConstraints=280 nbConvertedConstraints=1624 nbConvertConstraintsChecks=49816
3.91 nbExtensionStructures=2 nbSharedExtensionStructures=1622 nbConflictsStructures=21
3.91 nbSharedConflictsStructures=15987 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
3.91 nbEvaluationManagers=20 nbSharedEvaluationManagers=14452 maxDegree=158 maxArity=28
3.91 => wckTime=3.573 cpuTime=3.02 mem=80M107
4.14
4.14 solver IterativeSystematicSolver being built...
4.95 => wckTime=4.618 cpuTime=3.62 mem=113M641
15.23
15.23 preprocessing
15.23 nbConstraintChecks=214485 nbValidityChecks=1078717 nbPropagations=4689 nbRevisions=864675
15.23 nbUselessRevisions=862951 nbSingletonTests=1707 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0
15.23 detectedInconsistency=no
15.23 => wckTime=10.268 cpuTime=10.18 mem=117M722
15.90
15.90 search
15.90 run=0 nbConstraintChecks=24779 nbValidityChecks=354766 nbPropagations=5245 nbRevisions=1107429
15.90 nbUselessRevisions=1105289 nbAssignments=232 nbFailedAssignments=4 nbBacktracks=16 nbVisitedNodes=240
15.90 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
15.90 => wckTime=10.944 cpuTime=10.84 mem=118M758
16.44
16.44 search
16.44 run=1 nbConstraintChecks=39410 nbValidityChecks=678485 nbPropagations=10987 nbRevisions=2437602
16.44 nbUselessRevisions=2433016 nbAssignments=463 nbFailedAssignments=6 nbBacktracks=35 nbVisitedNodes=475
16.44 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
16.44 => wckTime=11.485 cpuTime=11.37 mem=118M758
17.02
17.02 search
17.02 run=2 nbConstraintChecks=57655 nbValidityChecks=1024302 nbPropagations=17273 nbRevisions=4006100
17.02 nbUselessRevisions=3998710 nbAssignments=706 nbFailedAssignments=9 nbBacktracks=62 nbVisitedNodes=723
17.02 nbRestartNogoods=3 mapSize=11 nbInferences=0 nbTooLargeKeys=0
17.02 => wckTime=12.06 cpuTime=11.94 mem=118M758
17.63
17.63 search
17.63 run=3 nbConstraintChecks=79443 nbValidityChecks=1397852 nbPropagations=24121 nbRevisions=5828572
17.63 nbUselessRevisions=5817975 nbAssignments=943 nbFailedAssignments=13 nbBacktracks=104 nbVisitedNodes=967
17.63 nbRestartNogoods=5 mapSize=17 nbInferences=0 nbTooLargeKeys=0
17.63 => wckTime=12.673 cpuTime=12.55 mem=118M758
18.42
18.42 search
18.42 run=4 nbConstraintChecks=119413 nbValidityChecks=1863900 nbPropagations=31791 nbRevisions=7970988
18.42 nbUselessRevisions=7956494 nbAssignments=1211 nbFailedAssignments=21 nbBacktracks=159 nbVisitedNodes=1249
18.42 nbRestartNogoods=6 mapSize=29 nbInferences=0 nbTooLargeKeys=0
18.42 => wckTime=13.459 cpuTime=13.32 mem=118M758
19.89
19.89 search
19.89 run=5 nbConstraintChecks=166726 nbValidityChecks=2734309 nbPropagations=40763 nbRevisions=10715863
19.89 nbUselessRevisions=10696660 nbAssignments=1857 nbFailedAssignments=28 nbBacktracks=254 nbVisitedNodes=1541
19.89 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
19.89 => wckTime=14.935 cpuTime=14.79 mem=118M758
20.99
20.99 search
20.99 run=6 nbConstraintChecks=228459 nbValidityChecks=3411937 nbPropagations=50931 nbRevisions=13917725
20.99 nbUselessRevisions=13892738 nbAssignments=2166 nbFailedAssignments=37 nbBacktracks=383 nbVisitedNodes=1866
20.99 nbRestartNogoods=9 mapSize=56 nbInferences=0 nbTooLargeKeys=0
20.99 => wckTime=16.032 cpuTime=15.87 mem=119M779
22.57
22.57 search
22.57 run=7 nbConstraintChecks=331451 nbValidityChecks=4402451 nbPropagations=62908 nbRevisions=17783086
22.57 nbUselessRevisions=17750591 nbAssignments=2530 nbFailedAssignments=50 nbBacktracks=570 nbVisitedNodes=2255
22.57 nbRestartNogoods=10 mapSize=80 nbInferences=0 nbTooLargeKeys=0
22.57 => wckTime=17.617 cpuTime=17.45 mem=119M779
24.62
24.62 search
24.62 run=8 nbConstraintChecks=473162 nbValidityChecks=5653152 nbPropagations=77248 nbRevisions=22484332
24.62 nbUselessRevisions=22442023 nbAssignments=3009 nbFailedAssignments=66 nbBacktracks=840 nbVisitedNodes=2772
24.62 nbRestartNogoods=11 mapSize=116 nbInferences=0 nbTooLargeKeys=0
24.62 => wckTime=19.659 cpuTime=19.48 mem=119M779
28.48
28.48 search
28.48 run=9 nbConstraintChecks=771638 nbValidityChecks=8048140 nbPropagations=96855 nbRevisions=28795063
28.48 nbUselessRevisions=28737275 nbAssignments=3626 nbFailedAssignments=88 nbBacktracks=1263 nbVisitedNodes=3451
28.48 nbRestartNogoods=13 mapSize=177 nbInferences=0 nbTooLargeKeys=0
28.48 => wckTime=23.519 cpuTime=23.31 mem=120M799
30.56
30.56 search
30.56 run=10 nbConstraintChecks=897420 nbValidityChecks=9004061 nbPropagations=122409 nbRevisions=35821835
30.56 nbUselessRevisions=35741895 nbAssignments=4894 nbFailedAssignments=104 nbBacktracks=1847 nbVisitedNodes=4838
30.56 nbRestartNogoods=14 mapSize=292 nbInferences=0 nbTooLargeKeys=0
30.56 => wckTime=25.606 cpuTime=25.38 mem=122M839
32.59
32.60 search
32.60 run=11 nbConstraintChecks=990840 nbValidityChecks=9885058 nbPropagations=154613 nbRevisions=43542809
32.60 nbUselessRevisions=43433568 nbAssignments=6428 nbFailedAssignments=146 nbBacktracks=2711 nbVisitedNodes=6499
32.60 nbRestartNogoods=18 mapSize=416 nbInferences=0 nbTooLargeKeys=0
32.60 => wckTime=27.637 cpuTime=27.4 mem=126M920
35.81
35.81 search
35.81 run=12 nbConstraintChecks=1120901 nbValidityChecks=11327589 nbPropagations=197063 nbRevisions=52377825
35.81 nbUselessRevisions=52228728 nbAssignments=8295 nbFailedAssignments=209 nbBacktracks=4015 nbVisitedNodes=8524
35.81 nbRestartNogoods=21 mapSize=573 nbInferences=0 nbTooLargeKeys=0
35.81 => wckTime=30.848 cpuTime=30.48 mem=91M186
40.75
40.75 search
40.75 run=13 nbConstraintChecks=1315861 nbValidityChecks=13879793 nbPropagations=253297 nbRevisions=63064009
40.75 nbUselessRevisions=62860693 nbAssignments=10798 nbFailedAssignments=303 nbBacktracks=5963 nbVisitedNodes=11227
40.75 nbRestartNogoods=22 mapSize=769 nbInferences=0 nbTooLargeKeys=0
40.75 => wckTime=35.79 cpuTime=35.4 mem=96M287
48.59
48.59 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=100M368)
51.60
51.60 search
51.60 run=14 nbConstraintChecks=1704115 nbValidityChecks=20286517 nbPropagations=333707 nbRevisions=78347479
51.60 nbUselessRevisions=78064024 nbAssignments=14261 nbFailedAssignments=433 nbBacktracks=8935 nbVisitedNodes=15003
51.60 nbRestartNogoods=26
51.60 => wckTime=46.644 cpuTime=46.2 mem=100M368
65.86
65.86 search
65.86 run=15 nbConstraintChecks=2200357 nbValidityChecks=29452727 nbPropagations=440974 nbRevisions=99857216
65.86 nbUselessRevisions=99466609 nbAssignments=19206 nbFailedAssignments=623 nbBacktracks=13368 nbVisitedNodes=20348
65.86 nbRestartNogoods=28
65.86 => wckTime=60.904 cpuTime=60.39 mem=100M368
94.43
94.43 search
94.43 run=16 nbConstraintChecks=3396410 nbValidityChecks=47380817 nbPropagations=598383 nbRevisions=134326702
94.43 nbUselessRevisions=133774462 nbAssignments=26257 nbFailedAssignments=941 nbBacktracks=19941
94.43 nbVisitedNodes=28114 nbRestartNogoods=31
94.44 => wckTime=89.477 cpuTime=88.84 mem=100M368
118.65
118.65 search
118.65 run=17 nbConstraintChecks=4481811 nbValidityChecks=60305941 nbPropagations=822944 nbRevisions=178947891
118.65 nbUselessRevisions=178160431 nbAssignments=37109 nbFailedAssignments=1395 nbBacktracks=29830
118.65 nbVisitedNodes=40265 nbRestartNogoods=34
118.65 => wckTime=113.693 cpuTime=112.94 mem=100M368
219.09
219.09 search
219.09 run=18 nbConstraintChecks=7946569 nbValidityChecks=130847666 nbPropagations=1245154 nbRevisions=272004987
219.09 nbUselessRevisions=270757070 nbAssignments=53332 nbFailedAssignments=2494 nbBacktracks=44623
219.09 nbVisitedNodes=59356 nbRestartNogoods=38
219.09 => wckTime=214.135 cpuTime=212.9 mem=100M368
394.53
394.53 search
394.53 run=19 nbConstraintChecks=14300109 nbValidityChecks=226726026 nbPropagations=1919488 nbRevisions=442330239
394.53 nbUselessRevisions=440304692 nbAssignments=77632 nbFailedAssignments=4533 nbBacktracks=66795
394.53 nbVisitedNodes=88373 nbRestartNogoods=42
394.53 => wckTime=389.568 cpuTime=387.52 mem=100M368
495.50
495.50 search
495.50 run=20 nbConstraintChecks=19720736 nbValidityChecks=273033439 nbPropagations=2961381 nbRevisions=654368915
495.50 nbUselessRevisions=651144523 nbAssignments=113056 nbFailedAssignments=6143 nbBacktracks=100051
495.50 nbVisitedNodes=128359 nbRestartNogoods=46
495.50 => wckTime=490.545 cpuTime=488.02 mem=100M368
500.98
500.98 search
500.98 run=21 nbConstraintChecks=19944141 nbValidityChecks=276284784 nbPropagations=4012443 nbRevisions=868758951
500.98 nbUselessRevisions=864328243 nbAssignments=115781 nbFailedAssignments=6182 nbBacktracks=100754
500.98 nbVisitedNodes=130528 nbRestartNogoods=52
500.98 => wckTime=496.018 cpuTime=493.47 mem=100M368
500.98
500.98 global
500.98 nbConstraintChecks=20158626 nbValidityChecks=277363501 nbPropagations=4017132 nbRevisions=869623626
500.98 nbUselessRevisions=865191194 nbRestartNogoods=52 solvingWckTime=496.02 solvingCpuTime=493.47 expiredTime=no
500.98 totalExploration=no nbFoundSolutions=1 globalCpuTime=497.15
500.98 => wckTime=500.641 cpuTime=497.09 mem=100M368
500.98
500.98 s SATISFIABLE
500.98 v 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0
500.98 d NODES 115781
500.98 d CHECKS 20158626
500.98
500.98 totalWckTime=500.722 totalCpuTime=497.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-211251-1168206275 -o ROOT/results/node14/solver-211251-1168206275 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211251-1168206275/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.98 1.15 4/82 7168
/proc/meminfo: memFree=1523744/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=164 CPUtime=0
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 31 0 0 0 0 0 0 0 18 0 1 0 169022692 167936 16 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6862540 0 0 4096 0 0 0 0 17 1 0 0
/proc/7167/statm: 42 23 18 14 0 2 0
[startup+0.103571 s]
/proc/loadavg: 0.92 0.98 1.15 4/82 7168
/proc/meminfo: memFree=1523744/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=911488 CPUtime=0.06
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 2592 0 1 0 5 1 0 0 23 0 8 0 169022692 933363712 2339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154012794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7167/statm: 227872 2339 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.51161 s]
/proc/loadavg: 0.92 0.98 1.15 4/82 7168
/proc/meminfo: memFree=1523744/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915328 CPUtime=0.46
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 6346 0 1 0 42 4 0 0 25 0 8 0 169022692 937295872 6085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228832 6086 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33669 s]
/proc/loadavg: 0.92 0.98 1.15 3/101 7226
/proc/meminfo: memFree=1449800/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915624 CPUtime=1.28
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 18751 0 1 0 116 12 0 0 25 0 8 0 169022692 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228906 18487 2157 14 0 215376 0
[pid=7167/tid=7196] ppid=7163 vsize=915624 CPUtime=0.07
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 2227 0 0 0 6 1 0 0 16 0 8 0 169022698 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915624 CPUtime=0.13
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 399 0 0 0 13 0 0 0 15 0 8 0 169022701 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937598976 18487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915624
[startup+2.98884 s]
/proc/loadavg: 0.92 0.98 1.15 3/101 7226
/proc/meminfo: memFree=1439048/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915624 CPUtime=2.92
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 21458 0 1 0 236 56 0 0 25 0 8 0 169022692 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228907 21189 2178 14 0 215377 0
[pid=7167/tid=7196] ppid=7163 vsize=915624 CPUtime=0.22
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 4833 0 0 0 19 3 0 0 16 0 8 0 169022698 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915628 CPUtime=0.19
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 430 0 0 0 19 0 0 0 15 0 8 0 169022701 937603072 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915624 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937598976 21189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915624
[startup+6.28816 s]
/proc/loadavg: 1.17 1.03 1.16 4/101 7226
/proc/meminfo: memFree=837896/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=6.21
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 38247 0 1 0 531 90 0 0 25 0 8 0 169022692 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074108042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 37955 2544 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.7
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 21084 0 0 0 60 10 0 0 17 0 8 0 169022698 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.32
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 506 0 0 0 31 1 0 0 16 0 8 0 169022701 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 37955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915864
[startup+12.7768 s]
/proc/loadavg: 1.23 1.05 1.17 4/101 7226
/proc/meminfo: memFree=837400/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=12.66
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 38258 0 1 0 1176 90 0 0 25 0 8 0 169022692 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 37964 2546 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.7
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 21084 0 0 0 60 10 0 0 16 0 8 0 169022698 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.34
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 512 0 0 0 32 2 0 0 16 0 8 0 169022701 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 37964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915864
[startup+25.628 s]
/proc/loadavg: 1.47 1.11 1.18 3/101 7226
/proc/meminfo: memFree=777624/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=25.46
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 38285 0 1 0 2455 91 0 0 25 0 8 0 169022692 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 37985 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.7
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 21084 0 0 0 60 10 0 0 16 0 8 0 169022698 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.39
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 533 0 0 0 37 2 0 0 15 0 8 0 169022701 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 37985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915864
[startup+51.2844 s]
/proc/loadavg: 1.65 1.18 1.20 3/101 7226
/proc/meminfo: memFree=717720/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=50.96
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40317 0 1 0 5004 92 0 0 25 0 8 0 169022692 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40015 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 538 0 0 0 38 2 0 0 15 0 8 0 169022701 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915864
[startup+102.523 s]
/proc/loadavg: 1.85 1.30 1.24 3/101 7226
/proc/meminfo: memFree=693400/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=101.96
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 10103 93 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 16 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915864
[startup+162.593 s]
/proc/loadavg: 2.02 1.45 1.29 3/101 7226
/proc/meminfo: memFree=686936/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=161.75
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 16082 93 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074108042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 17 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 915864
[startup+222.695 s]
/proc/loadavg: 2.01 1.54 1.33 3/101 7226
/proc/meminfo: memFree=676056/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=221.57
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 22064 93 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074115927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 17 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 915864
[startup+282.789 s]
/proc/loadavg: 2.00 1.62 1.37 3/101 7226
/proc/meminfo: memFree=673312/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=281.39
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 28045 94 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074108075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 17 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.39
Current children cumulated vsize (KiB) 915864
[startup+342.882 s]
/proc/loadavg: 2.07 1.71 1.41 3/101 7226
/proc/meminfo: memFree=670944/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=341.19
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 34025 94 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074119868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 17 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.19
Current children cumulated vsize (KiB) 915864
[startup+402.969 s]
/proc/loadavg: 2.02 1.76 1.45 3/101 7226
/proc/meminfo: memFree=670496/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=401.01
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 40006 95 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 17 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.01
Current children cumulated vsize (KiB) 915864
[startup+463.064 s]
/proc/loadavg: 2.01 1.80 1.48 3/101 7226
/proc/meminfo: memFree=670112/2055920 swapFree=4182236/4192956
[pid=7167] ppid=7163 vsize=915864 CPUtime=460.82
/proc/7167/stat : 7167 (java) R 7163 7167 6856 0 -1 0 40320 0 1 0 45987 95 0 0 25 0 8 0 169022692 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074106362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7167/statm: 228966 40016 2547 14 0 215436 0
[pid=7167/tid=7196] ppid=7163 vsize=915864 CPUtime=0.79
/proc/7167/task/7196/stat : 7196 (java) S 7163 7167 6856 0 -1 64 23109 0 0 0 68 11 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7199] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7199/stat : 7199 (java) S 7163 7167 6856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7200] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7200/stat : 7200 (java) S 7163 7167 6856 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169022698 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7211] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7211/stat : 7211 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7212] ppid=7163 vsize=915864 CPUtime=0.4
/proc/7167/task/7212/stat : 7212 (java) S 7163 7167 6856 0 -1 64 539 0 0 0 38 2 0 0 17 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7167/tid=7213] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7213/stat : 7213 (java) S 7163 7167 6856 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7167/tid=7214] ppid=7163 vsize=915864 CPUtime=0
/proc/7167/task/7214/stat : 7214 (java) S 7163 7167 6856 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169022701 937844736 40016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.82
Current children cumulated vsize (KiB) 915864
Child status: 0
Real time (s): 501.02
CPU time (s): 498.596
CPU user time (s): 497.606
CPU system time (s): 0.989849
CPU usage (%): 99.5163
Max. virtual memory (cumulated for all children) (KiB): 915964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.606
system time used= 0.989849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40331
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= 11902
involuntary context switches= 17970
runsolver used 0.592909 s user time and 1.63875 s system time
The end
Begin job on node14 on Sun Jan 7 21:44:36 UTC 2007
IDJOB= 211251
IDBENCH= 4680
FILE ID= node14/211251-1168206275
PBS_JOBID= 3480570
Free space on /tmp= 66342 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/circ-8-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211251-1168206275/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-211251-1168206275 -o ROOT/results/node14/solver-211251-1168206275 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211251-1168206275/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4a6ed926c351140e8834a0ef1f973750
RANDOM SEED= 961562034
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.227
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.227
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: 1527560 kB
Buffers: 53948 kB
Cached: 353228 kB
SwapCached: 4156 kB
Active: 174876 kB
Inactive: 285432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1527560 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 4848 kB
Writeback: 0 kB
Mapped: 62036 kB
Slab: 53320 kB
Committed_AS: 5333260 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= 66339 MiB
End job on node14 on Sun Jan 7 21:52:59 UTC 2007