0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202695-1168072646/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=336 nbRelationTypes=336 nbExtensionStructures=336 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=336 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2861 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.327 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.523 cpuTime=0.37 mem=13M921
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.01 mem=13M921
0.89
0.89 search
0.89 run=0 nbConstraintChecks=31543 nbPropagations=512 nbRevisions=5728 nbUselessRevisions=4622 nbAssignments=28
0.89 nbFailedAssignments=9 nbBacktracks=13 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.055 cpuTime=0.03 mem=14M896
0.91
0.91 search
0.91 run=1 nbConstraintChecks=69037 nbPropagations=1633 nbRevisions=18637 nbUselessRevisions=15133 nbAssignments=60
0.91 nbFailedAssignments=17 nbBacktracks=29 nbVisitedNodes=93 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.05 mem=14M896
0.94
0.94 search
0.94 run=2 nbConstraintChecks=130707 nbPropagations=3614 nbRevisions=42314 nbUselessRevisions=34334
0.94 nbAssignments=112 nbFailedAssignments=37 nbBacktracks=53 nbVisitedNodes=178 nbRestartNogoods=4 mapSize=46
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.099 cpuTime=0.06 mem=14M896
0.95
0.95 search
0.95 run=3 nbConstraintChecks=201883 nbPropagations=6636 nbRevisions=79124 nbUselessRevisions=64192
0.95 nbAssignments=173 nbFailedAssignments=58 nbBacktracks=87 nbVisitedNodes=280 nbRestartNogoods=9 mapSize=73
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.116 cpuTime=0.08 mem=14M896
0.98
0.98 search
0.98 run=4 nbConstraintChecks=297101 nbPropagations=11036 nbRevisions=134336 nbUselessRevisions=109055
0.98 nbAssignments=251 nbFailedAssignments=80 nbBacktracks=137 nbVisitedNodes=411 nbRestartNogoods=11 mapSize=115
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.139 cpuTime=0.1 mem=14M896
1.01
1.02 search
1.02 run=5 nbConstraintChecks=450427 nbPropagations=17790 nbRevisions=221514 nbUselessRevisions=179953
1.02 nbAssignments=385 nbFailedAssignments=131 nbBacktracks=212 nbVisitedNodes=637 nbRestartNogoods=13 mapSize=179
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.176 cpuTime=0.13 mem=14M896
1.07
1.07 search
1.07 run=6 nbConstraintChecks=707073 nbPropagations=28239 nbRevisions=359430 nbUselessRevisions=291713
1.07 nbAssignments=582 nbFailedAssignments=207 nbBacktracks=325 nbVisitedNodes=982 nbRestartNogoods=19 mapSize=277
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.23 cpuTime=0.18 mem=14M896
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1053181 nbPropagations=43948 nbRevisions=567928 nbUselessRevisions=460751
1.14 nbAssignments=867 nbFailedAssignments=311 nbBacktracks=499 nbVisitedNodes=1479 nbRestartNogoods=24 mapSize=426
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.307 cpuTime=0.25 mem=14M896
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1607152 nbPropagations=67454 nbRevisions=886392 nbUselessRevisions=718954
1.26 nbAssignments=1292 nbFailedAssignments=471 nbBacktracks=757 nbVisitedNodes=2216 nbRestartNogoods=29
1.26 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.42 cpuTime=0.36 mem=14M896
1.42
1.42 search
1.42 run=9 nbConstraintChecks=2368833 nbPropagations=102202 nbRevisions=1360511 nbUselessRevisions=1103390
1.42 nbAssignments=1944 nbFailedAssignments=731 nbBacktracks=1142 nbVisitedNodes=3346 nbRestartNogoods=37
1.42 mapSize=974 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.579 cpuTime=0.5 mem=14M896
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=14M896)
1.64
1.64 search
1.64 run=10 nbConstraintChecks=3572720 nbPropagations=154522 nbRevisions=2076509 nbUselessRevisions=1683655
1.64 nbAssignments=2919 nbFailedAssignments=1123 nbBacktracks=1720 nbVisitedNodes=5045 nbRestartNogoods=46
1.64 => wckTime=0.803 cpuTime=0.71 mem=14M896
1.94
1.94 search
1.94 run=11 nbConstraintChecks=5411645 nbPropagations=232527 nbRevisions=3158390 nbUselessRevisions=2561122
1.94 nbAssignments=4366 nbFailedAssignments=1699 nbBacktracks=2585 nbVisitedNodes=7552 nbRestartNogoods=51
1.94 => wckTime=1.105 cpuTime=1.01 mem=14M896
2.40
2.40 search
2.40 run=12 nbConstraintChecks=8187276 nbPropagations=349523 nbRevisions=4773811 nbUselessRevisions=3867683
2.40 nbAssignments=6535 nbFailedAssignments=2564 nbBacktracks=3882 nbVisitedNodes=11285 nbRestartNogoods=61
2.40 => wckTime=1.558 cpuTime=1.45 mem=14M896
3.07
3.07 search
3.07 run=13 nbConstraintChecks=12260142 nbPropagations=525153 nbRevisions=7224546 nbUselessRevisions=5854225
3.07 nbAssignments=9863 nbFailedAssignments=3936 nbBacktracks=5832 nbVisitedNodes=17100 nbRestartNogoods=64
3.07 => wckTime=2.236 cpuTime=2.13 mem=14M896
4.10
4.10 search
4.10 run=14 nbConstraintChecks=18669341 nbPropagations=788919 nbRevisions=10901605 nbUselessRevisions=8829770
4.10 nbAssignments=14700 nbFailedAssignments=5845 nbBacktracks=8753 nbVisitedNodes=25500 nbRestartNogoods=71
4.10 => wckTime=3.266 cpuTime=3.15 mem=14M896
5.62
5.62 search
5.62 run=15 nbConstraintChecks=27829250 nbPropagations=1183939 nbRevisions=16441678 nbUselessRevisions=13325289
5.62 nbAssignments=22019 nbFailedAssignments=8781 nbBacktracks=13131 nbVisitedNodes=38355 nbRestartNogoods=87
5.62 => wckTime=4.781 cpuTime=4.65 mem=14M896
7.92
7.92 search
7.92 run=16 nbConstraintChecks=42104502 nbPropagations=1777457 nbRevisions=24745641 nbUselessRevisions=20059423
7.92 nbAssignments=32837 nbFailedAssignments=13022 nbBacktracks=19699 nbVisitedNodes=57143 nbRestartNogoods=95
7.92 => wckTime=7.082 cpuTime=6.92 mem=14M896
11.35
11.35 search
11.35 run=17 nbConstraintChecks=63146745 nbPropagations=2670295 nbRevisions=37333034 nbUselessRevisions=30289093
11.35 nbAssignments=49473 nbFailedAssignments=19798 nbBacktracks=29551 nbVisitedNodes=86388 nbRestartNogoods=101
11.35 => wckTime=10.516 cpuTime=10.33 mem=14M896
16.46
16.46 search
16.46 run=18 nbConstraintChecks=94546245 nbPropagations=4008432 nbRevisions=56175952 nbUselessRevisions=45593539
16.46 nbAssignments=73935 nbFailedAssignments=29474 nbBacktracks=44331 nbVisitedNodes=128903 nbRestartNogoods=114
16.46 => wckTime=15.618 cpuTime=15.38 mem=14M896
24.20
24.20 search
24.20 run=19 nbConstraintChecks=141838123 nbPropagations=6013446 nbRevisions=84556891 nbUselessRevisions=68677099
24.20 nbAssignments=110868 nbFailedAssignments=44234 nbBacktracks=66501 nbVisitedNodes=193469 nbRestartNogoods=121
24.20 => wckTime=23.361 cpuTime=23.05 mem=14M896
35.70
35.70 search
35.70 run=20 nbConstraintChecks=213640284 nbPropagations=9018284 nbRevisions=126768951 nbUselessRevisions=102927299
35.70 nbAssignments=165583 nbFailedAssignments=65690 nbBacktracks=99755 nbVisitedNodes=288215 nbRestartNogoods=131
35.70 => wckTime=34.866 cpuTime=34.46 mem=14M896
53.21
53.21 search
53.21 run=21 nbConstraintChecks=320853310 nbPropagations=13534959 nbRevisions=190707658 nbUselessRevisions=154905579
53.21 nbAssignments=249100 nbFailedAssignments=99321 nbBacktracks=149635 nbVisitedNodes=434337 nbRestartNogoods=142
53.21 => wckTime=52.376 cpuTime=51.81 mem=14M896
79.24
79.24 search
79.24 run=22 nbConstraintChecks=482828565 nbPropagations=20304954 nbRevisions=286164455 nbUselessRevisions=232406437
79.24 nbAssignments=371525 nbFailedAssignments=146920 nbBacktracks=224454 nbVisitedNodes=646688 nbRestartNogoods=148
79.24 => wckTime=78.405 cpuTime=77.61 mem=14M896
118.00
118.00 search
118.00 run=23 nbConstraintChecks=724949677 nbPropagations=30437677 nbRevisions=429081924 nbUselessRevisions=348446036
118.00 nbAssignments=555596 nbFailedAssignments=218759 nbBacktracks=336681 nbVisitedNodes=966426 nbRestartNogoods=154
118.00 => wckTime=117.159 cpuTime=116.04 mem=14M896
177.56
177.56 search
177.56 run=24 nbConstraintChecks=1095457126 nbPropagations=45698674 nbRevisions=644840913 nbUselessRevisions=523713517
177.56 nbAssignments=834060 nbFailedAssignments=328874 nbBacktracks=505024 nbVisitedNodes=1451164 nbRestartNogoods=170
177.56 => wckTime=176.721 cpuTime=175.06 mem=14M896
268.82
268.82 search
268.82 run=25 nbConstraintChecks=1663005281 nbPropagations=68775385 nbRevisions=972655974 nbUselessRevisions=790227743
268.82 nbAssignments=1257351 nbFailedAssignments=499646 nbBacktracks=757536 nbVisitedNodes=2191947
268.82 nbRestartNogoods=179
268.82 => wckTime=267.987 cpuTime=265.53 mem=14M896
308.38
308.38 search
308.38 run=26 nbConstraintChecks=1911952266 nbPropagations=95220996 nbRevisions=1348440099
308.38 nbUselessRevisions=1095634374 nbAssignments=1438524 nbFailedAssignments=572542 nbBacktracks=865814
308.38 nbVisitedNodes=2508573 nbRestartNogoods=186
308.38 => wckTime=307.539 cpuTime=304.72 mem=14M896
308.38
308.38 global
308.38 nbConstraintChecks=1911952266 nbPropagations=95221036 nbRevisions=1348440099 nbUselessRevisions=1095634374
308.38 nbRestartNogoods=186 solvingWckTime=307.54 solvingCpuTime=304.72 expiredTime=no totalExploration=yes
308.38 nbFoundSolutions=0 globalCpuTime=305.13
308.38 => wckTime=308.067 cpuTime=305.09 mem=14M896
308.38
308.38 s UNSATISFIABLE
308.38 d NODES 1438524
308.38 d CHECKS 1911952266
308.38
308.38 totalWckTime=308.149 totalCpuTime=305.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-202695-1168072646 -o ROOT/results/node43/solver-202695-1168072646 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202695-1168072646/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.58 1.51 1.65 4/80 6700
/proc/meminfo: memFree=1650064/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=906644 CPUtime=0.01
/proc/6699/stat : 6699 (java) S 6697 6699 6276 0 -1 0 2069 0 1 0 1 0 0 0 18 0 2 0 155663755 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 226661 1818 1036 14 0 214244 0
[pid=6699/tid=6701] ppid=6697 vsize=906644 CPUtime=0
/proc/6699/task/6701/stat : 6701 (java) R 6697 6699 6276 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155663759 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105971 s]
/proc/loadavg: 1.58 1.51 1.65 4/80 6700
/proc/meminfo: memFree=1650064/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=914988 CPUtime=0.09
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 3020 0 1 0 7 2 0 0 17 0 8 0 155663755 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155518272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228747 2766 1435 14 0 215242 0
[pid=6699/tid=6701] ppid=6697 vsize=914988 CPUtime=0
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155663759 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51704 s]
/proc/loadavg: 1.58 1.51 1.65 4/80 6700
/proc/meminfo: memFree=1650064/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915328 CPUtime=0.49
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 6849 0 1 0 44 5 0 0 18 0 8 0 155663755 937295872 6588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228832 6588 2137 14 0 215302 0
[pid=6699/tid=6701] ppid=6697 vsize=915328 CPUtime=0
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155663759 937295872 6588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33818 s]
/proc/loadavg: 1.58 1.51 1.65 3/87 6707
/proc/meminfo: memFree=1626520/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=1.31
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8634 0 1 0 123 8 0 0 24 0 8 0 155663755 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8372 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.22
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 155663763 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97544 s]
/proc/loadavg: 1.58 1.51 1.65 3/87 6707
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=2.93
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8667 0 1 0 285 8 0 0 25 0 8 0 155663755 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8404 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27299 s]
/proc/loadavg: 1.61 1.52 1.65 3/87 6707
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=6.19
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8675 0 1 0 611 8 0 0 25 0 8 0 155663755 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8411 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7461 s]
/proc/loadavg: 1.64 1.53 1.65 4/87 6707
/proc/meminfo: memFree=1626072/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=12.61
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8680 0 1 0 1253 8 0 0 25 0 8 0 155663755 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8416 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6032 s]
/proc/loadavg: 1.72 1.55 1.65 3/87 6707
/proc/meminfo: memFree=1626072/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=25.35
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8686 0 1 0 2527 8 0 0 25 0 8 0 155663755 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8422 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.2055 s]
/proc/loadavg: 1.81 1.59 1.66 3/87 6707
/proc/meminfo: memFree=1626072/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=50.72
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8688 0 1 0 5064 8 0 0 25 0 8 0 155663755 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8424 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.506 s]
/proc/loadavg: 2.00 1.66 1.68 3/87 6763
/proc/meminfo: memFree=1625688/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=101.59
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8693 0 1 0 10150 9 0 0 25 0 8 0 155663755 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8429 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 915456
[startup+162.542 s]
/proc/loadavg: 2.00 1.72 1.70 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=161.08
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8695 0 1 0 16098 10 0 0 25 0 8 0 155663755 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8431 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 915456
[startup+222.571 s]
/proc/loadavg: 2.00 1.77 1.72 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=220.58
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8698 0 1 0 22048 10 0 0 25 0 8 0 155663755 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8434 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915456
[startup+282.607 s]
/proc/loadavg: 2.00 1.81 1.73 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6699] ppid=6697 vsize=915456 CPUtime=280.09
/proc/6699/stat : 6699 (java) R 6697 6699 6276 0 -1 0 8700 0 1 0 27998 11 0 0 25 0 8 0 155663755 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6699/statm: 228864 8436 2513 14 0 215334 0
[pid=6699/tid=6701] ppid=6697 vsize=915456 CPUtime=0.03
/proc/6699/task/6701/stat : 6701 (java) S 6697 6699 6276 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155663759 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6702] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6702/stat : 6702 (java) S 6697 6699 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155663760 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6703] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6703/stat : 6703 (java) S 6697 6699 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155663760 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6704] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6704/stat : 6704 (java) S 6697 6699 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155663763 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6705] ppid=6697 vsize=915456 CPUtime=0.24
/proc/6699/task/6705/stat : 6705 (java) S 6697 6699 6276 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155663763 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6706] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6706/stat : 6706 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155663763 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6699/tid=6707] ppid=6697 vsize=915456 CPUtime=0
/proc/6699/task/6707/stat : 6707 (java) S 6697 6699 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155663763 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 308.412
CPU time (s): 305.646
CPU user time (s): 305.527
CPU system time (s): 0.118981
CPU usage (%): 99.1031
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.527
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8792
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= 7300
involuntary context switches= 15526
runsolver used 0.415936 s user time and 0.911861 s system time
The end
Begin job on node43 on Sat Jan 6 08:37:26 UTC 2007
IDJOB= 202695
IDBENCH= 3877
FILE ID= node43/202695-1168072646
PBS_JOBID= 3475982
Free space on /tmp= 66481 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202695-1168072646/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-202695-1168072646 -o ROOT/results/node43/solver-202695-1168072646 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202695-1168072646/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d0f8068c31c1d1a3a58bd4398c614e9
RANDOM SEED= 316513565
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.278
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.278
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: 1650544 kB
Buffers: 25560 kB
Cached: 268200 kB
SwapCached: 0 kB
Active: 92724 kB
Inactive: 245372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3728 kB
Writeback: 0 kB
Mapped: 64636 kB
Slab: 52660 kB
Committed_AS: 3689560 kB
PageTables: 1848 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= 66481 MiB
End job on node43 on Sat Jan 6 08:42:35 UTC 2007