0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/229889-1168081012/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.72 nbConstraints=461 nbRelationTypes=461 nbExtensionStructures=461 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=461 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2358 maxDegree=28
0.72 maxArity=2
0.72 => wckTime=0.396 cpuTime=0.3 mem=16M967
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.6 cpuTime=0.43 mem=15M355
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.0090 cpuTime=0.01 mem=15M355
0.98
0.98 search
0.98 run=0 nbConstraintChecks=55480 nbPropagations=722 nbRevisions=8520 nbUselessRevisions=6971 nbAssignments=31
0.99 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.062 cpuTime=0.04 mem=15M355
1.01
1.01 search
1.01 run=1 nbConstraintChecks=103186 nbPropagations=2050 nbRevisions=24230 nbUselessRevisions=19932
1.01 nbAssignments=64 nbFailedAssignments=16 nbBacktracks=28 nbVisitedNodes=95 nbRestartNogoods=4 mapSize=21
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.086 cpuTime=0.05 mem=15M355
1.03
1.03 search
1.03 run=2 nbConstraintChecks=163921 nbPropagations=4192 nbRevisions=49843 nbUselessRevisions=41148
1.03 nbAssignments=106 nbFailedAssignments=24 nbBacktracks=51 nbVisitedNodes=156 nbRestartNogoods=5 mapSize=36
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.106 cpuTime=0.07 mem=15M355
1.05
1.05 search
1.05 run=3 nbConstraintChecks=257094 nbPropagations=7544 nbRevisions=92009 nbUselessRevisions=76083
1.05 nbAssignments=166 nbFailedAssignments=43 nbBacktracks=84 nbVisitedNodes=249 nbRestartNogoods=7 mapSize=61
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.127 cpuTime=0.09 mem=15M355
1.08
1.08 search
1.08 run=4 nbConstraintChecks=411594 nbPropagations=12720 nbRevisions=159561 nbUselessRevisions=131382
1.08 nbAssignments=257 nbFailedAssignments=73 nbBacktracks=135 nbVisitedNodes=401 nbRestartNogoods=10 mapSize=101
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.159 cpuTime=0.12 mem=15M355
1.13
1.13 search
1.13 run=5 nbConstraintChecks=613905 nbPropagations=20434 nbRevisions=262493 nbUselessRevisions=215360
1.13 nbAssignments=389 nbFailedAssignments=119 nbBacktracks=212 nbVisitedNodes=618 nbRestartNogoods=18 mapSize=159
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.2 cpuTime=0.16 mem=15M355
1.18
1.18 search
1.18 run=6 nbConstraintChecks=873053 nbPropagations=31305 nbRevisions=411142 nbUselessRevisions=336549
1.18 nbAssignments=572 nbFailedAssignments=176 nbBacktracks=330 nbVisitedNodes=914 nbRestartNogoods=22 mapSize=245
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.257 cpuTime=0.21 mem=15M355
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1413453 nbPropagations=48078 nbRevisions=653343 nbUselessRevisions=533990
1.27 nbAssignments=869 nbFailedAssignments=294 nbBacktracks=500 nbVisitedNodes=1426 nbRestartNogoods=24 mapSize=388
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.351 cpuTime=0.3 mem=15M355
1.41
1.41 search
1.41 run=8 nbConstraintChecks=2147896 nbPropagations=73670 nbRevisions=1033488 nbUselessRevisions=843673
1.41 nbAssignments=1344 nbFailedAssignments=503 nbBacktracks=756 nbVisitedNodes=2253 nbRestartNogoods=28
1.41 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.491 cpuTime=0.43 mem=15M355
1.59
1.59 search
1.59 run=9 nbConstraintChecks=3063702 nbPropagations=110953 nbRevisions=1587801 nbUselessRevisions=1295907
1.59 nbAssignments=1952 nbFailedAssignments=717 nbBacktracks=1140 nbVisitedNodes=3277 nbRestartNogoods=31
1.59 mapSize=914 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.665 cpuTime=0.59 mem=15M355
1.66
1.66 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M355)
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4480672 nbPropagations=166625 nbRevisions=2415868 nbUselessRevisions=1971964
1.83 nbAssignments=2908 nbFailedAssignments=1085 nbBacktracks=1721 nbVisitedNodes=4900 nbRestartNogoods=39
1.83 => wckTime=0.91 cpuTime=0.82 mem=15M355
2.20
2.20 search
2.20 run=11 nbConstraintChecks=6862539 nbPropagations=251325 nbRevisions=3694987 nbUselessRevisions=3017915
2.20 nbAssignments=4413 nbFailedAssignments=1716 nbBacktracks=2586 nbVisitedNodes=7510 nbRestartNogoods=42
2.20 => wckTime=1.282 cpuTime=1.19 mem=15M355
2.70
2.70 search
2.70 run=12 nbConstraintChecks=10083410 nbPropagations=375332 nbRevisions=5556263 nbUselessRevisions=4538550
2.70 nbAssignments=6453 nbFailedAssignments=2450 nbBacktracks=3883 nbVisitedNodes=10943 nbRestartNogoods=47
2.70 => wckTime=1.779 cpuTime=1.68 mem=15M355
3.47
3.47 search
3.47 run=13 nbConstraintChecks=14850054 nbPropagations=560168 nbRevisions=8364913 nbUselessRevisions=6840596
3.47 nbAssignments=9675 nbFailedAssignments=3717 nbBacktracks=5830 nbVisitedNodes=16497 nbRestartNogoods=57
3.47 => wckTime=2.545 cpuTime=2.44 mem=15M355
4.48
4.48 search
4.48 run=14 nbConstraintChecks=21131284 nbPropagations=828703 nbRevisions=12399823 nbUselessRevisions=10147251
4.48 nbAssignments=14212 nbFailedAssignments=5324 nbBacktracks=8750 nbVisitedNodes=24124 nbRestartNogoods=61
4.48 => wckTime=3.555 cpuTime=3.45 mem=15M355
6.32
6.32 search
6.32 run=15 nbConstraintChecks=33420420 nbPropagations=1238788 nbRevisions=18634235 nbUselessRevisions=15250081
6.32 nbAssignments=21368 nbFailedAssignments=8089 nbBacktracks=13131 nbVisitedNodes=36437 nbRestartNogoods=67
6.32 => wckTime=5.395 cpuTime=5.28 mem=15M355
8.68
8.68 search
8.68 run=16 nbConstraintChecks=48586754 nbPropagations=1839653 nbRevisions=27691029 nbUselessRevisions=22656641
8.68 nbAssignments=31533 nbFailedAssignments=11681 nbBacktracks=19699 nbVisitedNodes=53374 nbRestartNogoods=78
8.68 => wckTime=7.762 cpuTime=7.64 mem=15M355
12.38
12.38 search
12.38 run=17 nbConstraintChecks=72278634 nbPropagations=2740772 nbRevisions=41278580 nbUselessRevisions=33782633
12.38 nbAssignments=47242 nbFailedAssignments=17526 nbBacktracks=29552 nbVisitedNodes=80098 nbRestartNogoods=81
12.38 => wckTime=11.461 cpuTime=11.32 mem=15M355
17.69
17.69 search
17.69 run=18 nbConstraintChecks=106015456 nbPropagations=4080326 nbRevisions=61381656 nbUselessRevisions=50243269
17.69 nbAssignments=70548 nbFailedAssignments=26039 nbBacktracks=44335 nbVisitedNodes=119645 nbRestartNogoods=97
17.69 => wckTime=16.771 cpuTime=16.61 mem=15M355
26.55
26.55 search
26.55 run=19 nbConstraintChecks=165086744 nbPropagations=6112579 nbRevisions=92074332 nbUselessRevisions=75349008
26.55 nbAssignments=105822 nbFailedAssignments=39134 nbBacktracks=66505 nbVisitedNodes=179718 nbRestartNogoods=106
26.55 => wckTime=25.632 cpuTime=25.42 mem=15M355
38.34
38.34 search
38.34 run=20 nbConstraintChecks=238932292 nbPropagations=9128084 nbRevisions=137177570 nbUselessRevisions=112269831
38.34 nbAssignments=157896 nbFailedAssignments=57947 nbBacktracks=99759 nbVisitedNodes=267672 nbRestartNogoods=117
38.34 => wckTime=37.415 cpuTime=37.15 mem=15M355
58.04
58.04 search
58.04 run=21 nbConstraintChecks=367396294 nbPropagations=13723170 nbRevisions=206189103 nbUselessRevisions=168724406
58.05 nbAssignments=239183 nbFailedAssignments=89344 nbBacktracks=149637 nbVisitedNodes=407285 nbRestartNogoods=124
58.05 => wckTime=57.123 cpuTime=56.76 mem=15M355
86.04
86.04 search
86.04 run=22 nbConstraintChecks=550995465 nbPropagations=20533778 nbRevisions=308551586 nbUselessRevisions=252346200
86.04 nbAssignments=356974 nbFailedAssignments=132307 nbBacktracks=224456 nbVisitedNodes=605773 nbRestartNogoods=141
86.04 => wckTime=85.121 cpuTime=84.62 mem=15M355
131.98
131.98 search
131.98 run=23 nbConstraintChecks=853816199 nbPropagations=30979069 nbRevisions=467094899 nbUselessRevisions=382085889
131.98 nbAssignments=539602 nbFailedAssignments=202697 nbBacktracks=336685 nbVisitedNodes=919708 nbRestartNogoods=155
131.98 => wckTime=131.055 cpuTime=130.35 mem=15M355
194.01
194.01 search
194.01 run=24 nbConstraintChecks=1251753792 nbPropagations=46422491 nbRevisions=701817488 nbUselessRevisions=574447913
194.01 nbAssignments=803218 nbFailedAssignments=297957 nbBacktracks=505028 nbVisitedNodes=1365368 nbRestartNogoods=169
194.01 => wckTime=193.091 cpuTime=192.1 mem=15M355
297.94
297.94 search
297.94 run=25 nbConstraintChecks=1949588352 nbPropagations=70057224 nbRevisions=1060088208
297.94 nbUselessRevisions=867445694 nbAssignments=1209637 nbFailedAssignments=451853 nbBacktracks=757541
297.94 nbVisitedNodes=2063086 nbRestartNogoods=182
297.94 => wckTime=297.02 cpuTime=295.39 mem=15M355
396.38
396.38 search
396.38 run=26 nbConstraintChecks=2593680866 nbPropagations=101484462 nbRevisions=1537405377
396.38 nbUselessRevisions=1257954604 nbAssignments=1611602 nbFailedAssignments=600375 nbBacktracks=1010934
396.38 nbVisitedNodes=2745874 nbRestartNogoods=195
396.38 => wckTime=395.458 cpuTime=393.31 mem=15M355
396.38
396.38 global
396.38 nbConstraintChecks=2593680866 nbPropagations=101484512 nbRevisions=1537405377 nbUselessRevisions=1257954604
396.38 nbRestartNogoods=195 solvingWckTime=395.459 solvingCpuTime=393.31 expiredTime=no totalExploration=no
396.38 nbFoundSolutions=1 globalCpuTime=393.79
396.38 => wckTime=396.062 cpuTime=393.74 mem=15M355
396.38
396.38 s SATISFIABLE
396.38 v 10 0 18 9 19 12 2 6 4 18 5 18 14 4 14 3 14 19 18 15 1 2 17 20 22 4 13 9 10 2 13 11 18 18 9 19 15 13 6 16 9 0 9 12 5 4 5 1 16 6
396.39 d NODES 1611602
396.39 d CHECKS 2593680866
396.39
396.39 totalWckTime=396.144 totalCpuTime=393.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-229889-1168081012 -o ROOT/results/node60/solver-229889-1168081012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229889-1168081012/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.06 0.36 0.67 2/70 13355
/proc/meminfo: memFree=1472032/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=18540 CPUtime=0
/proc/13354/stat : 13354 (runsolver) R 13351 13354 13248 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 156499818 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13354/statm: 4635 280 244 17 0 2626 0
[startup+0.103904 s]
/proc/loadavg: 0.06 0.36 0.67 2/70 13355
/proc/meminfo: memFree=1472032/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=913236 CPUtime=0.08
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 156499818 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154054481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.511941 s]
/proc/loadavg: 0.06 0.36 0.67 2/70 13355
/proc/meminfo: memFree=1472032/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915328 CPUtime=0.48
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 6883 0 1 0 44 4 0 0 18 0 8 0 156499818 937295872 6622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228832 6622 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33702 s]
/proc/loadavg: 0.06 0.36 0.67 3/87 13372
/proc/meminfo: memFree=1416536/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=1.3
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9594 0 1 0 124 6 0 0 24 0 8 0 156499818 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9332 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 156499823 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.21
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9332 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) 915460
[startup+2.98418 s]
/proc/loadavg: 0.06 0.36 0.67 4/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=2.94
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 288 6 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.18749 s]
/proc/loadavg: 0.22 0.38 0.68 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=6.13
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 606 7 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915460
[startup+12.6581 s]
/proc/loadavg: 0.36 0.41 0.68 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=12.57
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 1250 7 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915460
[startup+25.5094 s]
/proc/loadavg: 0.72 0.49 0.71 3/87 13372
/proc/meminfo: memFree=1416408/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=25.36
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 2529 7 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.1139 s]
/proc/loadavg: 1.16 0.61 0.74 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=50.84
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9614 0 1 0 5077 7 0 0 25 0 8 0 156499818 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9349 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915460
[startup+102.316 s]
/proc/loadavg: 1.63 0.82 0.80 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=101.8
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9614 0 1 0 10173 7 0 0 25 0 8 0 156499818 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9349 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915460
[startup+162.356 s]
/proc/loadavg: 1.94 1.05 0.88 3/87 13372
/proc/meminfo: memFree=1416408/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=161.56
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9614 0 1 0 16149 7 0 0 25 0 8 0 156499818 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9349 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 915460
[startup+222.401 s]
/proc/loadavg: 2.02 1.23 0.95 4/87 13372
/proc/meminfo: memFree=1416408/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=221.33
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9615 0 1 0 22126 7 0 0 25 0 8 0 156499818 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9350 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 915460
[startup+282.472 s]
/proc/loadavg: 2.01 1.37 1.02 5/93 13510
/proc/meminfo: memFree=1414992/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=280.98
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9615 0 1 0 28091 7 0 0 25 0 8 0 156499818 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9350 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (KiB) 915460
[startup+342.544 s]
/proc/loadavg: 2.00 1.48 1.07 3/87 13570
/proc/meminfo: memFree=1415936/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=340.7
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9615 0 1 0 34063 7 0 0 25 0 8 0 156499818 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9350 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.7
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 396.422
CPU time (s): 394.314
CPU user time (s): 394.226
CPU system time (s): 0.087986
CPU usage (%): 99.4683
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 394.226
system time used= 0.087986
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= 9182
involuntary context switches= 13908
runsolver used 0.515921 s user time and 1.25381 s system time
The end
Begin job on node60 on Sat Jan 6 10:56:54 UTC 2007
IDJOB= 229889
IDBENCH= 6374
FILE ID= node60/229889-1168081012
PBS_JOBID= 3476189
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229889-1168081012/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-229889-1168081012 -o ROOT/results/node60/solver-229889-1168081012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229889-1168081012/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2e7ba53ea9b6aeb5151fd952bd2d9036
RANDOM SEED= 343752115
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.236
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.236
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: 1475024 kB
Buffers: 48276 kB
Cached: 438264 kB
SwapCached: 0 kB
Active: 66692 kB
Inactive: 440020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1475024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 30376 kB
Slab: 59828 kB
Committed_AS: 3300280 kB
PageTables: 1728 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= 66549 MiB
End job on node60 on Sat Jan 6 11:03:36 UTC 2007