0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.32
0.32 instance
0.33 name=/tmp/evaluation/247478-1168085849/unknown.xml
0.35
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.39 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
3.85
3.85 INFO : Contraction of relations, mem = 103M208
6.08
6.08 constraints being loaded...
9.41 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.41 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=8
9.41 => wckTime=9.118 cpuTime=7.4 mem=229M637
10.25
10.25 solver IterativeSystematicSolver being built...
10.40 => wckTime=10.106 cpuTime=7.53 mem=143M437
10.41
10.41 preprocessing
10.41 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
10.41 detectedInconsistency=no
10.41 => wckTime=0.0020 cpuTime=0.01 mem=143M437
10.50
10.50 search
10.50 run=0 nbConstraintChecks=14312 nbValidityChecks=22858 nbPropagations=205 nbRevisions=2982
10.50 nbUselessRevisions=2569 nbAssignments=33 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=58
10.50 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
10.50 => wckTime=0.095 cpuTime=0.08 mem=143M437
10.58
10.58 search
10.58 run=1 nbConstraintChecks=32253 nbValidityChecks=52451 nbPropagations=645 nbRevisions=9856
10.58 nbUselessRevisions=8505 nbAssignments=75 nbFailedAssignments=34 nbBacktracks=28 nbVisitedNodes=130
10.58 nbRestartNogoods=5 mapSize=26 nbInferences=0 nbTooLargeKeys=0
10.58 => wckTime=0.172 cpuTime=0.15 mem=143M437
10.67
10.67 search
10.67 run=2 nbConstraintChecks=56355 nbValidityChecks=91680 nbPropagations=1366 nbRevisions=21853
10.67 nbUselessRevisions=18944 nbAssignments=130 nbFailedAssignments=59 nbBacktracks=50 nbVisitedNodes=221
10.67 nbRestartNogoods=6 mapSize=43 nbInferences=0 nbTooLargeKeys=0
10.67 => wckTime=0.263 cpuTime=0.23 mem=143M437
10.77
10.77 search
10.77 run=3 nbConstraintChecks=86218 nbValidityChecks=140946 nbPropagations=2490 nbRevisions=40317
10.77 nbUselessRevisions=34946 nbAssignments=212 nbFailedAssignments=101 nbBacktracks=83 nbVisitedNodes=364
10.77 nbRestartNogoods=12 mapSize=73 nbInferences=0 nbTooLargeKeys=0
10.77 => wckTime=0.365 cpuTime=0.33 mem=143M437
10.90
10.90 search
10.90 run=4 nbConstraintChecks=125396 nbValidityChecks=208449 nbPropagations=4229 nbRevisions=68222
10.90 nbUselessRevisions=59114 nbAssignments=323 nbFailedAssignments=153 nbBacktracks=135 nbVisitedNodes=556
10.90 nbRestartNogoods=16 mapSize=113 nbInferences=0 nbTooLargeKeys=0
10.90 => wckTime=0.498 cpuTime=0.46 mem=143M437
11.11
11.11 search
11.11 run=5 nbConstraintChecks=191392 nbValidityChecks=316949 nbPropagations=6864 nbRevisions=110649
11.11 nbUselessRevisions=95795 nbAssignments=477 nbFailedAssignments=224 nbBacktracks=210 nbVisitedNodes=831
11.11 nbRestartNogoods=23 mapSize=174 nbInferences=0 nbTooLargeKeys=0
11.11 => wckTime=0.707 cpuTime=0.66 mem=143M437
11.42
11.42 search
11.42 run=6 nbConstraintChecks=283593 nbValidityChecks=471844 nbPropagations=10893 nbRevisions=175053
11.42 nbUselessRevisions=151390 nbAssignments=702 nbFailedAssignments=325 nbBacktracks=326 nbVisitedNodes=1233
11.42 nbRestartNogoods=31 mapSize=274 nbInferences=0 nbTooLargeKeys=0
11.42 => wckTime=1.017 cpuTime=0.97 mem=143M437
11.95
11.95 search
11.95 run=7 nbConstraintChecks=439322 nbValidityChecks=731797 nbPropagations=17193 nbRevisions=274903
11.95 nbUselessRevisions=237520 nbAssignments=1061 nbFailedAssignments=503 nbBacktracks=499 nbVisitedNodes=1883
11.95 nbRestartNogoods=39 mapSize=421 nbInferences=0 nbTooLargeKeys=0
11.95 => wckTime=1.547 cpuTime=1.49 mem=143M437
12.66
12.66 search
12.66 run=8 nbConstraintChecks=649236 nbValidityChecks=1077773 nbPropagations=26574 nbRevisions=421905
12.66 nbUselessRevisions=364220 nbAssignments=1547 nbFailedAssignments=726 nbBacktracks=756 nbVisitedNodes=2747
12.66 nbRestartNogoods=48 mapSize=631 nbInferences=0 nbTooLargeKeys=0
12.66 => wckTime=2.253 cpuTime=2.18 mem=143M437
13.68
13.68 search
13.68 run=9 nbConstraintChecks=969979 nbValidityChecks=1612603 nbPropagations=40606 nbRevisions=642871
13.68 nbUselessRevisions=554907 nbAssignments=2297 nbFailedAssignments=1082 nbBacktracks=1142 nbVisitedNodes=4085
13.68 nbRestartNogoods=53 mapSize=960 nbInferences=0 nbTooLargeKeys=0
13.68 => wckTime=3.273 cpuTime=3.19 mem=143M437
13.86
13.86 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=143M437)
15.18
15.18 search
15.18 run=10 nbConstraintChecks=1438744 nbValidityChecks=2388195 nbPropagations=61358 nbRevisions=969362
15.18 nbUselessRevisions=836418 nbAssignments=3438 nbFailedAssignments=1640 nbBacktracks=1720 nbVisitedNodes=6115
15.18 nbRestartNogoods=64
15.18 => wckTime=4.777 cpuTime=4.68 mem=143M437
17.41
17.41 search
17.41 run=11 nbConstraintChecks=2160109 nbValidityChecks=3553719 nbPropagations=91751 nbRevisions=1449413
17.41 nbUselessRevisions=1250164 nbAssignments=5120 nbFailedAssignments=2450 nbBacktracks=2587 nbVisitedNodes=9096
17.41 nbRestartNogoods=67
17.41 => wckTime=7.009 cpuTime=6.91 mem=143M437
21.00
21.00 search
21.00 run=12 nbConstraintChecks=3287452 nbValidityChecks=5443042 nbPropagations=138814 nbRevisions=2190854
21.00 nbUselessRevisions=1889365 nbAssignments=7720 nbFailedAssignments=3747 nbBacktracks=3884 nbVisitedNodes=13799
21.00 nbRestartNogoods=74
21.00 => wckTime=10.601 cpuTime=10.5 mem=143M437
25.95
25.96 search
25.96 run=13 nbConstraintChecks=4870614 nbValidityChecks=8039382 nbPropagations=208149 nbRevisions=3282777
25.96 nbUselessRevisions=2830301 nbAssignments=11476 nbFailedAssignments=5548 nbBacktracks=5833 nbVisitedNodes=20479
25.96 nbRestartNogoods=80
25.96 => wckTime=15.551 cpuTime=15.44 mem=143M437
33.47
33.47 search
33.47 run=14 nbConstraintChecks=7249504 nbValidityChecks=11970025 nbPropagations=311794 nbRevisions=4910169
33.47 nbUselessRevisions=4232199 nbAssignments=17155 nbFailedAssignments=8298 nbBacktracks=8755 nbVisitedNodes=30634
33.47 nbRestartNogoods=87
33.47 => wckTime=23.063 cpuTime=22.94 mem=144M101
44.75
44.75 search
44.75 run=15 nbConstraintChecks=10845093 nbValidityChecks=17908562 nbPropagations=466926 nbRevisions=7343886
44.75 nbUselessRevisions=6329004 nbAssignments=25667 nbFailedAssignments=12424 nbBacktracks=13133
44.75 nbVisitedNodes=45841 nbRestartNogoods=98
44.75 => wckTime=34.345 cpuTime=34.22 mem=144M101
61.32
61.32 search
61.32 run=16 nbConstraintChecks=16259234 nbValidityChecks=26684851 nbPropagations=697116 nbRevisions=10940646
61.32 nbUselessRevisions=9422727 nbAssignments=38628 nbFailedAssignments=18809 nbBacktracks=19702
61.32 nbVisitedNodes=68917 nbRestartNogoods=111
61.32 => wckTime=50.912 cpuTime=50.78 mem=144M101
87.56
87.56 search
87.56 run=17 nbConstraintChecks=24632789 nbValidityChecks=40401216 nbPropagations=1046568 nbRevisions=16390657
87.56 nbUselessRevisions=14110497 nbAssignments=57843 nbFailedAssignments=28164 nbBacktracks=29556
87.56 nbVisitedNodes=103494 nbRestartNogoods=129
87.56 => wckTime=77.16 cpuTime=77.0 mem=144M101
125.80
125.80 search
125.80 run=18 nbConstraintChecks=36868095 nbValidityChecks=60451669 nbPropagations=1568542 nbRevisions=24542539
125.80 nbUselessRevisions=21124148 nbAssignments=86744 nbFailedAssignments=42279 nbBacktracks=44335
125.80 nbVisitedNodes=155126 nbRestartNogoods=141
125.80 => wckTime=115.4 cpuTime=115.23 mem=144M101
183.33
183.33 search
183.33 run=19 nbConstraintChecks=55464986 nbValidityChecks=90674019 nbPropagations=2351967 nbRevisions=36743668
183.34 nbUselessRevisions=31616008 nbAssignments=130173 nbFailedAssignments=63534 nbBacktracks=66503
183.34 nbVisitedNodes=232745 nbRestartNogoods=151
183.34 => wckTime=172.931 cpuTime=172.75 mem=144M101
272.14
272.14 search
272.14 run=20 nbConstraintChecks=83905714 nbValidityChecks=137088620 nbPropagations=3533771 nbRevisions=55170176
272.14 nbUselessRevisions=47461888 nbAssignments=196054 nbFailedAssignments=96154 nbBacktracks=99755
272.14 nbVisitedNodes=350897 nbRestartNogoods=154
272.14 => wckTime=261.735 cpuTime=261.52 mem=144M101
301.22
301.22 search
301.22 run=21 nbConstraintChecks=93142565 nbValidityChecks=152245671 nbPropagations=4847263 nbRevisions=75653846
301.22 nbUselessRevisions=65079313 nbAssignments=217469 nbFailedAssignments=106651 nbBacktracks=110653
301.22 nbVisitedNodes=389346 nbRestartNogoods=162
301.22 => wckTime=290.816 cpuTime=290.59 mem=144M101
301.22
301.22 global
301.22 nbConstraintChecks=93142565 nbValidityChecks=152245671 nbPropagations=4847283 nbRevisions=75653846
301.22 nbUselessRevisions=65079313 nbRestartNogoods=162 solvingWckTime=290.817 solvingCpuTime=290.59 expiredTime=no
301.22 totalExploration=no nbFoundSolutions=1 globalCpuTime=298.17
301.22 => wckTime=300.925 cpuTime=298.12 mem=144M101
301.23
301.23 s SATISFIABLE
301.23 v 1 0 2 2 3 2 4 1 2 4 3 3 1 3 0 1 0 2 4 2
301.23 d NODES 217469
301.23 d CHECKS 93142565
301.23
301.23 totalWckTime=301.001 totalCpuTime=298.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-247478-1168085849 -o ROOT/results/node24/solver-247478-1168085849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247478-1168085849/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.32 0.35 1.01 4/83 19679
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=0 CPUtime=0
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 156981693 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19678/statm: 41 2 0 0 0 1 0
[startup+0.105947 s]
/proc/loadavg: 0.32 0.35 1.01 4/83 19679
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=914988 CPUtime=0.08
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 3065 0 1 0 7 1 0 0 16 0 8 0 156981693 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154185050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513996 s]
/proc/loadavg: 0.32 0.35 1.01 4/83 19679
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915328 CPUtime=0.49
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 10139 0 1 0 45 4 0 0 17 0 8 0 156981693 937295872 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228832 9878 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33707 s]
/proc/loadavg: 0.32 0.35 1.01 2/88 19686
/proc/meminfo: memFree=1659520/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915328 CPUtime=1.32
/proc/19678/stat : 19678 (java) S 19676 19678 19415 0 -1 0 21675 0 1 0 122 10 0 0 20 0 8 0 156981693 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228832 21412 2147 14 0 215302 0
[pid=19678/tid=19680] ppid=19676 vsize=915328 CPUtime=0.05
/proc/19678/task/19680/stat : 19680 (java) R 19676 19678 19415 0 -1 64 5263 0 0 0 4 1 0 0 16 0 8 0 156981697 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155772492 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156981697 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156981697 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915328 CPUtime=0.06
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328
[startup+2.99026 s]
/proc/loadavg: 0.37 0.36 1.01 2/88 19686
/proc/meminfo: memFree=1636160/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915328 CPUtime=2.97
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 30342 0 1 0 282 15 0 0 18 0 8 0 156981693 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3071571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228832 30076 2147 14 0 215302 0
[pid=19678/tid=19680] ppid=19676 vsize=915328 CPUtime=0.21
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 13925 0 0 0 16 5 0 0 16 0 8 0 156981697 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156981697 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156981697 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915328 CPUtime=0.07
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915328
[startup+6.27161 s]
/proc/loadavg: 0.37 0.36 1.01 2/88 19686
/proc/meminfo: memFree=1582720/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=6.25
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 40800 0 1 0 604 21 0 0 17 0 8 0 156981693 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 38953 2162 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=0.92
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 24339 0 0 0 82 10 0 0 16 0 8 0 156981697 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.09
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915400
[startup+12.7581 s]
/proc/loadavg: 0.47 0.38 1.01 2/88 19686
/proc/meminfo: memFree=1488832/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=12.73
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64487 0 1 0 1242 31 0 0 17 0 8 0 156981693 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19678/statm: 228850 62631 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 17 0 8 0 156981697 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.21
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915400
[startup+25.5915 s]
/proc/loadavg: 0.55 0.40 1.01 2/88 19686
/proc/meminfo: memFree=1488768/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=25.54
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64495 0 1 0 2523 31 0 0 21 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915400
[startup+51.2853 s]
/proc/loadavg: 0.70 0.45 1.01 2/88 19687
/proc/meminfo: memFree=1490496/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=51.21
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 5089 32 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915400
[startup+102.561 s]
/proc/loadavg: 0.88 0.54 1.00 2/88 19724
/proc/meminfo: memFree=1488640/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=102.45
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 10212 33 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915400
[startup+162.588 s]
/proc/loadavg: 1.59 0.80 1.06 3/100 19736
/proc/meminfo: memFree=1461024/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=162.46
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 16213 33 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 915400
[startup+222.611 s]
/proc/loadavg: 1.83 1.00 1.11 3/100 19736
/proc/meminfo: memFree=1460960/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=222.47
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 22213 34 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 915400
[startup+282.634 s]
/proc/loadavg: 1.97 1.21 1.18 3/100 19736
/proc/meminfo: memFree=1460960/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=282.48
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 28214 34 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 301.301
CPU time (s): 301.116
CPU user time (s): 300.731
CPU system time (s): 0.384941
CPU usage (%): 99.9387
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.731
system time used= 0.384941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64500
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= 6971
involuntary context switches= 12431
runsolver used 0.289955 s user time and 0.813876 s system time
The end
Begin job on node24 on Sat Jan 6 12:17:41 UTC 2007
IDJOB= 247478
IDBENCH= 11130
FILE ID= node24/247478-1168085849
PBS_JOBID= 3476526
Free space on /tmp= 66443 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247478-1168085849/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-247478-1168085849 -o ROOT/results/node24/solver-247478-1168085849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247478-1168085849/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6c2ec320160e3910acae4606bd2d6fff
RANDOM SEED= 20346901
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: 1729120 kB
Buffers: 28584 kB
Cached: 172016 kB
SwapCached: 0 kB
Active: 146272 kB
Inactive: 111704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1729120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 25376 kB
Writeback: 0 kB
Mapped: 76356 kB
Slab: 53852 kB
Committed_AS: 2982640 kB
PageTables: 2196 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= 66443 MiB
End job on node24 on Sat Jan 6 12:22:46 UTC 2007