0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278300-1169285715/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.091 cpuTime=0.07 mem=6M910
0.40
0.40 relations being loaded...
0.43
0.43 constraints being loaded...
0.69 nbConstraints=2600 nbRelationTypes=53 nbExtensionStructures=53 nbSharedExtensionStructures=2547
0.69 nbConflictsStructures=53 nbSharedConflictsStructures=2547 nbSharedBinaryRepresentations=0 maxDegree=219
0.69 maxArity=3
0.69 => wckTime=0.378 cpuTime=0.24 mem=14M809
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.477 cpuTime=0.29 mem=6M748
0.80
0.80 s SATISFIABLE
0.80 o 2230
0.80 c 370
0.80 o 2254
0.80 c 346
0.80 o 2266
0.80 c 334
0.80 o 2282
0.80 c 318
0.80 o 2289
0.80 c 311
0.80 o 2294
0.80 c 306
0.80 o 2301
0.81 c 299
0.81 o 2309
0.81 c 291
0.81 o 2315
0.81 c 285
0.81 o 2320
0.81 c 280
0.81 o 2322
0.81 c 278
0.82 o 2331
0.82 c 269
1.57 o 2332
1.57 c 268
1.57 o 2337
1.57 c 263
4.44 o 2338
4.44 c 262
7.50 o 2339
7.50 c 261
7.61 o 2340
7.61 c 260
7.61 o 2343
7.61 c 257
11.43
11.43 search
11.43 run=0 nbConstraintChecks=64316355 nbAssignments=10000
11.43 => wckTime=10.643 cpuTime=10.52 mem=6M748
22.20
22.20 search
22.20 run=1 nbConstraintChecks=130420425 nbAssignments=20000
22.20 => wckTime=21.414 cpuTime=21.19 mem=6M748
32.66
32.66 search
32.66 run=2 nbConstraintChecks=194961984 nbAssignments=30000
32.66 => wckTime=31.867 cpuTime=31.54 mem=6M748
37.89
37.89 search
37.89 run=3 nbConstraintChecks=227012932 nbAssignments=34856
37.89 => wckTime=37.102 cpuTime=36.74 mem=6M748
37.89
37.89 global
37.89 nbConstraintChecks=227012932 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.89 solvingWckTime=37.1 solvingCpuTime=36.74 expiredTime=no totalExploration=no nbFoundSolutions=0
37.89 globalCpuTime=37.09
37.89 => wckTime=37.58 cpuTime=37.03 mem=6M748
37.89
37.89 solver IterativeSystematicSolver being built...
38.11 => wckTime=37.798 cpuTime=37.2 mem=31M455
38.14
38.14 preprocessing
38.14 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.14 detectedInconsistency=no
38.14 => wckTime=0.024 cpuTime=0.02 mem=31M455
38.35
38.35 search
38.35 run=0 nbConstraintChecks=56133 nbValidityChecks=126560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.35 nbAssignments=43 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=64 nbRestartNogoods=0
38.35 => wckTime=0.24 cpuTime=0.21 mem=31M455
38.61
38.61 search
38.61 run=1 nbConstraintChecks=140936 nbValidityChecks=321843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.61 nbAssignments=97 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=148 nbRestartNogoods=2
38.61 => wckTime=0.496 cpuTime=0.44 mem=31M455
38.91
38.91 search
38.91 run=2 nbConstraintChecks=239644 nbValidityChecks=597711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.91 nbAssignments=163 nbFailedAssignments=43 nbBacktracks=49 nbVisitedNodes=256 nbRestartNogoods=4
38.91 => wckTime=0.802 cpuTime=0.75 mem=31M455
39.29
39.29 search
39.29 run=3 nbConstraintChecks=367629 nbValidityChecks=946069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.29 nbAssignments=241 nbFailedAssignments=65 nbBacktracks=82 nbVisitedNodes=389 nbRestartNogoods=6
39.29 => wckTime=1.176 cpuTime=1.12 mem=31M455
39.86
39.86 search
39.86 run=4 nbConstraintChecks=582776 nbValidityChecks=1508336 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.86 nbAssignments=355 nbFailedAssignments=105 nbBacktracks=133 nbVisitedNodes=594 nbRestartNogoods=9
39.86 => wckTime=1.75 cpuTime=1.68 mem=31M455
40.69
40.69 search
40.69 run=5 nbConstraintChecks=866928 nbValidityChecks=2324306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.69 nbAssignments=506 nbFailedAssignments=161 nbBacktracks=208 nbVisitedNodes=876 nbRestartNogoods=12
40.69 => wckTime=2.578 cpuTime=2.5 mem=31M455
41.94
41.94 search
41.94 run=6 nbConstraintChecks=1329374 nbValidityChecks=3605724 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.94 nbAssignments=734 nbFailedAssignments=255 nbBacktracks=321 nbVisitedNodes=1311 nbRestartNogoods=15
41.94 => wckTime=3.825 cpuTime=3.73 mem=31M455
43.55
43.55 search
43.55 run=7 nbConstraintChecks=1992061 nbValidityChecks=5333137 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.55 nbAssignments=1039 nbFailedAssignments=369 nbBacktracks=491 nbVisitedNodes=1900 nbRestartNogoods=19
43.55 => wckTime=5.442 cpuTime=5.33 mem=31M455
46.39
46.39 search
46.39 run=8 nbConstraintChecks=2946543 nbValidityChecks=8199073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.39 nbAssignments=1527 nbFailedAssignments=579 nbBacktracks=747 nbVisitedNodes=2854 nbRestartNogoods=22
46.39 => wckTime=8.277 cpuTime=8.12 mem=31M455
50.72
50.72 search
50.72 run=9 nbConstraintChecks=4378875 nbValidityChecks=12644147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
50.72 nbAssignments=2262 nbFailedAssignments=908 nbBacktracks=1131 nbVisitedNodes=4302 nbRestartNogoods=26
50.72 => wckTime=12.608 cpuTime=12.41 mem=31M455
57.83
57.83 search
57.83 run=10 nbConstraintChecks=6524009 nbValidityChecks=19725755 nbPropagations=0 nbRevisions=0
57.83 nbUselessRevisions=0 nbAssignments=3389 nbFailedAssignments=1438 nbBacktracks=1709 nbVisitedNodes=6537
57.83 nbRestartNogoods=30
57.83 => wckTime=19.718 cpuTime=19.45 mem=31M455
67.98
67.98 search
67.98 run=11 nbConstraintChecks=9796826 nbValidityChecks=30005745 nbPropagations=0 nbRevisions=0
67.98 nbUselessRevisions=0 nbAssignments=5009 nbFailedAssignments=2172 nbBacktracks=2573 nbVisitedNodes=9755
67.98 nbRestartNogoods=35
67.98 => wckTime=29.864 cpuTime=29.5 mem=31M455
83.37
83.37 search
83.37 run=12 nbConstraintChecks=14419824 nbValidityChecks=45384713 nbPropagations=0 nbRevisions=0
83.37 nbUselessRevisions=0 nbAssignments=7435 nbFailedAssignments=3281 nbBacktracks=3870 nbVisitedNodes=14587
83.37 nbRestartNogoods=40
83.37 => wckTime=45.263 cpuTime=44.76 mem=31M455
106.53
106.53 search
106.53 run=13 nbConstraintChecks=21348989 nbValidityChecks=68701401 nbPropagations=0 nbRevisions=0
106.53 nbUselessRevisions=0 nbAssignments=11061 nbFailedAssignments=4941 nbBacktracks=5817 nbVisitedNodes=21820
106.53 nbRestartNogoods=45
106.53 => wckTime=68.419 cpuTime=67.7 mem=31M455
140.42
140.42 search
140.42 run=14 nbConstraintChecks=31611156 nbValidityChecks=103363070 nbPropagations=0 nbRevisions=0
140.42 nbUselessRevisions=0 nbAssignments=16359 nbFailedAssignments=7300 nbBacktracks=8736 nbVisitedNodes=32396
140.42 nbRestartNogoods=50
140.42 => wckTime=102.306 cpuTime=101.28 mem=31M455
193.41
193.41 search
193.41 run=15 nbConstraintChecks=46825782 nbValidityChecks=156630309 nbPropagations=0 nbRevisions=0
193.41 nbUselessRevisions=0 nbAssignments=24520 nbFailedAssignments=11063 nbBacktracks=13114 nbVisitedNodes=48698
193.41 nbRestartNogoods=56
193.41 => wckTime=155.3 cpuTime=153.79 mem=32M431
273.56
273.56 search
273.56 run=16 nbConstraintChecks=69510647 nbValidityChecks=237552141 nbPropagations=0 nbRevisions=0
273.56 nbUselessRevisions=0 nbAssignments=36681 nbFailedAssignments=16638 nbBacktracks=19682 nbVisitedNodes=73002
273.56 nbRestartNogoods=63
273.56 => wckTime=235.448 cpuTime=233.21 mem=32M431
394.86
394.86 search
394.86 run=17 nbConstraintChecks=102820226 nbValidityChecks=358241572 nbPropagations=0 nbRevisions=0
394.86 nbUselessRevisions=0 nbAssignments=55006 nbFailedAssignments=25093 nbBacktracks=29534 nbVisitedNodes=109634
394.86 nbRestartNogoods=70
394.86 => wckTime=356.747 cpuTime=353.39 mem=32M431
573.52
573.52 search
573.52 run=18 nbConstraintChecks=152227489 nbValidityChecks=536584004 nbPropagations=0 nbRevisions=0
573.52 nbUselessRevisions=0 nbAssignments=81841 nbFailedAssignments=37132 nbBacktracks=44312 nbVisitedNodes=163286
573.52 nbRestartNogoods=77
573.52 => wckTime=535.409 cpuTime=530.43 mem=32M431
837.67
837.67 search
837.67 run=19 nbConstraintChecks=228687410 nbValidityChecks=802486906 nbPropagations=0 nbRevisions=0
837.67 nbUselessRevisions=0 nbAssignments=121384 nbFailedAssignments=54486 nbBacktracks=66480 nbVisitedNodes=242351
837.67 nbRestartNogoods=85
837.67 => wckTime=799.559 cpuTime=792.16 mem=32M431
1249.30
1249.30 search
1249.30 run=20 nbConstraintChecks=335751990 nbValidityChecks=1208201207 nbPropagations=0 nbRevisions=0
1249.30 nbUselessRevisions=0 nbAssignments=181108 nbFailedAssignments=80938 nbBacktracks=99732 nbVisitedNodes=361779
1249.30 nbRestartNogoods=91
1249.30 => wckTime=1211.189 cpuTime=1200.02 mem=32M431
1868.22
1868.22 search
1868.22 run=21 nbConstraintChecks=497484321 nbValidityChecks=1821869437 nbPropagations=0 nbRevisions=0
1868.22 nbUselessRevisions=0 nbAssignments=271265 nbFailedAssignments=121201 nbBacktracks=149610 nbVisitedNodes=542077
1868.22 nbRestartNogoods=97
1868.22 => wckTime=1830.113 cpuTime=1813.04 mem=32M431
2422.36 v 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-278300-1169285715 -o ROOT/results/node14/solver-278300-1169285715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278300-1169285715/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.83 1.59 1.37 5/93 27448
/proc/meminfo: memFree=1274664/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=18540 CPUtime=0
/proc/27447/stat : 27447 (runsolver) R 27445 27447 27149 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 276966457 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27447/statm: 4635 279 244 17 0 2626 0
[startup+0.110293 s]
/proc/loadavg: 1.83 1.59 1.37 5/93 27448
/proc/meminfo: memFree=1274664/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=914988 CPUtime=0.09
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 3049 0 1 0 7 2 0 0 20 0 8 0 276966457 936947712 2795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155840592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518328 s]
/proc/loadavg: 1.83 1.59 1.37 5/93 27448
/proc/meminfo: memFree=1274664/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915332 CPUtime=0.49
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 6386 0 1 0 45 4 0 0 22 0 8 0 276966457 937299968 6125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228833 6125 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34241 s]
/proc/loadavg: 1.83 1.59 1.37 3/100 27455
/proc/meminfo: memFree=1241648/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=1.31
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 8847 0 1 0 123 8 0 0 25 0 8 0 276966457 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 8585 2473 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.17
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 367 0 0 0 17 0 0 0 16 0 8 0 276966465 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 8585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 8585 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+2.99056 s]
/proc/loadavg: 1.83 1.59 1.37 3/100 27455
/proc/meminfo: memFree=1241584/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2.94
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 8854 0 1 0 280 14 0 0 25 0 8 0 276966457 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 8591 2475 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.17
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 373 0 0 0 17 0 0 0 15 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+6.26988 s]
/proc/loadavg: 1.84 1.59 1.37 4/100 27455
/proc/meminfo: memFree=1241584/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=6.18
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 8854 0 1 0 591 27 0 0 25 0 8 0 276966457 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 8591 2475 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.17
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 373 0 0 0 17 0 0 0 16 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 8591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.7615 s]
/proc/loadavg: 1.85 1.60 1.37 3/100 27455
/proc/meminfo: memFree=1241600/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=12.62
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 8857 0 1 0 1209 53 0 0 25 0 8 0 276966457 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 8594 2475 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.18
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6107 s]
/proc/loadavg: 1.89 1.62 1.38 3/100 27455
/proc/meminfo: memFree=1241664/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=25.35
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 8857 0 1 0 2426 109 0 0 25 0 8 0 276966457 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 8594 2475 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.18
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 8594 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+51.2451 s]
/proc/loadavg: 1.92 1.65 1.40 3/100 27455
/proc/meminfo: memFree=1210432/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=50.74
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12836 0 1 0 4912 162 0 0 25 0 8 0 276966457 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12567 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.3
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 276966465 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 12567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
[startup+102.511 s]
/proc/loadavg: 2.02 1.71 1.43 3/100 27455
/proc/meminfo: memFree=1210368/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=101.54
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12847 0 1 0 9991 163 0 0 25 0 8 0 276966457 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12577 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 12577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915444
[startup+162.526 s]
/proc/loadavg: 2.07 1.78 1.47 3/100 27455
/proc/meminfo: memFree=1210304/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=161.01
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12852 0 1 0 15938 163 0 0 25 0 8 0 276966457 937414656 12582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2004.37
Current children cumulated vsize (KiB) 915444
[startup+2083.15 s]
/proc/loadavg: 2.12 2.03 1.92 3/100 27653
/proc/meminfo: memFree=1209728/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2063.83
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 206205 178 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2063.83
Current children cumulated vsize (KiB) 915444
[startup+2143.17 s]
/proc/loadavg: 2.04 2.02 1.92 3/100 27653
/proc/meminfo: memFree=1209728/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2123.31
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 212152 179 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2123.31
Current children cumulated vsize (KiB) 915444
[startup+2203.19 s]
/proc/loadavg: 2.07 2.04 1.93 3/100 27653
/proc/meminfo: memFree=1209728/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2182.77
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 218098 179 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950394 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2182.77
Current children cumulated vsize (KiB) 915444
[startup+2263.21 s]
/proc/loadavg: 2.02 2.03 1.93 3/100 27653
/proc/meminfo: memFree=1209728/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2242.25
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 224045 180 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073976586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2242.25
Current children cumulated vsize (KiB) 915444
[startup+2323.23 s]
/proc/loadavg: 2.01 2.03 1.93 3/100 27653
/proc/meminfo: memFree=1209728/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2301.71
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 229991 180 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0.01
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2301.71
Current children cumulated vsize (KiB) 915444
[startup+2383.25 s]
/proc/loadavg: 2.00 2.02 1.93 3/100 27653
/proc/meminfo: memFree=1209664/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2361.19
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 235938 181 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0.01
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2361.19
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2422.35 s]
/proc/loadavg: 1.87 1.98 1.92 2/88 27756
/proc/meminfo: memFree=1249432/2055920 swapFree=4158792/4192956
[pid=27447] ppid=27445 vsize=915444 CPUtime=2400.09
/proc/27447/stat : 27447 (java) R 27445 27447 27149 0 -1 0 12872 0 1 0 239826 183 0 0 25 0 8 0 276966457 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27447/statm: 228861 12602 2529 14 0 215331 0
[pid=27447/tid=27449] ppid=27445 vsize=915444 CPUtime=0.04
/proc/27447/task/27449/stat : 27449 (java) S 27445 27447 27149 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27450] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27450/stat : 27450 (java) S 27445 27447 27149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27451] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27451/stat : 27451 (java) S 27445 27447 27149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276966461 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27452] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27452/stat : 27452 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27453] ppid=27445 vsize=915444 CPUtime=0.31
/proc/27447/task/27453/stat : 27453 (java) S 27445 27447 27149 0 -1 64 443 0 0 0 30 1 0 0 16 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27454] ppid=27445 vsize=915444 CPUtime=0
/proc/27447/task/27454/stat : 27454 (java) S 27445 27447 27149 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27447/tid=27455] ppid=27445 vsize=915444 CPUtime=0.01
/proc/27447/task/27455/stat : 27455 (java) S 27445 27447 27149 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 276966465 937414656 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2422.38
CPU time (s): 2400.12
CPU user time (s): 2398.28
CPU system time (s): 1.83872
CPU usage (%): 99.081
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.28
system time used= 1.83872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12894
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= 50300
involuntary context switches= 108580
runsolver used 2.69359 s user time and 8.08977 s system time
The end
Begin job on node14 on Sat Jan 20 09:35:15 UTC 2007
IDJOB= 278300
IDBENCH= 8243
IDSOLVER= 69
FILE ID= node14/278300-1169285715
PBS_JOBID= 3609510
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-3000-775921_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278300-1169285715/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-278300-1169285715 -o ROOT/results/node14/solver-278300-1169285715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278300-1169285715/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5ba095a99edb22122ddf3bc005ba1c4
RANDOM SEED= 681826317
TIME LIMIT= 2400 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.227
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.227
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: 1275208 kB
Buffers: 52848 kB
Cached: 599416 kB
SwapCached: 9104 kB
Active: 215504 kB
Inactive: 488364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1275208 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 3800 kB
Writeback: 0 kB
Mapped: 68456 kB
Slab: 61712 kB
Committed_AS: 9856272 kB
PageTables: 2248 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= 66560 MiB
End job on node14 on Sat Jan 20 10:15:38 UTC 2007