0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208520-1168188190/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2708 maxDegree=21
0.61 maxArity=2
0.61 => wckTime=0.302 cpuTime=0.22 mem=12M803
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.495 cpuTime=0.35 mem=15M9
0.85
0.85 preprocessing
0.85 nbConstraintChecks=65063 nbPropagations=882 nbRevisions=6467 nbUselessRevisions=5256 nbSingletonTests=51
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=1 detectedInconsistency=no
0.85 => wckTime=0.05 cpuTime=0.03 mem=15M9
0.88
0.88 search
0.88 run=0 nbConstraintChecks=42927 nbPropagations=1481 nbRevisions=13656 nbUselessRevisions=11088 nbAssignments=29
0.88 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.075 cpuTime=0.05 mem=15M9
0.90
0.90 search
0.90 run=1 nbConstraintChecks=88412 nbPropagations=3637 nbRevisions=35789 nbUselessRevisions=29093 nbAssignments=67
0.90 nbFailedAssignments=24 nbBacktracks=28 nbVisitedNodes=112 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.095 cpuTime=0.06 mem=15M9
0.91
0.91 search
0.91 run=2 nbConstraintChecks=133987 nbPropagations=6492 nbRevisions=66490 nbUselessRevisions=53966
0.91 nbAssignments=112 nbFailedAssignments=39 nbBacktracks=50 nbVisitedNodes=183 nbRestartNogoods=5 mapSize=41
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.11 cpuTime=0.07 mem=15M9
0.93
0.93 search
0.93 run=3 nbConstraintChecks=217266 nbPropagations=10555 nbRevisions=112658 nbUselessRevisions=91251
0.93 nbAssignments=172 nbFailedAssignments=59 nbBacktracks=83 nbVisitedNodes=284 nbRestartNogoods=7 mapSize=68
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.129 cpuTime=0.08 mem=15M9
0.96
0.96 search
0.96 run=4 nbConstraintChecks=317498 nbPropagations=16231 nbRevisions=179736 nbUselessRevisions=145672
0.96 nbAssignments=259 nbFailedAssignments=86 nbBacktracks=134 nbVisitedNodes=436 nbRestartNogoods=10 mapSize=114
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.152 cpuTime=0.11 mem=15M9
1.00
1.00 search
1.00 run=5 nbConstraintChecks=510556 nbPropagations=24555 nbRevisions=282540 nbUselessRevisions=228835
1.00 nbAssignments=391 nbFailedAssignments=135 nbBacktracks=210 nbVisitedNodes=665 nbRestartNogoods=12 mapSize=181
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.194 cpuTime=0.14 mem=15M9
1.04
1.04 search
1.04 run=6 nbConstraintChecks=752933 nbPropagations=36404 nbRevisions=434435 nbUselessRevisions=351846
1.04 nbAssignments=602 nbFailedAssignments=224 nbBacktracks=323 nbVisitedNodes=1021 nbRestartNogoods=17 mapSize=276
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.242 cpuTime=0.19 mem=15M9
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1141120 nbPropagations=53853 nbRevisions=661069 nbUselessRevisions=535116
1.12 nbAssignments=922 nbFailedAssignments=351 nbBacktracks=494 nbVisitedNodes=1550 nbRestartNogoods=26 mapSize=420
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.315 cpuTime=0.26 mem=15M9
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1681643 nbPropagations=79330 nbRevisions=997135 nbUselessRevisions=807541
1.23 nbAssignments=1362 nbFailedAssignments=514 nbBacktracks=750 nbVisitedNodes=2287 nbRestartNogoods=33
1.23 mapSize=651 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.431 cpuTime=0.37 mem=15M9
1.39
1.39 search
1.39 run=9 nbConstraintChecks=2470219 nbPropagations=116273 nbRevisions=1491735 nbUselessRevisions=1208781
1.39 nbAssignments=2000 nbFailedAssignments=758 nbBacktracks=1135 nbVisitedNodes=3379 nbRestartNogoods=37
1.39 mapSize=973 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.59 cpuTime=0.51 mem=15M9
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=15M9)
1.61
1.61 search
1.61 run=10 nbConstraintChecks=3708264 nbPropagations=171317 nbRevisions=2235572 nbUselessRevisions=1813618
1.61 nbAssignments=2981 nbFailedAssignments=1140 nbBacktracks=1712 nbVisitedNodes=5061 nbRestartNogoods=42
1.61 => wckTime=0.809 cpuTime=0.71 mem=15M9
1.90
1.90 search
1.90 run=11 nbConstraintChecks=5517252 nbPropagations=252191 nbRevisions=3338831 nbUselessRevisions=2709600
1.90 nbAssignments=4430 nbFailedAssignments=1717 nbBacktracks=2576 nbVisitedNodes=7568 nbRestartNogoods=45
1.90 => wckTime=1.101 cpuTime=1.0 mem=15M9
2.35
2.35 search
2.35 run=12 nbConstraintChecks=8206748 nbPropagations=372489 nbRevisions=4995391 nbUselessRevisions=4056464
2.35 nbAssignments=6613 nbFailedAssignments=2595 nbBacktracks=3873 nbVisitedNodes=11389 nbRestartNogoods=56
2.35 => wckTime=1.548 cpuTime=1.44 mem=15M9
3.03
3.03 search
3.03 run=13 nbConstraintChecks=12459637 nbPropagations=551705 nbRevisions=7488956 nbUselessRevisions=6082737
3.03 nbAssignments=9911 nbFailedAssignments=3939 nbBacktracks=5819 nbVisitedNodes=17142 nbRestartNogoods=62
3.03 => wckTime=2.231 cpuTime=2.13 mem=15M9
3.96
3.96 search
3.96 run=14 nbConstraintChecks=17970192 nbPropagations=815458 nbRevisions=11158131 nbUselessRevisions=9069109
3.96 nbAssignments=14770 nbFailedAssignments=5871 nbBacktracks=8738 nbVisitedNodes=25560 nbRestartNogoods=76
3.96 => wckTime=3.16 cpuTime=3.04 mem=15M9
5.34
5.34 search
5.34 run=15 nbConstraintChecks=26493721 nbPropagations=1201345 nbRevisions=16504485 nbUselessRevisions=13413594
5.34 nbAssignments=21786 nbFailedAssignments=8503 nbBacktracks=13116 nbVisitedNodes=37548 nbRestartNogoods=81
5.34 => wckTime=4.534 cpuTime=4.41 mem=15M9
7.68
7.68 search
7.68 run=16 nbConstraintChecks=40754530 nbPropagations=1792349 nbRevisions=24732376 nbUselessRevisions=20100904
7.68 nbAssignments=33011 nbFailedAssignments=13151 nbBacktracks=19684 nbVisitedNodes=57180 nbRestartNogoods=86
7.68 => wckTime=6.873 cpuTime=6.73 mem=15M9
10.96
10.96 search
10.96 run=17 nbConstraintChecks=61357620 nbPropagations=2669228 nbRevisions=36953272 nbUselessRevisions=30021716
10.96 nbAssignments=48957 nbFailedAssignments=19238 nbBacktracks=29536 nbVisitedNodes=84679 nbRestartNogoods=95
10.96 => wckTime=10.156 cpuTime=9.99 mem=15M9
15.97
15.97 search
15.97 run=18 nbConstraintChecks=91968535 nbPropagations=3990562 nbRevisions=55344877 nbUselessRevisions=44957342
15.97 nbAssignments=73277 nbFailedAssignments=28770 nbBacktracks=44315 nbVisitedNodes=127058 nbRestartNogoods=104
15.97 => wckTime=15.168 cpuTime=14.96 mem=15M984
24.06
24.06 search
24.06 run=19 nbConstraintChecks=142210143 nbPropagations=6022226 nbRevisions=83801139 nbUselessRevisions=68090251
24.06 nbAssignments=111383 nbFailedAssignments=44699 nbBacktracks=66486 nbVisitedNodes=194272 nbRestartNogoods=117
24.06 => wckTime=23.261 cpuTime=22.99 mem=15M984
34.53
34.53 search
34.53 run=20 nbConstraintChecks=206353267 nbPropagations=8974021 nbRevisions=124971203 nbUselessRevisions=101527390
34.53 nbAssignments=164331 nbFailedAssignments=64388 nbBacktracks=99739 nbVisitedNodes=284871 nbRestartNogoods=132
34.53 => wckTime=33.728 cpuTime=33.35 mem=15M984
51.67
51.67 search
51.67 run=21 nbConstraintChecks=312202035 nbPropagations=13441356 nbRevisions=187255110 nbUselessRevisions=152107357
51.67 nbAssignments=247439 nbFailedAssignments=97608 nbBacktracks=149618 nbVisitedNodes=429826 nbRestartNogoods=145
51.67 => wckTime=50.862 cpuTime=50.36 mem=15M984
75.46
75.46 search
75.46 run=22 nbConstraintChecks=459983042 nbPropagations=20009011 nbRevisions=278804653 nbUselessRevisions=226443795
75.46 nbAssignments=366745 nbFailedAssignments=142087 nbBacktracks=224437 nbVisitedNodes=634567 nbRestartNogoods=159
75.46 => wckTime=74.656 cpuTime=73.97 mem=15M984
113.30
113.30 search
113.30 run=23 nbConstraintChecks=693429851 nbPropagations=29930073 nbRevisions=417033969 nbUselessRevisions=338701905
113.30 nbAssignments=550996 nbFailedAssignments=214104 nbBacktracks=336664 nbVisitedNodes=954161 nbRestartNogoods=172
113.30 => wckTime=112.497 cpuTime=111.51 mem=15M984
169.24
169.24 search
169.24 run=24 nbConstraintChecks=1038941721 nbPropagations=44789690 nbRevisions=624303496 nbUselessRevisions=507069465
169.24 nbAssignments=825327 nbFailedAssignments=320087 nbBacktracks=505005 nbVisitedNodes=1428732 nbRestartNogoods=188
169.24 => wckTime=168.433 cpuTime=166.98 mem=15M984
257.10
257.10 search
257.10 run=25 nbConstraintChecks=1584752119 nbPropagations=67328755 nbRevisions=939692457 nbUselessRevisions=763413693
257.10 nbAssignments=1243330 nbFailedAssignments=485571 nbBacktracks=757516 nbVisitedNodes=2157477
257.10 nbRestartNogoods=210
257.10 => wckTime=256.299 cpuTime=254.11 mem=15M984
381.69
381.69 search
381.70 run=26 nbConstraintChecks=2362034357 nbPropagations=100724779 nbRevisions=1407537076
381.70 nbUselessRevisions=1143451212 nbAssignments=1832823 nbFailedAssignments=717969 nbBacktracks=1114571
381.70 nbVisitedNodes=3181378 nbRestartNogoods=222
381.70 => wckTime=380.892 cpuTime=377.71 mem=15M984
381.70
381.70 global
381.70 nbConstraintChecks=2362099420 nbPropagations=100725661 nbRevisions=1407543543 nbUselessRevisions=1143456468
381.70 nbRestartNogoods=222 solvingWckTime=380.893 solvingCpuTime=377.71 expiredTime=no totalExploration=no
381.70 nbFoundSolutions=1 globalCpuTime=378.1
381.70 => wckTime=381.391 cpuTime=378.06 mem=15M984
381.70
381.70 s SATISFIABLE
381.70 v 5 11 0 11 11 15 17 10 0 17 17 8 5 3 18 1 10 12 1 7 16 6 0 15 2 11 18 15 18 13 5 7 6 3 12 13 13 10 6 13
381.70 d NODES 1832823
381.70 d CHECKS 2362099420
381.70
381.70 totalWckTime=381.469 totalCpuTime=378.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-208520-1168188190 -o ROOT/results/node47/solver-208520-1168188190 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208520-1168188190/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.85 0.97 0.99 3/70 5179
/proc/meminfo: memFree=1339688/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=1784 CPUtime=0
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 167218435 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/5178/statm: 446 160 125 14 0 91 0
[startup+0.105498 s]
/proc/loadavg: 0.85 0.97 0.99 3/70 5179
/proc/meminfo: memFree=1339688/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=914988 CPUtime=0.08
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 167218435 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5178/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51454 s]
/proc/loadavg: 0.85 0.97 0.99 3/70 5179
/proc/meminfo: memFree=1339688/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915328 CPUtime=0.49
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 6914 0 1 0 44 5 0 0 19 0 8 0 167218435 937295872 6653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228832 6653 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34263 s]
/proc/loadavg: 0.85 0.97 0.99 3/88 5198
/proc/meminfo: memFree=1305752/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=1.3
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8741 0 1 0 123 7 0 0 25 0 8 0 167218435 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8479 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 17 0 8 0 167218440 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.22
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 167218444 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9828 s]
/proc/loadavg: 0.85 0.97 0.99 3/88 5198
/proc/meminfo: memFree=1305368/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=2.93
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8769 0 1 0 286 7 0 0 25 0 8 0 167218435 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803539 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8506 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.24
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 394 0 0 0 22 2 0 0 15 0 8 0 167218444 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.26215 s]
/proc/loadavg: 0.94 0.98 0.99 3/88 5198
/proc/meminfo: memFree=1305240/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=6.18
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8776 0 1 0 611 7 0 0 25 0 8 0 167218435 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8513 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.24
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 394 0 0 0 22 2 0 0 15 0 8 0 167218444 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7478 s]
/proc/loadavg: 1.02 1.00 1.00 3/88 5198
/proc/meminfo: memFree=1305240/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=12.63
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8783 0 1 0 1255 8 0 0 25 0 8 0 167218435 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8519 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915456
[startup+25.5932 s]
/proc/loadavg: 1.24 1.05 1.02 3/88 5198
/proc/meminfo: memFree=1305240/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=25.38
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8788 0 1 0 2530 8 0 0 25 0 8 0 167218435 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8524 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8524 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+51.289 s]
/proc/loadavg: 1.50 1.12 1.04 3/88 5198
/proc/meminfo: memFree=1305240/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=50.85
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8791 0 1 0 5077 8 0 0 25 0 8 0 167218435 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8527 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915456
[startup+102.572 s]
/proc/loadavg: 1.78 1.26 1.09 3/88 5198
/proc/meminfo: memFree=1305240/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=101.73
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8796 0 1 0 10165 8 0 0 25 0 8 0 167218435 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8532 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 915456
[startup+162.596 s]
/proc/loadavg: 1.92 1.39 1.14 3/88 5198
/proc/meminfo: memFree=1305304/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=161.28
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8798 0 1 0 16120 8 0 0 25 0 8 0 167218435 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8534 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 915456
[startup+222.637 s]
/proc/loadavg: 1.97 1.50 1.19 3/88 5198
/proc/meminfo: memFree=1305304/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=220.81
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8801 0 1 0 22073 8 0 0 25 0 8 0 167218435 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8537 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.81
Current children cumulated vsize (KiB) 915456
[startup+282.692 s]
/proc/loadavg: 1.99 1.59 1.24 4/88 5198
/proc/meminfo: memFree=1305304/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=280.36
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8803 0 1 0 28028 8 0 0 25 0 8 0 167218435 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8539 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (KiB) 915456
[startup+342.724 s]
/proc/loadavg: 1.99 1.66 1.29 3/88 5198
/proc/meminfo: memFree=1305376/2055920 swapFree=4183928/4192956
[pid=5178] ppid=5175 vsize=915456 CPUtime=339.91
/proc/5178/stat : 5178 (java) R 5175 5178 5033 0 -1 0 8803 0 1 0 33983 8 0 0 25 0 8 0 167218435 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5178/statm: 228864 8539 2524 14 0 215334 0
[pid=5178/tid=5186] ppid=5175 vsize=915456 CPUtime=0.03
/proc/5178/task/5186/stat : 5186 (java) S 5175 5178 5033 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167218440 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5189] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5189/stat : 5189 (java) S 5175 5178 5033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5190] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5190/stat : 5190 (java) S 5175 5178 5033 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167218440 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5195] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5195/stat : 5195 (java) S 5175 5178 5033 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5196] ppid=5175 vsize=915456 CPUtime=0.25
/proc/5178/task/5196/stat : 5196 (java) S 5175 5178 5033 0 -1 64 395 0 0 0 23 2 0 0 15 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5178/tid=5197] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5197/stat : 5197 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5178/tid=5198] ppid=5175 vsize=915456 CPUtime=0
/proc/5178/task/5198/stat : 5198 (java) S 5175 5178 5033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167218444 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.91
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 381.727
CPU time (s): 378.594
CPU user time (s): 378.5
CPU system time (s): 0.093985
CPU usage (%): 99.1794
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.5
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8896
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= 8884
involuntary context switches= 10406
runsolver used 0.405938 s user time and 0.993848 s system time
The end
Begin job on node47 on Sun Jan 7 16:43:11 UTC 2007
IDJOB= 208520
IDBENCH= 4401
FILE ID= node47/208520-1168188190
PBS_JOBID= 3479296
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208520-1168188190/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-208520-1168188190 -o ROOT/results/node47/solver-208520-1168188190 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208520-1168188190/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91844d68f905c60e332aa1a67b93aa9d
RANDOM SEED= 605680849
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.240
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.240
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: 1340560 kB
Buffers: 39420 kB
Cached: 604764 kB
SwapCached: 3720 kB
Active: 114704 kB
Inactive: 544388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1340560 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 2564 kB
Writeback: 0 kB
Mapped: 19968 kB
Slab: 41956 kB
Committed_AS: 3286616 kB
PageTables: 1664 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= 66552 MiB
End job on node47 on Sun Jan 7 16:49:34 UTC 2007