0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/233741-1168081392/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=49 nbDomainTypes=49 minDomainSize=304 maxDomainSize=398
0.41 => wckTime=0.108 cpuTime=0.08 mem=7M879
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
4.35
4.35 INFO : Stopping converting binary constraints (cpu=4.01, mem = 19M591)
4.40 nbConstraints=294 nbConvertedConstraints=118 nbConvertConstraintsChecks=14123359 nbExtensionStructures=118
4.40 nbSharedExtensionStructures=0 nbConflictsStructures=118 nbSharedConflictsStructures=0
4.40 nbSharedBinaryRepresentations=24382 nbEvaluationManagers=176 nbSharedEvaluationManagers=0 maxDegree=12
4.40 maxArity=2
4.40 => wckTime=4.1 cpuTime=3.98 mem=21M542
4.46
4.46 solver IterativeSystematicSolver being built...
4.62 => wckTime=4.322 cpuTime=4.1 mem=20M761
5.14
5.14 preprocessing
5.14 nbConstraintChecks=1410367 nbValidityChecks=11737 nbPropagations=49 nbRevisions=352 nbUselessRevisions=352
5.14 nbRemovedValues=0 detectedInconsistency=no
5.14 => wckTime=0.519 cpuTime=0.51 mem=20M761
6.83
6.83 search
6.83 run=0 nbConstraintChecks=6021050 nbValidityChecks=1535081 nbPropagations=2219 nbRevisions=18008
6.83 nbUselessRevisions=12360 nbAssignments=251 nbFailedAssignments=225 nbBacktracks=11 nbVisitedNodes=488
6.83 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
6.83 => wckTime=2.208 cpuTime=2.16 mem=20M761
19.98
19.98 search
19.98 run=1 nbConstraintChecks=48873784 nbValidityChecks=6833783 nbPropagations=9389 nbRevisions=73417
19.98 nbUselessRevisions=45539 nbAssignments=1452 nbFailedAssignments=1404 nbBacktracks=26 nbVisitedNodes=2882
19.98 nbRestartNogoods=6 mapSize=25 nbInferences=0 nbTooLargeKeys=0
19.98 => wckTime=15.354 cpuTime=15.18 mem=20M761
22.11
22.11 search
22.11 run=2 nbConstraintChecks=57666964 nbValidityChecks=8403020 nbPropagations=20151 nbRevisions=158985
22.11 nbUselessRevisions=97479 nbAssignments=1848 nbFailedAssignments=1760 nbBacktracks=48 nbVisitedNodes=3655
22.11 nbRestartNogoods=15 mapSize=47 nbInferences=0 nbTooLargeKeys=0
22.11 => wckTime=17.488 cpuTime=17.28 mem=20M761
23.32
23.32 search
23.32 run=3 nbConstraintChecks=62745650 nbValidityChecks=10957862 nbPropagations=34860 nbRevisions=275790
23.32 nbUselessRevisions=171868 nbAssignments=2113 nbFailedAssignments=1978 nbBacktracks=81 nbVisitedNodes=4169
23.32 nbRestartNogoods=34 mapSize=80 nbInferences=0 nbTooLargeKeys=0
23.32 => wckTime=18.699 cpuTime=18.48 mem=21M736
26.10
26.10 search
26.10 run=4 nbConstraintChecks=78557833 nbValidityChecks=14219510 nbPropagations=55650 nbRevisions=442909
26.10 nbUselessRevisions=274139 nbAssignments=3347 nbFailedAssignments=3149 nbBacktracks=131 nbVisitedNodes=6621
26.10 nbRestartNogoods=61 mapSize=129 nbInferences=0 nbTooLargeKeys=0
26.10 => wckTime=21.475 cpuTime=21.21 mem=21M736
30.92
30.92 search
30.92 run=5 nbConstraintChecks=100898719 nbValidityChecks=18819089 nbPropagations=86539 nbRevisions=690247
30.92 nbUselessRevisions=427491 nbAssignments=4884 nbFailedAssignments=4593 nbBacktracks=206 nbVisitedNodes=9671
30.92 nbRestartNogoods=191 mapSize=201 nbInferences=0 nbTooLargeKeys=0
30.92 => wckTime=26.295 cpuTime=26.0 mem=21M736
35.97
35.97 search
35.97 run=6 nbConstraintChecks=124514885 nbValidityChecks=24827307 nbPropagations=127775 nbRevisions=1022561
35.97 nbUselessRevisions=632665 nbAssignments=6177 nbFailedAssignments=5761 nbBacktracks=319 nbVisitedNodes=12197
35.97 nbRestartNogoods=243 mapSize=273 nbInferences=0 nbTooLargeKeys=0
35.97 => wckTime=31.343 cpuTime=31.01 mem=21M736
45.39
45.39 search
45.39 run=7 nbConstraintChecks=169539888 nbValidityChecks=37016499 nbPropagations=188323 nbRevisions=1522903
45.39 nbUselessRevisions=943475 nbAssignments=8632 nbFailedAssignments=8032 nbBacktracks=490 nbVisitedNodes=17038
45.39 nbRestartNogoods=301 mapSize=426 nbInferences=0 nbTooLargeKeys=0
45.39 => wckTime=40.762 cpuTime=40.34 mem=21M736
94.14
94.14 search
94.14 run=8 nbConstraintChecks=364543772 nbValidityChecks=95612925 nbPropagations=302490 nbRevisions=2449510
94.14 nbUselessRevisions=1519212 nbAssignments=18233 nbFailedAssignments=17359 nbBacktracks=746 nbVisitedNodes=36180
94.14 nbRestartNogoods=320 mapSize=663 nbInferences=0 nbTooLargeKeys=0
94.14 => wckTime=89.514 cpuTime=88.68 mem=22M711
106.80
106.80 search
106.80 run=9 nbConstraintChecks=421310278 nbValidityChecks=110319537 nbPropagations=443313 nbRevisions=3616542
106.80 nbUselessRevisions=2256834 nbAssignments=20406 nbFailedAssignments=19095 nbBacktracks=1132 nbVisitedNodes=40441
106.80 nbRestartNogoods=407 mapSize=1027 nbInferences=38 nbTooLargeKeys=0
106.80 => wckTime=102.171 cpuTime=101.21 mem=23M687
122.32
122.32 search
122.32 run=10 nbConstraintChecks=508852550 nbValidityChecks=128091009 nbPropagations=642938 nbRevisions=5323227
122.32 nbUselessRevisions=3365193 nbAssignments=26469 nbFailedAssignments=24564 nbBacktracks=1708 nbVisitedNodes=52517
122.32 nbRestartNogoods=453 mapSize=1592 nbInferences=38 nbTooLargeKeys=0
122.32 => wckTime=117.692 cpuTime=116.59 mem=24M662
142.60
142.60 search
142.60 run=11 nbConstraintChecks=589858206 nbValidityChecks=168738453 nbPropagations=909677 nbRevisions=7534761
142.60 nbUselessRevisions=4827629 nbAssignments=35371 nbFailedAssignments=32568 nbBacktracks=2572 nbVisitedNodes=70159
142.60 nbRestartNogoods=492 mapSize=2404 nbInferences=59 nbTooLargeKeys=0
142.60 => wckTime=137.979 cpuTime=136.71 mem=25M637
240.37
240.37 search
240.37 run=12 nbConstraintChecks=1083479921 nbValidityChecks=319705103 nbPropagations=1446813 nbRevisions=12110434
240.37 nbUselessRevisions=7871374 nbAssignments=65555 nbFailedAssignments=61437 nbBacktracks=3869
240.37 nbVisitedNodes=130411 nbRestartNogoods=509 mapSize=3693 nbInferences=59 nbTooLargeKeys=0
240.37 => wckTime=235.748 cpuTime=233.63 mem=27M587
408.31
408.31 search
408.31 run=13 nbConstraintChecks=1722692167 nbValidityChecks=495474736 nbPropagations=2258856 nbRevisions=19116818
408.31 nbUselessRevisions=12424884 nbAssignments=99007 nbFailedAssignments=92933 nbBacktracks=5815
408.31 nbVisitedNodes=197158 nbRestartNogoods=789 mapSize=5602 nbInferences=59 nbTooLargeKeys=0
408.31 => wckTime=403.687 cpuTime=400.12 mem=30M513
495.03
495.03 search
495.03 run=14 nbConstraintChecks=2165431939 nbValidityChecks=644822954 nbPropagations=3434339 nbRevisions=29016436
495.03 nbUselessRevisions=18900162 nbAssignments=144293 nbFailedAssignments=135219 nbBacktracks=8734
495.03 nbVisitedNodes=287503 nbRestartNogoods=819 mapSize=8478 nbInferences=125 nbTooLargeKeys=0
495.03 => wckTime=490.408 cpuTime=486.35 mem=35M389
575.79
575.79 search
575.79 run=15 nbConstraintChecks=2526524333 nbValidityChecks=729320284 nbPropagations=4774454 nbRevisions=40461206
575.79 nbUselessRevisions=26410622 nbAssignments=159718 nbFailedAssignments=148604 nbBacktracks=10725
575.79 nbVisitedNodes=317773 nbRestartNogoods=879 mapSize=10121 nbInferences=125 nbTooLargeKeys=0
575.79 => wckTime=571.167 cpuTime=566.74 mem=38M314
575.79
575.79 global
575.79 nbConstraintChecks=2527934700 nbValidityChecks=729332021 nbPropagations=4774503 nbRevisions=40461558
575.79 nbUselessRevisions=26410974 nbRestartNogoods=879 solvingWckTime=571.168 solvingCpuTime=566.74 expiredTime=no
575.79 totalExploration=no nbFoundSolutions=1 globalCpuTime=570.91
575.79 => wckTime=575.494 cpuTime=570.85 mem=38M314
575.79
575.79 s SATISFIABLE
575.79 v 231 0 114 270 94 356 169 141 0 64 337 100 150 247 323 0 363 242 231 70 145 97 341 235 0 121 340 173 95 144 337 0 154 215 273 104 285 0 315 166 70 227 320 222 84 173 250 341 0
575.79 d NODES 159718
575.79 d CHECKS 2527934700
575.79
575.79 totalWckTime=575.57 totalCpuTime=570.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-233741-1168081392 -o ROOT/results/node51/solver-233741-1168081392 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233741-1168081392/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.02 1.01 1.00 2/80 1299
/proc/meminfo: memFree=1423280/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=18540 CPUtime=0
/proc/1298/stat : 1298 (runsolver) R 1296 1298 862 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156538438 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1298/statm: 4635 279 244 17 0 2626 0
[startup+0.10213 s]
/proc/loadavg: 1.02 1.01 1.00 2/80 1299
/proc/meminfo: memFree=1423280/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=914988 CPUtime=0.08
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 2995 0 1 0 6 2 0 0 24 0 8 0 156538438 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510201 s]
/proc/loadavg: 1.02 1.01 1.00 2/80 1299
/proc/meminfo: memFree=1423280/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=0.49
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 6850 0 1 0 44 5 0 0 25 0 8 0 156538438 937431040 6589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 6589 2160 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33134 s]
/proc/loadavg: 1.02 1.01 1.00 3/87 1306
/proc/meminfo: memFree=1403640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=1.29
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 7415 0 1 0 124 5 0 0 25 0 8 0 156538438 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 7153 2167 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156538442 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156538443 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 156538443 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.09
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 323 0 0 0 9 0 0 0 16 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98062 s]
/proc/loadavg: 1.02 1.01 1.00 3/87 1306
/proc/meminfo: memFree=1400632/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=2.94
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 8461 0 1 0 288 6 0 0 25 0 8 0 156538438 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 8199 2167 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156538442 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156538443 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 156538443 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.1
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26417 s]
/proc/loadavg: 1.10 1.03 1.01 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=6.19
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11627 0 1 0 612 7 0 0 25 0 8 0 156538438 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642530 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11363 2531 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1461 0 0 0 4 0 0 0 17 0 8 0 156538442 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.19
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 380 0 0 0 18 1 0 0 15 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7423 s]
/proc/loadavg: 1.17 1.04 1.01 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=12.63
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11640 0 1 0 1255 8 0 0 25 0 8 0 156538438 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11373 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.2
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5865 s]
/proc/loadavg: 1.36 1.09 1.02 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=25.34
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11659 0 1 0 2526 8 0 0 25 0 8 0 156538438 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11387 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.23
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.2838 s]
/proc/loadavg: 1.57 1.16 1.05 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=50.83
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11662 0 1 0 5075 8 0 0 25 0 8 0 156538438 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11389 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.23
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915460
[startup+102.566 s]
/proc/loadavg: 1.85 1.30 1.10 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=101.68
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11662 0 1 0 10160 8 0 0 25 0 8 0 156538438 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11389 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.23
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 915460
[startup+162.597 s]
/proc/loadavg: 1.94 1.43 1.16 3/87 1306
/proc/meminfo: memFree=1387768/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=161.17
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11667 0 1 0 16109 8 0 0 25 0 8 0 156538438 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11393 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 915460
[startup+222.618 s]
/proc/loadavg: 1.98 1.53 1.21 3/87 1306
/proc/meminfo: memFree=1387768/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=220.68
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11688 0 1 0 22060 8 0 0 25 0 8 0 156538438 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11414 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 915460
[startup+282.643 s]
/proc/loadavg: 1.99 1.61 1.25 3/87 1306
/proc/meminfo: memFree=1387200/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=280.19
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11843 0 1 0 28011 8 0 0 25 0 8 0 156538438 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11569 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.19
Current children cumulated vsize (KiB) 915460
[startup+342.664 s]
/proc/loadavg: 1.99 1.68 1.30 3/87 1306
/proc/meminfo: memFree=1386688/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=339.68
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11967 0 1 0 33960 8 0 0 25 0 8 0 156538438 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11693 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 915460
[startup+402.682 s]
/proc/loadavg: 2.07 1.75 1.34 3/87 1306
/proc/meminfo: memFree=1384448/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=399.19
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 12522 0 1 0 39910 9 0 0 25 0 8 0 156538438 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 12248 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 915460
[startup+462.708 s]
/proc/loadavg: 1.97 1.78 1.38 3/87 1364
/proc/meminfo: memFree=1298032/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=458.81
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 13313 0 1 0 45870 11 0 0 25 0 8 0 156538438 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 13039 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.81
Current children cumulated vsize (KiB) 915460
[startup+522.734 s]
/proc/loadavg: 1.99 1.82 1.41 3/87 1364
/proc/meminfo: memFree=1295408/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=518.57
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 13979 0 1 0 51846 11 0 0 25 0 8 0 156538438 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643229 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 13705 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.57
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 575.819
CPU time (s): 571.415
CPU user time (s): 571.281
CPU system time (s): 0.133979
CPU usage (%): 99.2351
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.281
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14496
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= 12963
involuntary context switches= 24943
runsolver used 0.633903 s user time and 1.63175 s system time
The end
Begin job on node51 on Sat Jan 6 11:03:16 UTC 2007
IDJOB= 233741
IDBENCH= 6630
FILE ID= node51/233741-1168081392
PBS_JOBID= 3476194
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-100-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233741-1168081392/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-233741-1168081392 -o ROOT/results/node51/solver-233741-1168081392 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233741-1168081392/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c8447009f795ef7e4fc3e22f2417f8c2
RANDOM SEED= 264991947
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.277
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.277
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: 1424016 kB
Buffers: 33148 kB
Cached: 475016 kB
SwapCached: 0 kB
Active: 99928 kB
Inactive: 462120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1424016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1744 kB
Writeback: 0 kB
Mapped: 74072 kB
Slab: 55184 kB
Committed_AS: 3885732 kB
PageTables: 1896 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= 66545 MiB
End job on node51 on Sat Jan 6 11:12:55 UTC 2007