0.48
0.48 Abscon 109 (November, 2006)
0.48
0.48 configuration
0.48 name=mac.xml
0.51
0.51 instance
0.51 name=/tmp/evaluation/194434-1168069365/unknown.xml
0.54
0.54 domains being loaded...
0.55
0.55 variables being loaded...
0.58 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.58 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.58
0.58 relations being loaded...
0.73
0.73 constraints being loaded...
0.86 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2291 maxDegree=25
0.86 maxArity=2
0.86 => wckTime=0.376 cpuTime=0.28 mem=17M827
0.90
0.90 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.567 cpuTime=0.41 mem=15M359
1.06
1.06 preprocessing
1.06 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.06 detectedInconsistency=no
1.06 => wckTime=0.0070 cpuTime=0.0 mem=15M359
1.11
1.11 search
1.11 run=0 nbConstraintChecks=45034 nbPropagations=606 nbRevisions=6694 nbUselessRevisions=5491 nbAssignments=26
1.11 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.11 nbTooLargeKeys=0
1.11 => wckTime=0.053 cpuTime=0.03 mem=15M359
1.14
1.14 search
1.14 run=1 nbConstraintChecks=116312 nbPropagations=1998 nbRevisions=24134 nbUselessRevisions=19683
1.14 nbAssignments=63 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=95 nbRestartNogoods=2 mapSize=23
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.083 cpuTime=0.06 mem=15M359
1.16
1.16 search
1.16 run=2 nbConstraintChecks=180847 nbPropagations=4212 nbRevisions=51669 nbUselessRevisions=41981
1.16 nbAssignments=107 nbFailedAssignments=27 nbBacktracks=53 nbVisitedNodes=161 nbRestartNogoods=4 mapSize=39
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.103 cpuTime=0.07 mem=15M359
1.18
1.18 search
1.18 run=3 nbConstraintChecks=278775 nbPropagations=7560 nbRevisions=95906 nbUselessRevisions=77866
1.18 nbAssignments=169 nbFailedAssignments=49 nbBacktracks=86 nbVisitedNodes=260 nbRestartNogoods=6 mapSize=66
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.122 cpuTime=0.09 mem=15M359
1.21
1.21 search
1.21 run=4 nbConstraintChecks=464424 nbPropagations=12963 nbRevisions=169199 nbUselessRevisions=137446
1.21 nbAssignments=266 nbFailedAssignments=86 nbBacktracks=136 nbVisitedNodes=422 nbRestartNogoods=7 mapSize=111
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.157 cpuTime=0.12 mem=15M359
1.25
1.25 search
1.25 run=5 nbConstraintChecks=661282 nbPropagations=20754 nbRevisions=275655 nbUselessRevisions=224235
1.25 nbAssignments=391 nbFailedAssignments=126 nbBacktracks=211 nbVisitedNodes=619 nbRestartNogoods=13 mapSize=170
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.197 cpuTime=0.16 mem=15M359
1.30
1.30 search
1.30 run=6 nbConstraintChecks=906870 nbPropagations=31680 nbRevisions=427663 nbUselessRevisions=348522
1.30 nbAssignments=572 nbFailedAssignments=183 nbBacktracks=327 nbVisitedNodes=911 nbRestartNogoods=15 mapSize=256
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.244 cpuTime=0.21 mem=15M359
1.37
1.37 search
1.37 run=7 nbConstraintChecks=1298561 nbPropagations=47371 nbRevisions=650856 nbUselessRevisions=531500
1.37 nbAssignments=831 nbFailedAssignments=263 nbBacktracks=497 nbVisitedNodes=1335 nbRestartNogoods=19 mapSize=388
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.313 cpuTime=0.27 mem=15M359
1.47
1.47 search
1.47 run=8 nbConstraintChecks=1913372 nbPropagations=70509 nbRevisions=982573 nbUselessRevisions=803075
1.47 nbAssignments=1239 nbFailedAssignments=402 nbBacktracks=758 nbVisitedNodes=2006 nbRestartNogoods=23
1.47 mapSize=596 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.42 cpuTime=0.38 mem=15M359
1.64
1.64 search
1.64 run=9 nbConstraintChecks=2869319 nbPropagations=105719 nbRevisions=1500849 nbUselessRevisions=1228860
1.64 nbAssignments=1879 nbFailedAssignments=646 nbBacktracks=1142 nbVisitedNodes=3097 nbRestartNogoods=25
1.64 mapSize=918 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.589 cpuTime=0.53 mem=15M359
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=15M359)
1.90
1.90 search
1.90 run=10 nbConstraintChecks=4708350 nbPropagations=160512 nbRevisions=2322615 nbUselessRevisions=1901509
1.90 nbAssignments=2836 nbFailedAssignments=1016 nbBacktracks=1721 nbVisitedNodes=4748 nbRestartNogoods=29
1.90 => wckTime=0.849 cpuTime=0.78 mem=15M359
2.23
2.23 search
2.23 run=11 nbConstraintChecks=7145348 nbPropagations=242815 nbRevisions=3554462 nbUselessRevisions=2904739
2.23 nbAssignments=4243 nbFailedAssignments=1547 nbBacktracks=2587 nbVisitedNodes=7119 nbRestartNogoods=36
2.23 => wckTime=1.179 cpuTime=1.1 mem=15M359
2.73
2.73 search
2.73 run=12 nbConstraintChecks=10456892 nbPropagations=364476 nbRevisions=5385062 nbUselessRevisions=4397623
2.73 nbAssignments=6293 nbFailedAssignments=2289 nbBacktracks=3886 nbVisitedNodes=10574 nbRestartNogoods=42
2.73 => wckTime=1.681 cpuTime=1.6 mem=15M359
3.56
3.56 search
3.56 run=13 nbConstraintChecks=15905543 nbPropagations=550922 nbRevisions=8209698 nbUselessRevisions=6701451
3.56 nbAssignments=9538 nbFailedAssignments=3578 nbBacktracks=5832 nbVisitedNodes=16200 nbRestartNogoods=51
3.56 => wckTime=2.504 cpuTime=2.42 mem=15M359
4.65
4.65 search
4.65 run=14 nbConstraintChecks=22869572 nbPropagations=825713 nbRevisions=12392029 nbUselessRevisions=10126066
4.65 nbAssignments=14131 nbFailedAssignments=5243 nbBacktracks=8751 nbVisitedNodes=23990 nbRestartNogoods=57
4.65 => wckTime=3.592 cpuTime=3.51 mem=15M359
6.41
6.41 search
6.41 run=15 nbConstraintChecks=35479167 nbPropagations=1241003 nbRevisions=18717577 nbUselessRevisions=15287643
6.41 nbAssignments=21254 nbFailedAssignments=7975 nbBacktracks=13129 nbVisitedNodes=36184 nbRestartNogoods=64
6.41 => wckTime=5.355 cpuTime=5.26 mem=15M359
8.92
8.92 search
8.92 run=16 nbConstraintChecks=52003668 nbPropagations=1856811 nbRevisions=28129373 nbUselessRevisions=22986142
8.92 nbAssignments=31721 nbFailedAssignments=11863 nbBacktracks=19697 nbVisitedNodes=53928 nbRestartNogoods=75
8.92 => wckTime=7.868 cpuTime=7.77 mem=15M359
12.90
12.90 search
12.90 run=17 nbConstraintChecks=78786865 nbPropagations=2788086 nbRevisions=42354239 nbUselessRevisions=34609127
12.90 nbAssignments=47560 nbFailedAssignments=17841 nbBacktracks=29551 nbVisitedNodes=81056 nbRestartNogoods=83
12.90 => wckTime=11.841 cpuTime=11.74 mem=15M359
18.45
18.45 search
18.45 run=18 nbConstraintChecks=116241617 nbPropagations=4158108 nbRevisions=63451470 nbUselessRevisions=51880589
18.45 nbAssignments=70607 nbFailedAssignments=26101 nbBacktracks=44330 nbVisitedNodes=119780 nbRestartNogoods=89
18.45 => wckTime=17.393 cpuTime=17.29 mem=15M359
27.20
27.20 search
27.20 run=19 nbConstraintChecks=175929625 nbPropagations=6228163 nbRevisions=95071725 nbUselessRevisions=77720860
27.20 nbAssignments=105831 nbFailedAssignments=39144 nbBacktracks=66503 nbVisitedNodes=179839 nbRestartNogoods=98
27.20 => wckTime=26.147 cpuTime=26.04 mem=15M359
39.45
39.45 search
39.45 run=20 nbConstraintChecks=255697660 nbPropagations=9289486 nbRevisions=142005621 nbUselessRevisions=116178385
39.45 nbAssignments=158278 nbFailedAssignments=58327 nbBacktracks=99759 nbVisitedNodes=269109 nbRestartNogoods=107
39.45 => wckTime=38.396 cpuTime=38.29 mem=15M359
59.61
59.61 search
59.61 run=21 nbConstraintChecks=393805056 nbPropagations=13940884 nbRevisions=213354672 nbUselessRevisions=174549763
59.61 nbAssignments=238827 nbFailedAssignments=88987 nbBacktracks=149637 nbVisitedNodes=407133 nbRestartNogoods=116
59.61 => wckTime=58.555 cpuTime=58.45 mem=15M359
86.51
86.51 search
86.51 run=22 nbConstraintChecks=567371776 nbPropagations=20786791 nbRevisions=318155486 nbUselessRevisions=260444398
86.51 nbAssignments=354868 nbFailedAssignments=130199 nbBacktracks=224455 nbVisitedNodes=603067 nbRestartNogoods=136
86.51 => wckTime=85.453 cpuTime=85.34 mem=15M359
131.90
131.90 search
131.90 run=23 nbConstraintChecks=881009434 nbPropagations=31160336 nbRevisions=477988161 nbUselessRevisions=391371628
131.90 nbAssignments=533178 nbFailedAssignments=196270 nbBacktracks=336682 nbVisitedNodes=907192 nbRestartNogoods=146
131.90 => wckTime=130.842 cpuTime=130.71 mem=15M359
194.58
194.58 search
194.58 run=24 nbConstraintChecks=1293382389 nbPropagations=46627329 nbRevisions=715130215 nbUselessRevisions=585732393
194.58 nbAssignments=797527 nbFailedAssignments=292262 nbBacktracks=505028 nbVisitedNodes=1355800 nbRestartNogoods=158
194.58 => wckTime=193.528 cpuTime=193.38 mem=15M359
297.53
297.53 search
297.53 run=25 nbConstraintChecks=2006315659 nbPropagations=70148358 nbRevisions=1075782827
297.53 nbUselessRevisions=880613473 nbAssignments=1205921 nbFailedAssignments=448134 nbBacktracks=757539
297.53 nbVisitedNodes=2055027 nbRestartNogoods=172
297.53 => wckTime=296.48 cpuTime=296.31 mem=15M359
436.43
436.43 search
436.43 run=26 nbConstraintChecks=2906941042 nbPropagations=104968752 nbRevisions=1609965373
436.43 nbUselessRevisions=1318550994 nbAssignments=1798678 nbFailedAssignments=662115 nbBacktracks=1136307
436.43 nbVisitedNodes=3058455 nbRestartNogoods=189
436.43 => wckTime=435.374 cpuTime=435.17 mem=15M359
500.94
500.94 search
500.94 run=27 nbConstraintChecks=3347495509 nbPropagations=144902662 nbRevisions=2221752031
500.94 nbUselessRevisions=1819732115 nbAssignments=2061144 nbFailedAssignments=757945 nbBacktracks=1302893
500.94 nbVisitedNodes=3503980 nbRestartNogoods=210
500.94 => wckTime=499.882 cpuTime=499.66 mem=15M359
500.94
500.94 global
500.94 nbConstraintChecks=3347495509 nbPropagations=144902712 nbRevisions=2221752031 nbUselessRevisions=1819732115
500.94 nbRestartNogoods=210 solvingWckTime=499.883 solvingCpuTime=499.66 expiredTime=no totalExploration=no
500.94 nbFoundSolutions=1 globalCpuTime=500.12
500.94 => wckTime=500.454 cpuTime=500.07 mem=15M359
500.94
500.94 s SATISFIABLE
500.94 v 12 19 21 7 15 17 7 8 20 3 7 10 21 6 19 4 15 8 20 5 8 19 5 0 7 5 14 4 14 21 19 4 15 0 13 10 7 1 12 21 18 9 22 14 1 11 21 5 11 0
500.94 d NODES 2061144
500.94 d CHECKS 3347495509
500.94
500.94 totalWckTime=500.531 totalCpuTime=500.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-194434-1168069365 -o ROOT/results/node41/solver-194434-1168069365 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194434-1168069365/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.03 0.73 1.32 3/68 5958
/proc/meminfo: memFree=1668376/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=0 CPUtime=0
/proc/5957/stat : 5957 (runsolver) R 5955 5957 5411 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155336374 0 0 18446744073709551615 0 0 0 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5957/statm: 0 0 0 0 0 0 0
[startup+0.102847 s]
/proc/loadavg: 0.03 0.73 1.32 3/68 5958
/proc/meminfo: memFree=1668376/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=9788 CPUtime=0
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 461 0 0 0 0 0 0 0 18 0 1 0 155336374 10022912 248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1926274 0 0 4096 0 0 0 0 17 0 0 0
/proc/5957/statm: 2447 248 181 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9788
[startup+0.510883 s]
/proc/loadavg: 0.03 0.73 1.32 3/68 5958
/proc/meminfo: memFree=1668376/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915328 CPUtime=0.31
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 5397 0 1 0 28 3 0 0 17 0 8 0 155336374 937295872 5138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228833 5140 2031 14 0 215303 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915328
[startup+1.33195 s]
/proc/loadavg: 0.03 0.73 1.32 3/76 5968
/proc/meminfo: memFree=1640464/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=1.12
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9597 0 1 0 106 6 0 0 17 0 8 0 155336374 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5957/statm: 228865 9335 2513 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.18
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 915460
[startup+2.98409 s]
/proc/loadavg: 0.03 0.73 1.32 2/75 5968
/proc/meminfo: memFree=1640600/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=2.76
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9616 0 1 0 270 6 0 0 18 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.21
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 21 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 915460
[startup+6.27738 s]
/proc/loadavg: 0.11 0.73 1.32 3/76 5986
/proc/meminfo: memFree=1637968/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=6.05
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 598 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.21
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 21 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915460
[startup+12.7539 s]
/proc/loadavg: 0.18 0.74 1.31 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=12.52
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 1245 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.21
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 21 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
[startup+25.5881 s]
/proc/loadavg: 0.58 0.80 1.33 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=25.35
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 2528 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2853 s]
/proc/loadavg: 1.07 0.89 1.34 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=51.04
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 5097 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915460
[startup+102.568 s]
/proc/loadavg: 1.59 1.06 1.37 3/87 6010
/proc/meminfo: memFree=1610104/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=102.31
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9618 0 1 0 10224 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915460
[startup+162.587 s]
/proc/loadavg: 1.85 1.23 1.41 3/87 6010
/proc/meminfo: memFree=1610104/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=162.31
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9619 0 1 0 16224 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 915460
[startup+222.607 s]
/proc/loadavg: 1.94 1.37 1.45 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=222.32
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9619 0 1 0 22225 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 915460
[startup+282.623 s]
/proc/loadavg: 1.98 1.48 1.48 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=282.32
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9619 0 1 0 28225 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 915460
[startup+342.646 s]
/proc/loadavg: 1.99 1.57 1.51 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=342.32
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9620 0 1 0 34225 7 0 0 25 0 8 0 155336374 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9355 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 915460
[startup+402.663 s]
/proc/loadavg: 2.14 1.68 1.55 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=402.33
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9620 0 1 0 40226 7 0 0 25 0 8 0 155336374 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9355 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 915460
[startup+462.683 s]
/proc/loadavg: 2.05 1.74 1.57 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=462.33
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9620 0 1 0 46226 7 0 0 25 0 8 0 155336374 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9355 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 500.971
CPU time (s): 500.604
CPU user time (s): 500.518
CPU system time (s): 0.085986
CPU usage (%): 99.9268
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.518
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9624
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= 10990
involuntary context switches= 11073
runsolver used 0.433934 s user time and 1.35579 s system time
The end
Begin job on node41 on Sat Jan 6 07:42:46 UTC 2007
IDJOB= 194434
IDBENCH= 3214
FILE ID= node41/194434-1168069365
PBS_JOBID= 3475926
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194434-1168069365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-194434-1168069365 -o ROOT/results/node41/solver-194434-1168069365 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194434-1168069365/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 10e79bacb24ee1816b3f49175d912749
RANDOM SEED= 151391577
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: 1668856 kB
Buffers: 31948 kB
Cached: 259840 kB
SwapCached: 0 kB
Active: 54720 kB
Inactive: 257180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1668856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2208 kB
Writeback: 0 kB
Mapped: 30276 kB
Slab: 60784 kB
Committed_AS: 2485504 kB
PageTables: 1700 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= 66529 MiB
End job on node41 on Sat Jan 6 07:51:13 UTC 2007