0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=pfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/281531-1169312911/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.46 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.46
0.46 relations being loaded...
0.50
0.50 constraints being loaded...
0.54 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1070 maxDegree=8
0.54 maxArity=2
0.55 => wckTime=0.186 cpuTime=0.14 mem=7M950
0.58
0.58 solver LocalSearchSolver being built...
0.63 => wckTime=0.27 cpuTime=0.18 mem=5M428
0.63
0.63 s SATISFIABLE
0.63 o 13
0.63 c 50
0.63 o 16
0.63 c 47
0.64 o 19
0.64 c 44
0.64 o 22
0.64 c 41
0.64 o 24
0.64 c 39
0.64 o 26
0.64 c 37
0.64 o 27
0.64 c 36
0.64 o 29
0.64 c 34
0.64 o 30
0.64 c 33
0.64 o 31
0.64 c 32
0.64 o 33
0.64 c 30
0.65 o 34
0.65 c 29
0.65 o 35
0.65 c 28
0.65 o 36
0.65 c 27
0.65 o 37
0.65 c 26
0.65 o 38
0.65 c 25
0.67 o 39
0.67 c 24
0.67 o 40
0.67 c 23
0.67 o 42
0.67 c 21
0.67 o 43
0.67 c 20
2.04
2.04 search
2.04 run=0 nbConstraintChecks=6948760 nbAssignments=10000
2.04 => wckTime=1.416 cpuTime=1.39 mem=5M428
3.42
3.42 search
3.42 run=1 nbConstraintChecks=13965090 nbAssignments=20000
3.42 => wckTime=2.796 cpuTime=2.75 mem=5M428
4.77
4.77 search
4.77 run=2 nbConstraintChecks=20786006 nbAssignments=30000
4.77 => wckTime=4.147 cpuTime=4.09 mem=5M428
6.14
6.14 search
6.14 run=3 nbConstraintChecks=27781101 nbAssignments=40000
6.14 => wckTime=5.517 cpuTime=5.44 mem=5M428
7.51
7.51 search
7.51 run=4 nbConstraintChecks=34721977 nbAssignments=50000
7.51 => wckTime=6.884 cpuTime=6.8 mem=5M428
8.87
8.87 search
8.87 run=5 nbConstraintChecks=41562260 nbAssignments=60000
8.87 => wckTime=8.24 cpuTime=8.15 mem=5M428
10.23
10.23 search
10.23 run=6 nbConstraintChecks=48500790 nbAssignments=70000
10.23 => wckTime=9.603 cpuTime=9.49 mem=5M428
11.60
11.60 search
11.60 run=7 nbConstraintChecks=55571555 nbAssignments=80000
11.60 => wckTime=10.973 cpuTime=10.85 mem=5M428
12.95
12.95 search
12.95 run=8 nbConstraintChecks=62463016 nbAssignments=90000
12.95 => wckTime=12.323 cpuTime=12.19 mem=5M428
14.29
14.29 search
14.29 run=9 nbConstraintChecks=69277708 nbAssignments=100000
14.29 => wckTime=13.661 cpuTime=13.51 mem=5M428
15.63
15.63 search
15.63 run=10 nbConstraintChecks=76129640 nbAssignments=110000
15.63 => wckTime=15.006 cpuTime=14.85 mem=5M428
16.99
16.99 search
16.99 run=11 nbConstraintChecks=83030188 nbAssignments=120000
16.99 => wckTime=16.367 cpuTime=16.19 mem=5M428
18.34
18.34 search
18.34 run=12 nbConstraintChecks=89848168 nbAssignments=130000
18.34 => wckTime=17.711 cpuTime=17.53 mem=5M428
19.69
19.69 search
19.69 run=13 nbConstraintChecks=96739511 nbAssignments=140000
19.69 => wckTime=19.068 cpuTime=18.87 mem=5M428
21.07
21.07 search
21.07 run=14 nbConstraintChecks=103772816 nbAssignments=150000
21.07 => wckTime=20.444 cpuTime=20.24 mem=5M428
22.44
22.44 search
22.44 run=15 nbConstraintChecks=110682974 nbAssignments=160000
22.44 => wckTime=21.809 cpuTime=21.59 mem=5M428
23.81
23.81 search
23.81 run=16 nbConstraintChecks=117601119 nbAssignments=170000
23.81 => wckTime=23.187 cpuTime=22.94 mem=5M428
25.19
25.19 search
25.19 run=17 nbConstraintChecks=124595365 nbAssignments=180000
25.19 => wckTime=24.565 cpuTime=24.32 mem=5M428
26.56
26.56 search
26.56 run=18 nbConstraintChecks=131543965 nbAssignments=190000
26.56 => wckTime=25.933 cpuTime=25.67 mem=5M428
27.93
27.93 search
27.93 run=19 nbConstraintChecks=138501155 nbAssignments=200000
27.93 => wckTime=27.306 cpuTime=27.03 mem=5M428
29.30
29.30 search
29.30 run=20 nbConstraintChecks=145365194 nbAssignments=210000
29.30 => wckTime=28.671 cpuTime=28.38 mem=5M428
30.67
30.67 search
30.67 run=21 nbConstraintChecks=152418299 nbAssignments=220000
30.67 => wckTime=30.047 cpuTime=29.74 mem=5M428
30.98
30.98 search
30.98 run=22 nbConstraintChecks=153946166 nbAssignments=222259
30.98 => wckTime=30.349 cpuTime=30.05 mem=5M428
30.98
30.98 global
30.98 nbConstraintChecks=153946166 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.98 solvingWckTime=30.347 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.98 globalCpuTime=30.28
30.98 => wckTime=30.619 cpuTime=30.23 mem=5M428
30.98
30.98 solver IterativeSystematicSolver being built...
31.11 => wckTime=30.752 cpuTime=30.33 mem=16M434
31.12
31.12 preprocessing
31.12 nbConstraintChecks=1210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.12 detectedInconsistency=no
31.12 => wckTime=0.0050 cpuTime=0.0 mem=16M434
31.17
31.17 search
31.18 run=0 nbConstraintChecks=72843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
31.18 nbFailedAssignments=31 nbBacktracks=10 nbVisitedNodes=88 nbRestartNogoods=0
31.18 => wckTime=0.062 cpuTime=0.05 mem=16M434
31.25
31.25 search
31.25 run=1 nbConstraintChecks=261007 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=161
31.25 nbFailedAssignments=124 nbBacktracks=25 nbVisitedNodes=310 nbRestartNogoods=7
31.25 => wckTime=0.135 cpuTime=0.11 mem=16M434
31.30
31.30 search
31.30 run=2 nbConstraintChecks=452818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=275
31.30 nbFailedAssignments=211 nbBacktracks=47 nbVisitedNodes=533 nbRestartNogoods=14
31.30 => wckTime=0.191 cpuTime=0.16 mem=16M434
31.40
31.40 search
31.40 run=3 nbConstraintChecks=781447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=473
31.40 nbFailedAssignments=369 nbBacktracks=80 nbVisitedNodes=920 nbRestartNogoods=27
31.40 => wckTime=0.285 cpuTime=0.25 mem=16M434
31.47
31.47 search
31.47 run=4 nbConstraintChecks=1052926 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=641
31.47 nbFailedAssignments=480 nbBacktracks=130 nbVisitedNodes=1249 nbRestartNogoods=35
31.47 => wckTime=0.356 cpuTime=0.32 mem=16M434
31.63
31.63 search
31.63 run=5 nbConstraintChecks=1603229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=964
31.63 nbFailedAssignments=723 nbBacktracks=205 nbVisitedNodes=1884 nbRestartNogoods=47
31.63 => wckTime=0.516 cpuTime=0.47 mem=16M434
31.79
31.79 search
31.79 run=6 nbConstraintChecks=2242981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1349
31.79 nbFailedAssignments=990 nbBacktracks=319 nbVisitedNodes=2643 nbRestartNogoods=50
31.79 => wckTime=0.677 cpuTime=0.62 mem=16M434
32.22
32.22 search
32.22 run=7 nbConstraintChecks=3793242 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2245
32.22 nbFailedAssignments=1711 nbBacktracks=490 nbVisitedNodes=4421 nbRestartNogoods=56
32.22 => wckTime=1.105 cpuTime=1.04 mem=16M434
32.51
32.51 search
32.51 run=8 nbConstraintChecks=4979685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2948
32.51 nbFailedAssignments=2152 nbBacktracks=746 nbVisitedNodes=5818 nbRestartNogoods=61
32.51 => wckTime=1.4 cpuTime=1.33 mem=16M434
33.01
33.01 search
33.01 run=9 nbConstraintChecks=6935538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4106
33.01 nbFailedAssignments=2922 nbBacktracks=1131 nbVisitedNodes=8123 nbRestartNogoods=79
33.01 => wckTime=1.898 cpuTime=1.82 mem=16M434
33.82
33.82 search
33.82 run=10 nbConstraintChecks=10185009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6176
33.82 nbFailedAssignments=4408 nbBacktracks=1707 nbVisitedNodes=12238 nbRestartNogoods=83
33.82 => wckTime=2.703 cpuTime=2.61 mem=16M434
34.74
34.74 search
34.74 run=11 nbConstraintChecks=14373126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8636
34.74 nbFailedAssignments=5997 nbBacktracks=2571 nbVisitedNodes=17102 nbRestartNogoods=104
34.74 => wckTime=3.625 cpuTime=3.53 mem=16M434
37.09
37.10 search
37.10 run=12 nbConstraintChecks=24242531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14622
37.10 nbFailedAssignments=10680 nbBacktracks=3869 nbVisitedNodes=28986 nbRestartNogoods=126
37.10 => wckTime=5.983 cpuTime=5.86 mem=16M434
39.47
39.47 search
39.47 run=13 nbConstraintChecks=33781129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20427
39.47 nbFailedAssignments=14533 nbBacktracks=5815 nbVisitedNodes=40519 nbRestartNogoods=132
39.47 => wckTime=8.356 cpuTime=8.21 mem=16M434
43.79
43.79 search
43.79 run=14 nbConstraintChecks=50312512 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31013
43.79 nbFailedAssignments=22194 nbBacktracks=8734 nbVisitedNodes=61479 nbRestartNogoods=141
43.79 => wckTime=12.676 cpuTime=12.49 mem=16M434
50.86
50.86 search
50.86 run=15 nbConstraintChecks=78092891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47921
50.86 nbFailedAssignments=34719 nbBacktracks=13112 nbVisitedNodes=94920 nbRestartNogoods=153
50.86 => wckTime=19.751 cpuTime=19.5 mem=16M434
59.74
59.74 search
59.74 run=16 nbConstraintChecks=112949448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69779
59.74 nbFailedAssignments=50003 nbBacktracks=19680 nbVisitedNodes=138209 nbRestartNogoods=169
59.74 => wckTime=28.625 cpuTime=28.29 mem=16M434
72.84
72.84 search
72.84 run=17 nbConstraintChecks=165303751 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102262
72.84 nbFailedAssignments=72627 nbBacktracks=29532 nbVisitedNodes=202492 nbRestartNogoods=183
72.84 => wckTime=41.729 cpuTime=41.27 mem=16M434
90.25
90.25 search
90.25 run=18 nbConstraintChecks=234712513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148172
90.25 nbFailedAssignments=103754 nbBacktracks=44310 nbVisitedNodes=292856 nbRestartNogoods=199
90.25 => wckTime=59.135 cpuTime=58.53 mem=16M434
120.66
120.66 search
120.66 run=19 nbConstraintChecks=357390182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=223073
120.66 nbFailedAssignments=156483 nbBacktracks=66479 nbVisitedNodes=440607 nbRestartNogoods=226
120.66 => wckTime=89.546 cpuTime=88.66 mem=16M434
160.58
160.58 search
160.58 run=20 nbConstraintChecks=520121775 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=328479
160.58 nbFailedAssignments=228631 nbBacktracks=99731 nbVisitedNodes=648959 nbRestartNogoods=241
160.58 => wckTime=129.465 cpuTime=128.2 mem=16M434
230.26
230.26 search
230.26 run=21 nbConstraintChecks=799780768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=502852
230.26 nbFailedAssignments=353121 nbBacktracks=149609 nbVisitedNodes=993140 nbRestartNogoods=264
230.26 => wckTime=199.147 cpuTime=197.25 mem=16M434
329.44
329.44 search
329.44 run=22 nbConstraintChecks=1184958565 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=744492
329.44 nbFailedAssignments=519938 nbBacktracks=224427 nbVisitedNodes=1469714 nbRestartNogoods=290
329.44 => wckTime=298.327 cpuTime=295.51 mem=16M434
469.89
469.89 search
469.89 run=23 nbConstraintChecks=1750169792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1100905
469.89 nbFailedAssignments=764118 nbBacktracks=336654 nbVisitedNodes=2173515 nbRestartNogoods=306
469.89 => wckTime=438.779 cpuTime=434.68 mem=16M434
679.67
679.67 search
679.67 run=24 nbConstraintChecks=2575861711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1624221
679.67 nbFailedAssignments=1119086 nbBacktracks=504995 nbVisitedNodes=3206345 nbRestartNogoods=326
679.67 => wckTime=648.562 cpuTime=642.54 mem=16M434
1006.88
1006.88 search
1006.88 run=25 nbConstraintChecks=3903275619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2470167
1006.88 nbFailedAssignments=1712517 nbBacktracks=757506 nbVisitedNodes=4875080 nbRestartNogoods=337
1006.88 => wckTime=975.769 cpuTime=966.74 mem=16M434
1153.20
1153.20 search
1153.20 run=26 nbConstraintChecks=4504261444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2843627
1153.20 nbFailedAssignments=1971815 nbBacktracks=871669 nbVisitedNodes=5611072 nbRestartNogoods=351
1153.20 => wckTime=1122.092 cpuTime=1111.72 mem=16M434
1153.20
1153.20 global
1153.20 nbConstraintChecks=4504262654 nbRestartNogoods=351 solvingWckTime=1122.093 solvingCpuTime=1111.72
1153.20 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1142.1
1153.21 => wckTime=1152.846 cpuTime=1142.05 mem=16M434
1153.21
1153.21 s OPTIMUM FOUND
1153.21 v 7 6 0 9 5 7 4 0 5 0 8 9 8 0 0 4 0 0 4 5 3 7 3 0 9
1153.21
1153.21 totalWckTime=1152.927 totalCpuTime=1142.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-281531-1169312911 -o ROOT/results/node15/solver-281531-1169312911 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281531-1169312911/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.95 2.03 2.00 4/93 22496
/proc/meminfo: memFree=1399440/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=18540 CPUtime=0
/proc/22495/stat : 22495 (runsolver) R 22493 22495 22015 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279686002 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22495/statm: 4635 279 244 17 0 2626 0
[startup+0.107994 s]
/proc/loadavg: 1.95 2.03 2.00 4/93 22496
/proc/meminfo: memFree=1399440/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=914988 CPUtime=0.09
/proc/22495/stat : 22495 (java) D 22493 22495 22015 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 279686002 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516062 s]
/proc/loadavg: 1.95 2.03 2.00 4/93 22496
/proc/meminfo: memFree=1399440/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915332 CPUtime=0.45
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 6193 0 1 0 41 4 0 0 18 0 8 0 279686002 937299968 5932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228833 5932 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.3392 s]
/proc/loadavg: 1.95 2.03 2.00 3/100 22503
/proc/meminfo: memFree=1382296/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=1.26
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 6950 0 1 0 102 24 0 0 24 0 8 0 279686002 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 6688 2476 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.11
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 279686010 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915436
[startup+2.98149 s]
/proc/loadavg: 1.95 2.03 2.00 3/100 22503
/proc/meminfo: memFree=1382104/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915440 CPUtime=2.89
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 6953 0 1 0 218 71 0 0 25 0 8 0 279686002 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228860 6690 2476 14 0 215330 0
[pid=22495/tid=22497] ppid=22493 vsize=915440 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279686006 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915440 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915440 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915440 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915440 CPUtime=0.11
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279686010 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915440 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915440 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915440
[startup+6.27205 s]
/proc/loadavg: 1.95 2.03 2.00 3/100 22503
/proc/meminfo: memFree=1382104/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=6.15
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 6953 0 1 0 451 164 0 0 25 0 8 0 279686002 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 6690 2476 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.11
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915436
[startup+12.7522 s]
/proc/loadavg: 1.96 2.03 2.00 3/100 22503
/proc/meminfo: memFree=1382104/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=12.57
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 6953 0 1 0 907 350 0 0 25 0 8 0 279686002 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 6690 2476 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.11
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915436
[startup+25.5964 s]
/proc/loadavg: 1.97 2.03 2.00 3/100 22503
/proc/meminfo: memFree=1382168/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=25.3
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 6955 0 1 0 1804 726 0 0 25 0 8 0 279686002 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 6691 2476 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.12
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 279686010 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915436
[startup+51.2018 s]
/proc/loadavg: 1.98 2.02 2.00 3/100 22503
/proc/meminfo: memFree=1374232/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=50.66
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 8998 0 1 0 4179 887 0 0 25 0 8 0 279686002 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073774020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8728 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915436
[startup+102.403 s]
/proc/loadavg: 1.99 2.02 2.00 3/100 22503
/proc/meminfo: memFree=1374232/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=101.39
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9005 0 1 0 9251 888 0 0 25 0 8 0 279686002 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8735 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915436
[startup+162.441 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 22503
/proc/meminfo: memFree=1374104/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=160.88
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9010 0 1 0 15200 888 0 0 25 0 8 0 279686002 937406464 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.32
Current children cumulated vsize (KiB) 915436
[startup+762.881 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 22505
/proc/meminfo: memFree=1373848/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=755.81
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9021 0 1 0 74690 891 0 0 25 0 8 0 279686002 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8751 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 755.81
Current children cumulated vsize (KiB) 915436
[startup+822.921 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 22505
/proc/meminfo: memFree=1373848/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=815.3
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9021 0 1 0 80639 891 0 0 25 0 8 0 279686002 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8751 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.3
Current children cumulated vsize (KiB) 915436
[startup+882.967 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 22505
/proc/meminfo: memFree=1373912/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=874.8
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9021 0 1 0 86589 891 0 0 25 0 8 0 279686002 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8751 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 874.8
Current children cumulated vsize (KiB) 915436
[startup+943.013 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 22505
/proc/meminfo: memFree=1373912/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=934.29
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9021 0 1 0 92538 891 0 0 25 0 8 0 279686002 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8751 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 934.29
Current children cumulated vsize (KiB) 915436
[startup+1003.06 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 22505
/proc/meminfo: memFree=1373976/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=993.78
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9021 0 1 0 98487 891 0 0 25 0 8 0 279686002 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8751 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 993.78
Current children cumulated vsize (KiB) 915436
[startup+1063.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 22505
/proc/meminfo: memFree=1373976/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=1053.28
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9024 0 1 0 104436 892 0 0 25 0 8 0 279686002 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8754 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1053.28
Current children cumulated vsize (KiB) 915436
[startup+1123.16 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 22505
/proc/meminfo: memFree=1374040/2055920 swapFree=4173628/4192956
[pid=22495] ppid=22493 vsize=915436 CPUtime=1112.78
/proc/22495/stat : 22495 (java) R 22493 22495 22015 0 -1 0 9024 0 1 0 110386 892 0 0 25 0 8 0 279686002 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22495/statm: 228859 8754 2527 14 0 215329 0
[pid=22495/tid=22497] ppid=22493 vsize=915436 CPUtime=0.02
/proc/22495/task/22497/stat : 22497 (java) S 22493 22495 22015 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279686006 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22498] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22498/stat : 22498 (java) S 22493 22495 22015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279686007 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22499] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22499/stat : 22499 (java) S 22493 22495 22015 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279686007 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22500] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22500/stat : 22500 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22501] ppid=22493 vsize=915436 CPUtime=0.21
/proc/22495/task/22501/stat : 22501 (java) S 22493 22495 22015 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22502] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22502/stat : 22502 (java) S 22493 22495 22015 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22495/tid=22503] ppid=22493 vsize=915436 CPUtime=0
/proc/22495/task/22503/stat : 22503 (java) S 22493 22495 22015 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279686010 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1112.78
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 1153.23
CPU time (s): 1142.58
CPU user time (s): 1133.64
CPU system time (s): 8.93464
CPU usage (%): 99.0767
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1133.64
system time used= 8.93464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9119
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= 24410
involuntary context switches= 68094
runsolver used 1.19682 s user time and 3.9184 s system time
The end
Begin job on node15 on Sat Jan 20 17:08:32 UTC 2007
IDJOB= 281531
IDBENCH= 12201
IDSOLVER= 69
FILE ID= node15/281531-1169312911
PBS_JOBID= 3609989
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281531-1169312911/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-281531-1169312911 -o ROOT/results/node15/solver-281531-1169312911 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281531-1169312911/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9edd82028760aeeb0fd8fbdbd5c68173
RANDOM SEED= 309783312
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.276
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.276
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: 1399920 kB
Buffers: 54528 kB
Cached: 464144 kB
SwapCached: 6628 kB
Active: 222636 kB
Inactive: 357936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1399920 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 81384 kB
Slab: 60056 kB
Committed_AS: 9670992 kB
PageTables: 2496 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= 66561 MiB
End job on node15 on Sat Jan 20 17:27:45 UTC 2007