0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277886-1169271014/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.104 cpuTime=0.07 mem=6M910
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.56 nbConstraints=498 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=488
0.56 nbConflictsStructures=10 nbSharedConflictsStructures=488 nbSharedBinaryRepresentations=0 maxDegree=32
0.56 maxArity=3
0.56 => wckTime=0.245 cpuTime=0.16 mem=8M860
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.326 cpuTime=0.2 mem=5M639
0.65
0.65 s SATISFIABLE
0.65 o 448
0.65 c 50
0.65 o 452
0.65 c 46
0.65 o 458
0.65 c 40
0.65 o 460
0.65 c 38
0.65 o 462
0.65 c 36
0.65 o 464
0.65 c 34
0.65 o 466
0.65 c 32
0.65 o 469
0.65 c 29
0.65 o 471
0.65 c 27
0.66 o 474
0.66 c 24
0.66 o 475
0.66 c 23
0.66 o 477
0.66 c 21
0.66 o 479
0.66 c 19
0.66 o 482
0.66 c 16
0.66 o 484
0.66 c 14
0.77 o 485
0.77 c 13
0.77 o 486
0.77 c 12
0.78 o 487
0.78 c 11
0.95 o 488
0.95 c 10
2.12
2.12 search
2.12 run=0 nbConstraintChecks=5288668 nbAssignments=10000
2.12 => wckTime=1.478 cpuTime=1.44 mem=5M639
3.57
3.57 search
3.57 run=1 nbConstraintChecks=10817850 nbAssignments=20000
3.57 => wckTime=2.931 cpuTime=2.87 mem=5M639
4.97
4.97 search
4.97 run=2 nbConstraintChecks=16062928 nbAssignments=30000
4.97 => wckTime=4.329 cpuTime=4.26 mem=5M639
6.43
6.43 search
6.43 run=3 nbConstraintChecks=21662049 nbAssignments=40000
6.43 => wckTime=5.787 cpuTime=5.7 mem=5M639
7.82
7.82 search
7.82 run=4 nbConstraintChecks=26883974 nbAssignments=50000
7.82 => wckTime=7.181 cpuTime=7.1 mem=5M639
9.28
9.28 search
9.28 run=5 nbConstraintChecks=32408032 nbAssignments=60000
9.28 => wckTime=8.635 cpuTime=8.53 mem=5M639
10.68
10.68 search
10.68 run=6 nbConstraintChecks=37649537 nbAssignments=70000
10.68 => wckTime=10.04 cpuTime=9.93 mem=5M639
12.14
12.14 search
12.14 run=7 nbConstraintChecks=43201876 nbAssignments=80000
12.14 => wckTime=11.499 cpuTime=11.37 mem=5M639
13.54
13.54 search
13.54 run=8 nbConstraintChecks=48373642 nbAssignments=90000
13.54 => wckTime=12.9 cpuTime=12.77 mem=5M639
15.01
15.01 search
15.01 run=9 nbConstraintChecks=53930797 nbAssignments=100000
15.01 => wckTime=14.37 cpuTime=14.21 mem=5M639
16.41
16.41 search
16.41 run=10 nbConstraintChecks=59092130 nbAssignments=110000
16.41 => wckTime=15.768 cpuTime=15.61 mem=5M639
17.88
17.88 search
17.88 run=11 nbConstraintChecks=64736039 nbAssignments=120000
17.88 => wckTime=17.242 cpuTime=17.07 mem=5M639
19.29
19.29 search
19.29 run=12 nbConstraintChecks=69904563 nbAssignments=130000
19.29 => wckTime=18.65 cpuTime=18.46 mem=5M639
20.75
20.76 search
20.76 run=13 nbConstraintChecks=75535546 nbAssignments=140000
20.76 => wckTime=20.114 cpuTime=19.92 mem=5M639
22.16
22.16 search
22.16 run=14 nbConstraintChecks=80791976 nbAssignments=150000
22.16 => wckTime=21.516 cpuTime=21.3 mem=5M639
23.60
23.60 search
23.60 run=15 nbConstraintChecks=86279071 nbAssignments=160000
23.60 => wckTime=22.955 cpuTime=22.74 mem=5M639
24.99
24.99 search
24.99 run=16 nbConstraintChecks=91415665 nbAssignments=170000
24.99 => wckTime=24.348 cpuTime=24.11 mem=5M639
26.43
26.43 search
26.43 run=17 nbConstraintChecks=96942322 nbAssignments=180000
26.43 => wckTime=25.791 cpuTime=25.54 mem=5M639
27.82
27.82 search
27.82 run=18 nbConstraintChecks=102109135 nbAssignments=190000
27.82 => wckTime=27.178 cpuTime=26.92 mem=5M639
29.27
29.27 search
29.27 run=19 nbConstraintChecks=107622896 nbAssignments=200000
29.27 => wckTime=28.627 cpuTime=28.35 mem=5M639
30.68
30.68 search
30.68 run=20 nbConstraintChecks=112828838 nbAssignments=210000
30.68 => wckTime=30.039 cpuTime=29.75 mem=5M639
31.23
31.23 search
31.23 run=21 nbConstraintChecks=114906521 nbAssignments=213784
31.23 => wckTime=30.585 cpuTime=30.29 mem=5M639
31.23
31.23 global
31.23 nbConstraintChecks=114906521 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.23 solvingWckTime=30.582 solvingCpuTime=30.29 expiredTime=no totalExploration=no nbFoundSolutions=0
31.23 globalCpuTime=30.55
31.23 => wckTime=30.91 cpuTime=30.49 mem=5M639
31.23
31.23 solver IterativeSystematicSolver being built...
31.41 => wckTime=31.094 cpuTime=30.63 mem=19M507
31.42
31.42 preprocessing
31.42 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.42 detectedInconsistency=no
31.42 => wckTime=0.0090 cpuTime=0.01 mem=19M507
31.50
31.50 search
31.50 run=0 nbConstraintChecks=3684 nbValidityChecks=16288 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.50 nbAssignments=46 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=61 nbRestartNogoods=0
31.50 => wckTime=0.088 cpuTime=0.06 mem=20M482
31.55
31.55 search
31.55 run=1 nbConstraintChecks=8243 nbValidityChecks=43092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.55 nbAssignments=103 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=138 nbRestartNogoods=3
31.55 => wckTime=0.142 cpuTime=0.1 mem=20M482
31.61
31.61 search
31.61 run=2 nbConstraintChecks=15064 nbValidityChecks=80651 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.61 nbAssignments=168 nbFailedAssignments=33 nbBacktracks=50 nbVisitedNodes=240 nbRestartNogoods=6
31.61 => wckTime=0.201 cpuTime=0.16 mem=20M482
31.69
31.69 search
31.69 run=3 nbConstraintChecks=24628 nbValidityChecks=134068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.69 nbAssignments=248 nbFailedAssignments=48 nbBacktracks=84 nbVisitedNodes=365 nbRestartNogoods=9
31.69 => wckTime=0.277 cpuTime=0.22 mem=20M482
31.78
31.78 search
31.78 run=4 nbConstraintChecks=36328 nbValidityChecks=203228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.78 nbAssignments=358 nbFailedAssignments=81 nbBacktracks=136 nbVisitedNodes=551 nbRestartNogoods=13
31.78 => wckTime=0.366 cpuTime=0.31 mem=20M482
31.92
31.93 search
31.93 run=5 nbConstraintChecks=59758 nbValidityChecks=339727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.93 nbAssignments=538 nbFailedAssignments=153 nbBacktracks=212 nbVisitedNodes=870 nbRestartNogoods=17
31.93 => wckTime=0.514 cpuTime=0.46 mem=20M482
32.08
32.08 search
32.08 run=6 nbConstraintChecks=83141 nbValidityChecks=476497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.08 nbAssignments=735 nbFailedAssignments=209 nbBacktracks=327 nbVisitedNodes=1194 nbRestartNogoods=19
32.08 => wckTime=0.669 cpuTime=0.61 mem=20M482
32.34
32.34 search
32.34 run=7 nbConstraintChecks=121528 nbValidityChecks=722750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.34 nbAssignments=1031 nbFailedAssignments=303 nbBacktracks=497 nbVisitedNodes=1734 nbRestartNogoods=22
32.34 => wckTime=0.931 cpuTime=0.87 mem=20M482
32.71
32.71 search
32.71 run=8 nbConstraintChecks=171033 nbValidityChecks=1032090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.72 nbAssignments=1473 nbFailedAssignments=461 nbBacktracks=753 nbVisitedNodes=2473 nbRestartNogoods=29
32.72 => wckTime=1.304 cpuTime=1.24 mem=20M482
33.32
33.32 search
33.32 run=9 nbConstraintChecks=261519 nbValidityChecks=1581164 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.32 nbAssignments=2114 nbFailedAssignments=685 nbBacktracks=1140 nbVisitedNodes=3689 nbRestartNogoods=37
33.32 => wckTime=1.913 cpuTime=1.81 mem=20M482
34.22
34.22 search
34.22 run=10 nbConstraintChecks=392734 nbValidityChecks=2441685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.22 nbAssignments=3060 nbFailedAssignments=1023 nbBacktracks=1716 nbVisitedNodes=5416 nbRestartNogoods=43
34.22 => wckTime=2.809 cpuTime=2.69 mem=20M482
35.43
35.43 search
35.43 run=11 nbConstraintChecks=582971 nbValidityChecks=3529505 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.43 nbAssignments=4413 nbFailedAssignments=1483 nbBacktracks=2583 nbVisitedNodes=7914 nbRestartNogoods=47
35.43 => wckTime=4.019 cpuTime=3.89 mem=20M482
37.02
37.02 search
37.02 run=12 nbConstraintChecks=832125 nbValidityChecks=5156910 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.02 nbAssignments=6446 nbFailedAssignments=2191 nbBacktracks=3881 nbVisitedNodes=11462 nbRestartNogoods=53
37.02 => wckTime=5.609 cpuTime=5.47 mem=20M482
40.04
40.04 search
40.04 run=13 nbConstraintChecks=1260361 nbValidityChecks=8081243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.04 nbAssignments=10031 nbFailedAssignments=3797 nbBacktracks=5827 nbVisitedNodes=18073 nbRestartNogoods=57
40.04 => wckTime=8.626 cpuTime=8.46 mem=20M482
43.82
43.82 search
43.82 run=14 nbConstraintChecks=1939598 nbValidityChecks=12351682 nbPropagations=0 nbRevisions=0
43.82 nbUselessRevisions=0 nbAssignments=14328 nbFailedAssignments=5140 nbBacktracks=8746 nbVisitedNodes=26322
43.82 nbRestartNogoods=66
43.82 => wckTime=12.409 cpuTime=12.21 mem=20M482
49.54
49.54 search
49.54 run=15 nbConstraintChecks=3006830 nbValidityChecks=19067282 nbPropagations=0 nbRevisions=0
49.54 nbUselessRevisions=0 nbAssignments=21250 nbFailedAssignments=7647 nbBacktracks=13125 nbVisitedNodes=38950
49.54 nbRestartNogoods=74
49.54 => wckTime=18.13 cpuTime=17.88 mem=20M482
58.44
58.44 search
58.44 run=16 nbConstraintChecks=4402729 nbValidityChecks=27333658 nbPropagations=0 nbRevisions=0
58.44 nbUselessRevisions=0 nbAssignments=31251 nbFailedAssignments=11052 nbBacktracks=19693 nbVisitedNodes=57204
58.44 nbRestartNogoods=82
58.44 => wckTime=27.033 cpuTime=26.71 mem=20M482
71.44
71.44 search
71.44 run=17 nbConstraintChecks=6661612 nbValidityChecks=39781723 nbPropagations=0 nbRevisions=0
71.44 nbUselessRevisions=0 nbAssignments=46515 nbFailedAssignments=16431 nbBacktracks=29547 nbVisitedNodes=85116
71.44 nbRestartNogoods=87
71.44 => wckTime=40.034 cpuTime=39.6 mem=20M482
89.90
89.90 search
89.90 run=18 nbConstraintChecks=9996583 nbValidityChecks=58182097 nbPropagations=0 nbRevisions=0
89.90 nbUselessRevisions=0 nbAssignments=69980 nbFailedAssignments=25085 nbBacktracks=44332 nbVisitedNodes=125862
89.90 nbRestartNogoods=94
89.90 => wckTime=58.488 cpuTime=57.89 mem=20M482
115.99
115.99 search
115.99 run=19 nbConstraintChecks=14799543 nbValidityChecks=83038868 nbPropagations=0 nbRevisions=0
115.99 nbUselessRevisions=0 nbAssignments=102815 nbFailedAssignments=35718 nbBacktracks=66502 nbVisitedNodes=184079
115.99 nbRestartNogoods=99
115.99 => wckTime=84.575 cpuTime=83.75 mem=20M482
153.73
153.73 search
153.73 run=20 nbConstraintChecks=22846273 nbValidityChecks=120961914 nbPropagations=0 nbRevisions=0
153.73 nbUselessRevisions=0 nbAssignments=151124 nbFailedAssignments=50745 nbBacktracks=99754 nbVisitedNodes=268538
153.73 nbRestartNogoods=108
153.73 => wckTime=122.322 cpuTime=121.16 mem=20M482
205.06
205.06 search
205.06 run=21 nbConstraintChecks=33356356 nbValidityChecks=165610677 nbPropagations=0 nbRevisions=0
205.06 nbUselessRevisions=0 nbAssignments=221534 nbFailedAssignments=71244 nbBacktracks=149633 nbVisitedNodes=387499
205.06 nbRestartNogoods=114
205.06 => wckTime=173.651 cpuTime=172.02 mem=20M482
282.00
282.00 search
282.00 run=22 nbConstraintChecks=48301903 nbValidityChecks=231153383 nbPropagations=0 nbRevisions=0
282.00 nbUselessRevisions=0 nbAssignments=328350 nbFailedAssignments=103215 nbBacktracks=224451 nbVisitedNodes=562017
282.00 nbRestartNogoods=126
282.00 => wckTime=250.586 cpuTime=248.27 mem=20M482
399.14
399.14 search
399.14 run=23 nbConstraintChecks=73446838 nbValidityChecks=330965267 nbPropagations=0 nbRevisions=0
399.14 nbUselessRevisions=0 nbAssignments=492256 nbFailedAssignments=154862 nbBacktracks=336678 nbVisitedNodes=831717
399.14 nbRestartNogoods=132
399.14 => wckTime=367.727 cpuTime=364.37 mem=20M482
558.22
558.22 search
558.22 run=24 nbConstraintChecks=113086186 nbValidityChecks=489984228 nbPropagations=0 nbRevisions=0
558.22 nbUselessRevisions=0 nbAssignments=726237 nbFailedAssignments=220468 nbBacktracks=505025 nbVisitedNodes=1212075
558.22 nbRestartNogoods=137
558.22 => wckTime=526.813 cpuTime=522.02 mem=20M482
798.53
798.53 search
798.53 run=25 nbConstraintChecks=163426981 nbValidityChecks=696679394 nbPropagations=0 nbRevisions=0
798.53 nbUselessRevisions=0 nbAssignments=1074721 nbFailedAssignments=316421 nbBacktracks=757538
798.53 nbVisitedNodes=1775842 nbRestartNogoods=143
798.53 => wckTime=767.122 cpuTime=760.24 mem=20M482
1131.30
1131.30 search
1131.30 run=26 nbConstraintChecks=245316137 nbValidityChecks=1008772077 nbPropagations=0 nbRevisions=0
1131.30 nbUselessRevisions=0 nbAssignments=1580907 nbFailedAssignments=443803 nbBacktracks=1136306
1131.30 nbVisitedNodes=2581282 nbRestartNogoods=148
1131.30 => wckTime=1099.891 cpuTime=1090.27 mem=20M482
1674.12
1674.12 search
1674.12 run=27 nbConstraintChecks=355930326 nbValidityChecks=1439013746 nbPropagations=0 nbRevisions=0
1674.12 nbUselessRevisions=0 nbAssignments=2369757 nbFailedAssignments=664469 nbBacktracks=1704458
1674.12 nbVisitedNodes=3858176 nbRestartNogoods=160
1674.12 => wckTime=1642.708 cpuTime=1631.02 mem=20M482
2414.38 v 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-277886-1169271014 -o ROOT/results/node44/solver-277886-1169271014 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277886-1169271014/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.87 1.99 1.99 4/74 14819
/proc/meminfo: memFree=1280648/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=11820 CPUtime=0
/proc/14818/stat : 14818 (java) D 14816 14818 13676 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 275500499 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11281188 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/14818/statm: 2955 510 421 14 0 1602 0
[startup+0.103424 s]
/proc/loadavg: 1.87 1.99 1.99 4/74 14819
/proc/meminfo: memFree=1280648/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=914988 CPUtime=0.08
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 2957 0 1 0 7 1 0 0 19 0 8 0 275500499 936947712 2703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228747 2703 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511466 s]
/proc/loadavg: 1.87 1.99 1.99 4/74 14819
/proc/meminfo: memFree=1280648/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915332 CPUtime=0.48
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 6324 0 1 0 44 4 0 0 18 0 8 0 275500499 937299968 6063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152163622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228833 6063 2145 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33354 s]
/proc/loadavg: 1.88 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1262416/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915424 CPUtime=1.3
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 7195 0 1 0 106 24 0 0 24 0 8 0 275500499 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228856 6933 2475 14 0 215326 0
[pid=14818/tid=14820] ppid=14816 vsize=915424 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 275500502 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915424 CPUtime=0.14
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 342 0 0 0 14 0 0 0 16 0 8 0 275500507 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937394176 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915424
[startup+2.98571 s]
/proc/loadavg: 1.88 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1262352/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915420 CPUtime=2.94
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 7198 0 1 0 225 69 0 0 25 0 8 0 275500499 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073703002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228855 6935 2475 14 0 215325 0
[pid=14818/tid=14820] ppid=14816 vsize=915420 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 275500502 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915420 CPUtime=0.14
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 344 0 0 0 14 0 0 0 16 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915420
[startup+6.27605 s]
/proc/loadavg: 1.88 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1262352/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915424 CPUtime=6.2
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 7198 0 1 0 464 156 0 0 25 0 8 0 275500499 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228856 6935 2475 14 0 215326 0
[pid=14818/tid=14820] ppid=14816 vsize=915424 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 275500502 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915424 CPUtime=0.15
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 344 0 0 0 15 0 0 0 16 0 8 0 275500507 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915424 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937394176 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915424
[startup+12.7637 s]
/proc/loadavg: 1.90 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1262352/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915420 CPUtime=12.64
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 7199 0 1 0 924 340 0 0 25 0 8 0 275500499 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228855 6935 2475 14 0 215325 0
[pid=14818/tid=14820] ppid=14816 vsize=915420 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 275500502 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915420 CPUtime=0.15
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 344 0 0 0 15 0 0 0 16 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937390080 6935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915420
[startup+25.599 s]
/proc/loadavg: 1.91 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1262416/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915420 CPUtime=25.36
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 7200 0 1 0 1836 700 0 0 25 0 8 0 275500499 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073706633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228855 6936 2475 14 0 215325 0
[pid=14818/tid=14820] ppid=14816 vsize=915420 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 275500502 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915420 CPUtime=0.15
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 345 0 0 0 15 0 0 0 16 0 8 0 275500507 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915420 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937390080 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915420
[startup+51.2097 s]
/proc/loadavg: 1.95 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1251536/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=50.75
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 9969 0 1 0 4210 865 0 0 25 0 8 0 275500499 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073905130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9702 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.29
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 275500507 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915552
[startup+102.414 s]
/proc/loadavg: 1.98 1.99 1.99 3/81 14826
/proc/meminfo: memFree=1251536/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=101.51
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 9977 0 1 0 9286 865 0 0 25 0 8 0 275500499 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9710 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915552
[startup+162.46 s]
/proc/loadavg: 2.03 2.00 1.99 3/81 14826
/proc/meminfo: memFree=1251536/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=161.03
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 9984 0 1 0 15237 866 0 0 25 0 8 0 275500499 937525248 9716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2010.14
Current children cumulated vsize (KiB) 915552
[startup+2083.69 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 15122
/proc/meminfo: memFree=1243856/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2069.91
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 206113 878 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2069.91
Current children cumulated vsize (KiB) 915552
[startup+2143.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 15122
/proc/meminfo: memFree=1243920/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2129.68
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 212089 879 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.68
Current children cumulated vsize (KiB) 915552
[startup+2203.72 s]
/proc/loadavg: 1.72 1.93 1.98 2/72 15213
/proc/meminfo: memFree=1260648/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2189.49
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 218069 880 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.49
Current children cumulated vsize (KiB) 915552
[startup+2263.81 s]
/proc/loadavg: 1.26 1.76 1.91 2/72 15213
/proc/meminfo: memFree=1260776/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2249.55
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 224075 880 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.55
Current children cumulated vsize (KiB) 915552
[startup+2323.9 s]
/proc/loadavg: 1.13 1.63 1.86 2/72 15213
/proc/meminfo: memFree=1260776/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2309.63
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 230083 880 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.63
Current children cumulated vsize (KiB) 915552
[startup+2383.99 s]
/proc/loadavg: 1.05 1.52 1.80 2/72 15213
/proc/meminfo: memFree=1260776/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2369.69
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 236089 880 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.69
Current children cumulated vsize (KiB) 915552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2414.38 s]
/proc/loadavg: 1.03 1.47 1.78 2/72 15213
/proc/meminfo: memFree=1260776/2055920 swapFree=4191892/4192956
[pid=14818] ppid=14816 vsize=915552 CPUtime=2400.08
/proc/14818/stat : 14818 (java) R 14816 14818 13676 0 -1 0 10005 0 1 0 239128 880 0 0 25 0 8 0 275500499 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14818/statm: 228888 9735 2529 14 0 215358 0
[pid=14818/tid=14820] ppid=14816 vsize=915552 CPUtime=0.02
/proc/14818/task/14820/stat : 14820 (java) S 14816 14818 13676 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 275500502 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14821] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 13676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14822] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 13676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275500503 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14823] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 13676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14824] ppid=14816 vsize=915552 CPUtime=0.3
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 13676 0 -1 64 422 0 0 0 28 2 0 0 16 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14825] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14818/tid=14826] ppid=14816 vsize=915552 CPUtime=0
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275500507 937525248 9735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2414.43
CPU time (s): 2400.14
CPU user time (s): 2391.32
CPU system time (s): 8.81566
CPU usage (%): 99.4081
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.32
system time used= 8.81566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10028
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= 50100
involuntary context switches= 72821
runsolver used 2.70659 s user time and 6.91895 s system time
The end
Begin job on node44 on Sat Jan 20 05:30:14 UTC 2007
IDJOB= 277886
IDBENCH= 7776
IDSOLVER= 69
FILE ID= node44/277886-1169271014
PBS_JOBID= 3607388
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-100-1000/cnf-3-80-500-638341_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277886-1169271014/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-277886-1169271014 -o ROOT/results/node44/solver-277886-1169271014 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277886-1169271014/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c23a08f9a2806a3728125b719095abe2
RANDOM SEED= 75868219
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.213
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.213
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: 1281064 kB
Buffers: 54804 kB
Cached: 620032 kB
SwapCached: 268 kB
Active: 191016 kB
Inactive: 505880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1281064 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1912 kB
Writeback: 0 kB
Mapped: 33048 kB
Slab: 63356 kB
Committed_AS: 4991644 kB
PageTables: 1776 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= 66563 MiB
End job on node44 on Sat Jan 20 06:10:30 UTC 2007