0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277724-1169270311/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.103 cpuTime=0.1 mem=6M910
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.53 nbConstraints=371 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=361
0.53 nbConflictsStructures=10 nbSharedConflictsStructures=361 nbSharedBinaryRepresentations=36 maxDegree=14
0.53 maxArity=2
0.53 => wckTime=0.219 cpuTime=0.17 mem=8M876
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.299 cpuTime=0.21 mem=5M565
0.61
0.61 s SATISFIABLE
0.61 o 286
0.61 c 85
0.61 o 290
0.61 c 81
0.61 o 294
0.61 c 77
0.61 o 295
0.61 c 76
0.61 o 297
0.61 c 74
0.61 o 299
0.61 c 72
0.61 o 302
0.61 c 69
0.62 o 304
0.62 c 67
0.62 o 307
0.62 c 64
0.62 o 309
0.62 c 62
0.62 o 311
0.62 c 60
0.62 o 313
0.62 c 58
0.62 o 314
0.62 c 57
0.63 o 316
0.63 c 55
0.63 o 320
0.63 c 51
0.63 o 322
0.63 c 49
0.63 o 323
0.63 c 48
0.63 o 324
0.63 c 47
0.63 o 325
0.63 c 46
0.67 o 326
0.67 c 45
0.67 o 328
0.67 c 43
0.67 o 330
0.67 c 41
0.85 o 331
0.85 c 40
0.85 o 332
0.85 c 39
1.88
1.88 search
1.88 run=0 nbConstraintChecks=3793434 nbAssignments=10000
1.88 => wckTime=1.275 cpuTime=1.24 mem=5M565
3.11
3.11 search
3.11 run=1 nbConstraintChecks=7726481 nbAssignments=20000
3.11 => wckTime=2.502 cpuTime=2.46 mem=5M565
3.16 o 333
3.16 c 38
4.30
4.30 search
4.30 run=2 nbConstraintChecks=11502773 nbAssignments=30000
4.30 => wckTime=3.7 cpuTime=3.66 mem=5M565
5.53
5.53 search
5.53 run=3 nbConstraintChecks=15430785 nbAssignments=40000
5.53 => wckTime=4.924 cpuTime=4.87 mem=5M565
6.72
6.72 search
6.72 run=4 nbConstraintChecks=19191545 nbAssignments=50000
6.72 => wckTime=6.119 cpuTime=6.06 mem=5M565
7.96
7.96 search
7.96 run=5 nbConstraintChecks=23163667 nbAssignments=60000
7.96 => wckTime=7.352 cpuTime=7.28 mem=5M565
9.15
9.15 search
9.15 run=6 nbConstraintChecks=26935692 nbAssignments=70000
9.15 => wckTime=8.547 cpuTime=8.48 mem=5M565
10.38
10.38 search
10.38 run=7 nbConstraintChecks=30896305 nbAssignments=80000
10.38 => wckTime=9.779 cpuTime=9.69 mem=5M565
11.59
11.59 search
11.59 run=8 nbConstraintChecks=34692818 nbAssignments=90000
11.59 => wckTime=10.989 cpuTime=10.9 mem=5M565
12.83
12.83 search
12.83 run=9 nbConstraintChecks=38651065 nbAssignments=100000
12.83 => wckTime=12.223 cpuTime=12.13 mem=5M565
14.04
14.04 search
14.04 run=10 nbConstraintChecks=42439807 nbAssignments=110000
14.04 => wckTime=13.432 cpuTime=13.33 mem=5M565
15.27
15.27 search
15.27 run=11 nbConstraintChecks=46401869 nbAssignments=120000
15.27 => wckTime=14.668 cpuTime=14.56 mem=5M565
16.48
16.48 search
16.48 run=12 nbConstraintChecks=50171140 nbAssignments=130000
16.48 => wckTime=15.875 cpuTime=15.77 mem=5M565
17.72
17.72 search
17.72 run=13 nbConstraintChecks=54127800 nbAssignments=140000
17.72 => wckTime=17.111 cpuTime=17.0 mem=5M565
18.92
18.92 search
18.92 run=14 nbConstraintChecks=57889959 nbAssignments=150000
18.92 => wckTime=18.317 cpuTime=18.2 mem=5M565
20.15
20.15 search
20.15 run=15 nbConstraintChecks=61850241 nbAssignments=160000
20.15 => wckTime=19.55 cpuTime=19.43 mem=5M565
21.35
21.35 search
21.35 run=16 nbConstraintChecks=65606702 nbAssignments=170000
21.35 => wckTime=20.745 cpuTime=20.61 mem=5M565
22.58
22.58 search
22.58 run=17 nbConstraintChecks=69559294 nbAssignments=180000
22.58 => wckTime=21.976 cpuTime=21.84 mem=5M565
23.79
23.79 search
23.79 run=18 nbConstraintChecks=73346817 nbAssignments=190000
23.79 => wckTime=23.183 cpuTime=23.04 mem=5M565
25.02
25.02 search
25.02 run=19 nbConstraintChecks=77290510 nbAssignments=200000
25.02 => wckTime=24.417 cpuTime=24.26 mem=5M565
26.22
26.22 search
26.22 run=20 nbConstraintChecks=81066923 nbAssignments=210000
26.22 => wckTime=25.62 cpuTime=25.46 mem=5M565
27.45
27.45 search
27.45 run=21 nbConstraintChecks=85006336 nbAssignments=220000
27.45 => wckTime=26.847 cpuTime=26.68 mem=5M565
28.65
28.65 search
28.65 run=22 nbConstraintChecks=88802309 nbAssignments=230000
28.65 => wckTime=28.049 cpuTime=27.87 mem=5M565
29.89
29.89 search
29.89 run=23 nbConstraintChecks=92775308 nbAssignments=240000
29.89 => wckTime=29.281 cpuTime=29.1 mem=5M565
31.10
31.10 search
31.10 run=24 nbConstraintChecks=96557405 nbAssignments=250000
31.10 => wckTime=30.493 cpuTime=30.3 mem=5M565
32.34
32.34 search
32.34 run=25 nbConstraintChecks=100498992 nbAssignments=260000
32.34 => wckTime=31.732 cpuTime=31.54 mem=5M565
33.33
33.33 search
33.33 run=26 nbConstraintChecks=103585539 nbAssignments=268187
33.33 => wckTime=32.722 cpuTime=32.53 mem=5M565
33.33
33.33 global
33.33 nbConstraintChecks=103585539 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.33 solvingWckTime=32.721 solvingCpuTime=32.53 expiredTime=no totalExploration=no nbFoundSolutions=0
33.33 globalCpuTime=32.78
33.33 => wckTime=33.021 cpuTime=32.74 mem=5M565
33.33
33.33 solver IterativeSystematicSolver being built...
33.47 => wckTime=33.168 cpuTime=32.85 mem=16M571
33.48
33.48 preprocessing
33.48 nbConstraintChecks=32 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.48 detectedInconsistency=no
33.48 => wckTime=0.0060 cpuTime=0.0 mem=16M571
33.54
33.54 search
33.55 run=0 nbConstraintChecks=27021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45
33.55 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
33.55 => wckTime=0.068 cpuTime=0.04 mem=16M571
33.59
33.59 search
33.59 run=1 nbConstraintChecks=65737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102
33.59 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=147 nbRestartNogoods=3
33.59 => wckTime=0.109 cpuTime=0.07 mem=16M571
33.63
33.63 search
33.63 run=2 nbConstraintChecks=114622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170
33.63 nbFailedAssignments=40 nbBacktracks=49 nbVisitedNodes=260 nbRestartNogoods=4
33.63 => wckTime=0.152 cpuTime=0.11 mem=17M546
33.67
33.67 search
33.67 run=3 nbConstraintChecks=173694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=248
33.67 nbFailedAssignments=54 nbBacktracks=84 nbVisitedNodes=387 nbRestartNogoods=6
33.67 => wckTime=0.193 cpuTime=0.15 mem=17M546
33.73
33.73 search
33.73 run=4 nbConstraintChecks=266665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=361
33.73 nbFailedAssignments=82 nbBacktracks=135 nbVisitedNodes=579 nbRestartNogoods=8
33.73 => wckTime=0.256 cpuTime=0.21 mem=17M546
33.83
33.83 search
33.83 run=5 nbConstraintChecks=397492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=507
33.83 nbFailedAssignments=123 nbBacktracks=212 nbVisitedNodes=843 nbRestartNogoods=11
33.83 => wckTime=0.35 cpuTime=0.3 mem=17M546
33.97
33.97 search
33.97 run=6 nbConstraintChecks=608926 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=737
33.97 nbFailedAssignments=211 nbBacktracks=325 nbVisitedNodes=1262 nbRestartNogoods=15
33.97 => wckTime=0.493 cpuTime=0.44 mem=17M546
34.15
34.15 search
34.15 run=7 nbConstraintChecks=856474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1016
34.15 nbFailedAssignments=294 nbBacktracks=497 nbVisitedNodes=1773 nbRestartNogoods=18
34.15 => wckTime=0.673 cpuTime=0.62 mem=17M546
34.41
34.41 search
34.41 run=8 nbConstraintChecks=1251645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1440
34.41 nbFailedAssignments=435 nbBacktracks=754 nbVisitedNodes=2595 nbRestartNogoods=23
34.41 => wckTime=0.932 cpuTime=0.87 mem=17M546
34.89
34.89 search
34.89 run=9 nbConstraintChecks=1991523 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2213
34.89 nbFailedAssignments=795 nbBacktracks=1138 nbVisitedNodes=4052 nbRestartNogoods=26
34.89 => wckTime=1.415 cpuTime=1.33 mem=17M546
35.51
35.51 search
35.51 run=10 nbConstraintChecks=2928890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3103
35.51 nbFailedAssignments=1084 nbBacktracks=1714 nbVisitedNodes=5801 nbRestartNogoods=33
35.51 => wckTime=2.037 cpuTime=1.95 mem=17M546
36.28
36.28 search
36.28 run=11 nbConstraintChecks=4035010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4366
36.28 nbFailedAssignments=1460 nbBacktracks=2578 nbVisitedNodes=8093 nbRestartNogoods=36
36.28 => wckTime=2.799 cpuTime=2.7 mem=17M546
37.32
37.32 search
37.32 run=12 nbConstraintChecks=5554163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6190
37.32 nbFailedAssignments=1957 nbBacktracks=3875 nbVisitedNodes=11391 nbRestartNogoods=42
37.32 => wckTime=3.847 cpuTime=3.75 mem=17M546
39.43
39.43 search
39.43 run=13 nbConstraintChecks=8506543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9299
39.43 nbFailedAssignments=3099 nbBacktracks=5822 nbVisitedNodes=17509 nbRestartNogoods=46
39.43 => wckTime=5.957 cpuTime=5.85 mem=17M546
43.53
43.53 search
43.53 run=14 nbConstraintChecks=13622084 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14844
43.53 nbFailedAssignments=5703 nbBacktracks=8741 nbVisitedNodes=28431 nbRestartNogoods=50
43.53 => wckTime=10.054 cpuTime=9.92 mem=17M546
47.02
47.02 search
47.02 run=15 nbConstraintChecks=18982449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20879
47.02 nbFailedAssignments=7333 nbBacktracks=13121 nbVisitedNodes=38841 nbRestartNogoods=55
47.02 => wckTime=13.539 cpuTime=13.4 mem=17M546
54.22
54.22 search
54.22 run=16 nbConstraintChecks=29476656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31076
54.22 nbFailedAssignments=10936 nbBacktracks=19689 nbVisitedNodes=58675 nbRestartNogoods=62
54.22 => wckTime=20.748 cpuTime=20.57 mem=17M546
65.25
65.25 search
65.25 run=17 nbConstraintChecks=45834448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46886
65.25 nbFailedAssignments=16867 nbBacktracks=29542 nbVisitedNodes=89380 nbRestartNogoods=69
65.25 => wckTime=31.778 cpuTime=31.55 mem=17M546
78.26
78.26 search
78.26 run=18 nbConstraintChecks=66620486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69654
78.26 nbFailedAssignments=24830 nbBacktracks=44320 nbVisitedNodes=131904 nbRestartNogoods=76
78.26 => wckTime=44.788 cpuTime=44.49 mem=17M546
99.68
99.68 search
99.68 run=19 nbConstraintChecks=100893941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102646
99.68 nbFailedAssignments=35625 nbBacktracks=66492 nbVisitedNodes=193942 nbRestartNogoods=80
99.68 => wckTime=66.203 cpuTime=65.8 mem=17M546
131.40
131.41 search
131.41 run=20 nbConstraintChecks=147581534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153767
131.41 nbFailedAssignments=53471 nbBacktracks=99744 nbVisitedNodes=287211 nbRestartNogoods=87
131.41 => wckTime=97.929 cpuTime=97.38 mem=17M546
176.89
176.89 search
176.89 run=21 nbConstraintChecks=214834882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=230886
176.89 nbFailedAssignments=80683 nbBacktracks=149623 nbVisitedNodes=426093 nbRestartNogoods=98
176.89 => wckTime=143.411 cpuTime=142.64 mem=17M546
238.64
238.64 search
238.64 run=22 nbConstraintChecks=304662455 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=339239
238.64 nbFailedAssignments=114186 nbBacktracks=224442 nbVisitedNodes=617424 nbRestartNogoods=106
238.64 => wckTime=205.162 cpuTime=204.11 mem=17M546
325.18
325.18 search
325.18 run=23 nbConstraintChecks=433068903 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=503017
325.18 nbFailedAssignments=165714 nbBacktracks=336670 nbVisitedNodes=894523 nbRestartNogoods=116
325.18 => wckTime=291.708 cpuTime=290.25 mem=17M546
447.12
447.12 search
447.12 run=24 nbConstraintChecks=610002318 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=737046
447.12 nbFailedAssignments=231385 nbBacktracks=505017 nbVisitedNodes=1290396 nbRestartNogoods=123
447.12 => wckTime=413.645 cpuTime=411.19 mem=17M546
626.45
626.45 search
626.45 run=25 nbConstraintChecks=875677351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1095934
626.45 nbFailedAssignments=337733 nbBacktracks=757528 nbVisitedNodes=1887491 nbRestartNogoods=127
626.45 => wckTime=592.976 cpuTime=588.88 mem=17M546
893.03
893.03 search
893.03 run=26 nbConstraintChecks=1267941351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1608259
893.03 nbFailedAssignments=471265 nbBacktracks=1136295 nbVisitedNodes=2748930 nbRestartNogoods=135
893.03 => wckTime=859.552 cpuTime=853.03 mem=17M546
1281.42
1281.46 search
1281.46 run=27 nbConstraintChecks=1846906131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2408188
1281.46 nbFailedAssignments=703014 nbBacktracks=1704450 nbVisitedNodes=4033910 nbRestartNogoods=142
1281.46 => wckTime=1247.948 cpuTime=1237.89 mem=17M546
1870.33
1870.33 search
1870.33 run=28 nbConstraintChecks=2701199006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3590998
1870.33 nbFailedAssignments=1033569 nbBacktracks=2556679 nbVisitedNodes=5959469 nbRestartNogoods=149
1870.33 => wckTime=1836.857 cpuTime=1822.66 mem=17M546
2416.92 v 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-277724-1169270311 -o ROOT/results/node6/solver-277724-1169270311 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277724-1169270311/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.90 1.97 1.92 4/93 22746
/proc/meminfo: memFree=1244904/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=18540 CPUtime=0
/proc/22745/stat : 22745 (runsolver) R 22743 22745 22677 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 275426504 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22745/statm: 4635 279 244 17 0 2626 0
[startup+0.109784 s]
/proc/loadavg: 1.90 1.97 1.92 4/93 22746
/proc/meminfo: memFree=1244904/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=914988 CPUtime=0.09
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 3057 0 1 0 8 1 0 0 20 0 8 0 275426504 936947712 2803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228747 2803 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517833 s]
/proc/loadavg: 1.90 1.97 1.92 4/93 22746
/proc/meminfo: memFree=1244904/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915332 CPUtime=0.49
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 6489 0 1 0 46 3 0 0 18 0 8 0 275426504 937299968 6228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228833 6228 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33993 s]
/proc/loadavg: 1.91 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1227312/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915456 CPUtime=1.31
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 7060 0 1 0 107 24 0 0 25 0 8 0 275426504 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228864 6798 2476 14 0 215334 0
[pid=22745/tid=22747] ppid=22743 vsize=915456 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275426508 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915456 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915456 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915456 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915456 CPUtime=0.12
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 275426511 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915456 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915456 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937426944 6798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.99312 s]
/proc/loadavg: 1.91 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1227312/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2.96
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 7063 0 1 0 221 75 0 0 25 0 8 0 275426504 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2400621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 6800 2476 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.12
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 275426511 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.28454 s]
/proc/loadavg: 1.91 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1227248/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=6.24
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 7064 0 1 0 439 185 0 0 25 0 8 0 275426504 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 6801 2476 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.12
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 275426511 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
[startup+12.7723 s]
/proc/loadavg: 1.92 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1227248/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=12.68
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 7064 0 1 0 870 398 0 0 25 0 8 0 275426504 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 6801 2476 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.12
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 275426511 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915452
[startup+25.6098 s]
/proc/loadavg: 1.93 1.97 1.92 4/100 22753
/proc/meminfo: memFree=1227184/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=25.46
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 7070 0 1 0 1723 823 0 0 25 0 8 0 275426504 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 6807 2476 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.13
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 275426511 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 6807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915452
[startup+51.2198 s]
/proc/loadavg: 1.96 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1218992/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=50.94
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9200 0 1 0 4020 1074 0 0 25 0 8 0 275426504 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8932 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915452
[startup+102.429 s]
/proc/loadavg: 1.98 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1218992/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=101.91
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9212 0 1 0 9117 1074 0 0 25 0 8 0 275426504 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8942 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915452
[startup+162.475 s]
/proc/loadavg: 1.99 1.97 1.92 3/100 22753
/proc/meminfo: memFree=1218928/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=161.68
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9215 0 1 0 15093 1075 0 0 25 0 8 0 275426504 937422848 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2009.01
Current children cumulated vsize (KiB) 915452
[startup+2084.07 s]
/proc/loadavg: 2.08 2.02 1.95 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2068.78
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 205789 1089 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883861 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.78
Current children cumulated vsize (KiB) 915452
[startup+2144.12 s]
/proc/loadavg: 2.03 2.01 1.95 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2128.54
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 211765 1089 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.54
Current children cumulated vsize (KiB) 915452
[startup+2204.17 s]
/proc/loadavg: 2.01 2.00 1.95 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2188.31
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 217742 1089 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.31
Current children cumulated vsize (KiB) 915452
[startup+2264.22 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2248.08
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 223718 1090 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.08
Current children cumulated vsize (KiB) 915452
[startup+2324.26 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2307.84
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 229694 1090 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2307.84
Current children cumulated vsize (KiB) 915452
[startup+2384.31 s]
/proc/loadavg: 2.06 2.01 1.96 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2367.62
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 235671 1091 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2367.62
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.91 s]
/proc/loadavg: 2.03 2.01 1.96 3/100 22919
/proc/meminfo: memFree=1217848/2055924 swapFree=4165736/4192956
[pid=22745] ppid=22743 vsize=915452 CPUtime=2400.06
/proc/22745/stat : 22745 (java) R 22743 22745 22677 0 -1 0 9237 0 1 0 238915 1091 0 0 25 0 8 0 275426504 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22745/statm: 228863 8965 2527 14 0 215333 0
[pid=22745/tid=22747] ppid=22743 vsize=915452 CPUtime=0.02
/proc/22745/task/22747/stat : 22747 (java) S 22743 22745 22677 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22748] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22748/stat : 22748 (java) S 22743 22745 22677 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22749] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22749/stat : 22749 (java) S 22743 22745 22677 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275426508 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22750] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22750/stat : 22750 (java) S 22743 22745 22677 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22751] ppid=22743 vsize=915452 CPUtime=0.25
/proc/22745/task/22751/stat : 22751 (java) S 22743 22745 22677 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22752] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22752/stat : 22752 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275426511 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22745/tid=22753] ppid=22743 vsize=915452 CPUtime=0
/proc/22745/task/22753/stat : 22753 (java) S 22743 22745 22677 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275426512 937422848 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2416.98
CPU time (s): 2400.13
CPU user time (s): 2389.21
CPU system time (s): 10.9203
CPU usage (%): 99.3029
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.21
system time used= 10.9203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9260
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= 50055
involuntary context switches= 123859
runsolver used 2.6326 s user time and 8.07977 s system time
The end
Begin job on node6 on Sat Jan 20 05:18:31 UTC 2007
IDJOB= 277724
IDBENCH= 7596
IDSOLVER= 69
FILE ID= node6/277724-1169270311
PBS_JOBID= 3607433
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-100-1000/cnf-2-80-400-912641_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277724-1169270311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-277724-1169270311 -o ROOT/results/node6/solver-277724-1169270311 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277724-1169270311/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1abd4a2ec1ea32abca6984c3982fa265
RANDOM SEED= 224840652
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.240
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.240
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: 2055924 kB
MemFree: 1245384 kB
Buffers: 62208 kB
Cached: 601996 kB
SwapCached: 2944 kB
Active: 327220 kB
Inactive: 400328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1245384 kB
SwapTotal: 4192956 kB
SwapFree: 4165736 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 82804 kB
Slab: 67700 kB
Committed_AS: 9297372 kB
PageTables: 2468 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 node6 on Sat Jan 20 05:58:48 UTC 2007