0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/240219-1168370752/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.48 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.48 => wckTime=0.155 cpuTime=0.12 mem=7M894
0.48
0.48 relations being loaded...
0.48
0.48 constraints being loaded...
0.85 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.85 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.85 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.85 => wckTime=0.529 cpuTime=0.38 mem=24M505
0.93
0.93 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.791 cpuTime=0.54 mem=18M513
1.57
1.57 preprocessing
1.57 nbConstraintChecks=102567 nbPropagations=2667 nbRevisions=24546 nbUselessRevisions=19618 nbSingletonTests=650
1.57 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=2925 detectedInconsistency=no
1.57 => wckTime=0.452 cpuTime=0.41 mem=18M513
1.64
1.64 search
1.64 run=0 nbConstraintChecks=5835 nbPropagations=3115 nbRevisions=26344 nbUselessRevisions=20693 nbAssignments=265
1.64 nbFailedAssignments=4 nbBacktracks=13 nbVisitedNodes=274 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.64 nbTooLargeKeys=0
1.64 => wckTime=0.519 cpuTime=0.46 mem=19M584
1.69
1.69 search
1.69 run=1 nbConstraintChecks=10967 nbPropagations=6711 nbRevisions=54337 nbUselessRevisions=42376
1.69 nbAssignments=568 nbFailedAssignments=13 nbBacktracks=35 nbVisitedNodes=590 nbRestartNogoods=1 mapSize=19
1.69 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.567 cpuTime=0.51 mem=19M584
1.74
1.74 search
1.74 run=2 nbConstraintChecks=16612 nbPropagations=10761 nbRevisions=84212 nbUselessRevisions=65266
1.74 nbAssignments=851 nbFailedAssignments=17 nbBacktracks=65 nbVisitedNodes=880 nbRestartNogoods=2 mapSize=23
1.74 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.618 cpuTime=0.55 mem=19M584
1.80
1.80 search
1.80 run=3 nbConstraintChecks=32751 nbPropagations=16012 nbRevisions=120402 nbUselessRevisions=92897
1.80 nbAssignments=1227 nbFailedAssignments=29 nbBacktracks=99 nbVisitedNodes=1203 nbRestartNogoods=5 mapSize=40
1.80 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.684 cpuTime=0.61 mem=20M557
1.89
1.89 search
1.89 run=4 nbConstraintChecks=60380 nbPropagations=23060 nbRevisions=168133 nbUselessRevisions=129273
1.89 nbAssignments=1663 nbFailedAssignments=39 nbBacktracks=155 nbVisitedNodes=1542 nbRestartNogoods=9 mapSize=65
1.89 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.765 cpuTime=0.69 mem=20M557
1.94
1.94 search
1.94 run=5 nbConstraintChecks=72332 nbPropagations=30952 nbRevisions=219923 nbUselessRevisions=168187
1.94 nbAssignments=2019 nbFailedAssignments=54 nbBacktracks=243 nbVisitedNodes=1926 nbRestartNogoods=10 mapSize=91
1.94 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.824 cpuTime=0.74 mem=20M557
2.01
2.01 search
2.01 run=6 nbConstraintChecks=92480 nbPropagations=40255 nbRevisions=278601 nbUselessRevisions=211269
2.01 nbAssignments=2446 nbFailedAssignments=85 nbBacktracks=356 nbVisitedNodes=2416 nbRestartNogoods=12 mapSize=146
2.01 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.886 cpuTime=0.8 mem=21M529
2.10
2.10 search
2.10 run=7 nbConstraintChecks=138984 nbPropagations=52514 nbRevisions=356454 nbUselessRevisions=268049
2.10 nbAssignments=3059 nbFailedAssignments=130 nbBacktracks=532 nbVisitedNodes=2978 nbRestartNogoods=19
2.10 mapSize=218 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.982 cpuTime=0.89 mem=21M529
2.22
2.22 search
2.22 run=8 nbConstraintChecks=189751 nbPropagations=68384 nbRevisions=454529 nbUselessRevisions=339096
2.22 nbAssignments=3777 nbFailedAssignments=192 nbBacktracks=794 nbVisitedNodes=3661 nbRestartNogoods=25
2.22 mapSize=318 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=1.099 cpuTime=1.01 mem=21M529
2.34
2.34 search
2.34 run=9 nbConstraintChecks=238896 nbPropagations=87900 nbRevisions=570172 nbUselessRevisions=420988
2.34 nbAssignments=4504 nbFailedAssignments=290 nbBacktracks=1179 nbVisitedNodes=4566 nbRestartNogoods=28
2.34 mapSize=478 nbInferences=0 nbTooLargeKeys=0
2.34 => wckTime=1.22 cpuTime=1.12 mem=22M502
2.54
2.54 search
2.54 run=10 nbConstraintChecks=373320 nbPropagations=112102 nbRevisions=768067 nbUselessRevisions=574628
2.54 nbAssignments=5241 nbFailedAssignments=365 nbBacktracks=1757 nbVisitedNodes=5459 nbRestartNogoods=29
2.54 mapSize=628 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=1.417 cpuTime=1.3 mem=22M502
2.80
2.80 search
2.80 run=11 nbConstraintChecks=553341 nbPropagations=143004 nbRevisions=1078375 nbUselessRevisions=826594
2.80 nbAssignments=6445 nbFailedAssignments=471 nbBacktracks=2630 nbVisitedNodes=6698 nbRestartNogoods=35
2.80 mapSize=816 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.679 cpuTime=1.56 mem=23M475
3.01
3.01 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=24M447)
3.12
3.12 search
3.12 run=12 nbConstraintChecks=781858 nbPropagations=182183 nbRevisions=1531486 nbUselessRevisions=1203956
3.12 nbAssignments=7969 nbFailedAssignments=636 nbBacktracks=3932 nbVisitedNodes=8527 nbRestartNogoods=40
3.12 => wckTime=1.998 cpuTime=1.88 mem=24M447
3.63
3.63 search
3.63 run=13 nbConstraintChecks=1272229 nbPropagations=236975 nbRevisions=2294255 nbUselessRevisions=1853573
3.63 nbAssignments=10272 nbFailedAssignments=927 nbBacktracks=5906 nbVisitedNodes=11415 nbRestartNogoods=43
3.63 => wckTime=2.514 cpuTime=2.38 mem=24M447
4.27
4.27 search
4.27 run=14 nbConstraintChecks=1832095 nbPropagations=311783 nbRevisions=3411298 nbUselessRevisions=2814782
4.27 nbAssignments=13664 nbFailedAssignments=1338 nbBacktracks=8835 nbVisitedNodes=15662 nbRestartNogoods=46
4.27 => wckTime=3.153 cpuTime=3.02 mem=24M447
5.40
5.40 search
5.40 run=15 nbConstraintChecks=2832750 nbPropagations=423494 nbRevisions=5148265 nbUselessRevisions=4318990
5.40 nbAssignments=18839 nbFailedAssignments=2091 nbBacktracks=13216 nbVisitedNodes=22243 nbRestartNogoods=52
5.40 => wckTime=4.281 cpuTime=4.14 mem=24M447
7.39
7.39 search
7.39 run=16 nbConstraintChecks=4818617 nbPropagations=603824 nbRevisions=8180200 nbUselessRevisions=6970002
7.39 nbAssignments=26694 nbFailedAssignments=3237 nbBacktracks=19794 nbVisitedNodes=32287 nbRestartNogoods=61
7.39 => wckTime=6.269 cpuTime=6.11 mem=24M447
10.41
10.41 search
10.41 run=17 nbConstraintChecks=8040804 nbPropagations=890939 nbRevisions=13338343 nbUselessRevisions=11516854
10.41 nbAssignments=38851 nbFailedAssignments=5473 nbBacktracks=29647 nbVisitedNodes=48466 nbRestartNogoods=69
10.41 => wckTime=9.293 cpuTime=9.1 mem=24M447
15.41
15.41 search
15.41 run=18 nbConstraintChecks=13193834 nbPropagations=1356798 nbRevisions=21693397 nbUselessRevisions=18851077
15.41 nbAssignments=57823 nbFailedAssignments=9634 nbBacktracks=44427 nbVisitedNodes=75594 nbRestartNogoods=76
15.41 => wckTime=14.293 cpuTime=14.06 mem=24M447
23.14
23.14 search
23.14 run=19 nbConstraintChecks=21712191 nbPropagations=2102849 nbRevisions=35638252 nbUselessRevisions=31154896
23.14 nbAssignments=85319 nbFailedAssignments=14917 nbBacktracks=66595 nbVisitedNodes=113261 nbRestartNogoods=82
23.14 => wckTime=22.023 cpuTime=21.72 mem=24M447
34.10
34.10 search
34.10 run=20 nbConstraintChecks=33289970 nbPropagations=3238044 nbRevisions=57069311 nbUselessRevisions=50094708
34.10 nbAssignments=125739 nbFailedAssignments=22041 nbBacktracks=99858 nbVisitedNodes=167907 nbRestartNogoods=88
34.10 => wckTime=32.975 cpuTime=32.56 mem=24M447
49.76
49.76 search
49.76 run=21 nbConstraintChecks=50032735 nbPropagations=4924573 nbRevisions=89556928 nbUselessRevisions=78893322
49.76 nbAssignments=186790 nbFailedAssignments=33168 nbBacktracks=149737 nbVisitedNodes=249702 nbRestartNogoods=98
49.76 => wckTime=48.64 cpuTime=48.09 mem=24M447
73.88
73.88 search
73.88 run=22 nbConstraintChecks=75503648 nbPropagations=7455482 nbRevisions=138463942 nbUselessRevisions=122218112
73.88 nbAssignments=277452 nbFailedAssignments=48895 nbBacktracks=224568 nbVisitedNodes=372113 nbRestartNogoods=108
73.88 => wckTime=72.762 cpuTime=71.99 mem=24M447
110.01
110.02 search
110.02 run=23 nbConstraintChecks=115226002 nbPropagations=11285179 nbRevisions=213606507 nbUselessRevisions=188864933
110.02 nbAssignments=415952 nbFailedAssignments=75107 nbBacktracks=336802 nbVisitedNodes=560799 nbRestartNogoods=114
110.02 => wckTime=108.895 cpuTime=107.78 mem=24M447
164.34
164.34 search
164.34 run=24 nbConstraintChecks=173162527 nbPropagations=17038563 nbRevisions=326851772 nbUselessRevisions=289289339
164.34 nbAssignments=625333 nbFailedAssignments=116015 nbBacktracks=505149 nbVisitedNodes=850474 nbRestartNogoods=123
164.34 => wckTime=163.224 cpuTime=161.63 mem=24M447
244.81
244.81 search
244.81 run=25 nbConstraintChecks=259274223 nbPropagations=25637834 nbRevisions=496423133 nbUselessRevisions=439764189
244.81 nbAssignments=933157 nbFailedAssignments=171210 nbBacktracks=757661 nbVisitedNodes=1266618 nbRestartNogoods=133
244.81 => wckTime=243.694 cpuTime=241.36 mem=24M447
364.28
364.28 search
364.28 run=26 nbConstraintChecks=386126095 nbPropagations=38492094 nbRevisions=748543475 nbUselessRevisions=663242944
364.28 nbAssignments=1399560 nbFailedAssignments=258714 nbBacktracks=1136429 nbVisitedNodes=1906392
364.28 nbRestartNogoods=145
364.28 => wckTime=363.156 cpuTime=359.75 mem=24M447
376.59
376.59 search
376.59 run=27 nbConstraintChecks=399271222 nbPropagations=51788289 nbRevisions=1009523650 nbUselessRevisions=894610231
376.59 nbAssignments=1449986 nbFailedAssignments=269576 nbBacktracks=1175318 nbVisitedNodes=1977225
376.59 nbRestartNogoods=158
376.59 => wckTime=375.471 cpuTime=371.95 mem=24M447
376.59
376.59 global
376.59 nbConstraintChecks=399373789 nbPropagations=51790956 nbRevisions=1009548196 nbUselessRevisions=894629849
376.59 nbRestartNogoods=158 solvingWckTime=375.473 solvingCpuTime=371.95 expiredTime=no totalExploration=no
376.59 nbFoundSolutions=1 globalCpuTime=372.54
376.59 => wckTime=376.269 cpuTime=372.49 mem=24M447
376.60
376.60 s SATISFIABLE
376.60 v 0 16 17 18 5 14 7 2 12 4 8 9 19 6 15 11 3 1 10 13 10 6 16 17 4 8 3 14 1 11 7 13 9 5 0 19 15 12 18 2 4 0 15 5 10 11 8 9 18 2 19 14 17 16 7 6 1 13 3 12 14 4 7 16 3 15 11 6 0 13 12 5 1 19 18 9 2 8 17 10 2 19 10 3 11 16 6 15 9 17 13 12 8 7 4 14 18 0 1 5 7 1 8 4 14 12 17 3 11 16 18 6 5 13 19 10 0 2 15 9 15 11 6 13 7 9 4 17 8 1 3 16 2 18 14 5 12 10 19 0 6 3 11 7 13 18 0 19 2 5 10 15 12 17 8 1 4 9 14 16 5 2 0 15 1 4 12 18 3 8 6 10 7 11 16 13 17 19 9 14 9 18 4 10 2 19 5 0 15 12 14 1 16 8 13 17 7 11 6 3 8 15 9 12 16 7 13 10 19 6 17 11 0 2 1 3 14 5 4 18 16 8 19 6 12 5 1 13 4 14 0 18 15 9 17 7 10 3 2 11 12 5 14 9 19 17 2 1 16 7 15 4 3 0 10 18 11 6 13 8 1 17 12 2 9 13 19 8 14 18 4 7 11 10 3 16 5 15 0 6 3 12 13 14 18 2 10 7 5 9 1 17 4 15 6 0 8 16 11 19 13 14 5 0 6 1 15 4 17 19 11 8 10 3 2 12 9 18 16 7 19 10 1 8 17 3 18 11 6 0 9 2 13 12 5 15 16 14 7 4 11 9 18 1 15 0 16 5 10 3 2 19 6 14 12 4 13 7 8 17 18 7 3 19 8 10 9 16 13 15 5 0 14 4 11 2 6 17 12 1 17 13 2 11 0 6 14 12 7 10 16 3 18 1 9 8 19 4 5 15
376.60 d NODES 1449986
376.60 d CHECKS 399373789
376.60
376.60 totalWckTime=376.352 totalCpuTime=372.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-240219-1168370752 -o ROOT/results/node1/solver-240219-1168370752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240219-1168370752/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.80 1.87 1.91 4/87 7182
/proc/meminfo: memFree=1771168/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=18540 CPUtime=0
/proc/7181/stat : 7181 (runsolver) R 7179 7181 7114 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 185470975 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7181/statm: 4635 279 244 17 0 2626 0
[startup+0.11072 s]
/proc/loadavg: 1.80 1.87 1.91 4/87 7182
/proc/meminfo: memFree=1771168/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=914988 CPUtime=0.09
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 3006 0 1 0 7 2 0 0 17 0 8 0 185470975 936947712 2752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228747 2752 1431 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519765 s]
/proc/loadavg: 1.80 1.87 1.91 4/87 7182
/proc/meminfo: memFree=1771168/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915328 CPUtime=0.49
/proc/7181/stat : 7181 (java) S 7179 7181 7114 0 -1 0 6423 0 1 0 45 4 0 0 17 0 8 0 185470975 937295872 6162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228832 6162 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34087 s]
/proc/loadavg: 1.80 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733992/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=1.29
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12005 0 1 0 122 7 0 0 18 0 8 0 185470975 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11743 2523 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.26
/proc/7181/task/7187/stat : 7187 (java) R 7179 7181 7114 0 -1 64 459 0 0 0 25 1 0 0 20 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915676
[startup+2.97806 s]
/proc/loadavg: 1.80 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733928/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=2.92
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12036 0 1 0 284 8 0 0 25 0 8 0 185470975 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11772 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185470979 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.31
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676
[startup+6.27244 s]
/proc/loadavg: 1.82 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733800/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=6.19
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12039 0 1 0 610 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915676
[startup+12.7542 s]
/proc/loadavg: 1.83 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=12.61
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12039 0 1 0 1252 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915676
[startup+25.6387 s]
/proc/loadavg: 1.86 1.88 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=25.38
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 2529 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915676
[startup+51.2677 s]
/proc/loadavg: 1.91 1.89 1.91 3/94 7189
/proc/meminfo: memFree=1733992/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=50.77
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 5068 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915676
[startup+102.528 s]
/proc/loadavg: 1.96 1.90 1.91 3/94 7189
/proc/meminfo: memFree=1733992/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=101.56
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 10147 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915676
[startup+162.536 s]
/proc/loadavg: 1.98 1.92 1.91 3/94 7189
/proc/meminfo: memFree=1733928/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=161.03
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 16093 10 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 915676
[startup+222.542 s]
/proc/loadavg: 1.99 1.93 1.91 3/94 7189
/proc/meminfo: memFree=1733928/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=220.48
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 22038 10 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074006122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 915676
[startup+282.553 s]
/proc/loadavg: 2.06 1.96 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=279.95
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12041 0 1 0 27985 10 0 0 25 0 8 0 185470975 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11775 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (KiB) 915676
[startup+342.558 s]
/proc/loadavg: 2.02 1.96 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=339.42
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12041 0 1 0 33931 11 0 0 25 0 8 0 185470975 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11775 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.42
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 376.647
CPU time (s): 373.165
CPU user time (s): 373.04
CPU system time (s): 0.124981
CPU usage (%): 99.0757
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.04
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12051
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= 8684
involuntary context switches= 16961
runsolver used 0.448931 s user time and 1.22981 s system time
The end
Begin job on node1 on Tue Jan 9 19:25:52 UTC 2007
IDJOB= 240219
IDBENCH= 7114
FILE ID= node1/240219-1168370752
PBS_JOBID= 3503864
Free space on /tmp= 66511 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240219-1168370752/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-240219-1168370752 -o ROOT/results/node1/solver-240219-1168370752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240219-1168370752/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 96ec8cf1b7a7943c03a06ad57432798a
RANDOM SEED= 56720780
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.234
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.234
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: 1771648 kB
Buffers: 35128 kB
Cached: 142912 kB
SwapCached: 4064 kB
Active: 147860 kB
Inactive: 78904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771648 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2528 kB
Writeback: 0 kB
Mapped: 59416 kB
Slab: 42172 kB
Committed_AS: 6009148 kB
PageTables: 2332 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= 66511 MiB
End job on node1 on Tue Jan 9 19:32:13 UTC 2007