0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276508-1169239180/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.103 cpuTime=0.1 mem=6M887
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.69 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.69 => wckTime=0.376 cpuTime=0.33 mem=21M689
0.73
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.467 cpuTime=0.37 mem=6M328
0.79
0.79 s SATISFIABLE
0.79 o 29
0.79 c 74
0.79 o 33
0.79 c 70
0.79 o 36
0.79 c 67
0.79 o 40
0.79 c 63
0.80 o 43
0.80 c 60
0.80 o 46
0.80 c 57
0.80 o 49
0.80 c 54
0.80 o 52
0.80 c 51
0.80 o 56
0.80 c 47
0.80 o 59
0.80 c 44
0.80 o 61
0.80 c 42
0.80 o 63
0.80 c 40
0.80 o 66
0.80 c 37
0.80 o 67
0.80 c 36
0.80 o 69
0.81 c 34
0.81 o 72
0.81 c 31
0.81 o 73
0.81 c 30
0.81 o 75
0.81 c 28
0.81 o 76
0.81 c 27
0.81 o 77
0.81 c 26
0.81 o 78
0.81 c 25
0.81 o 79
0.81 c 24
0.82 o 80
0.82 c 23
0.82 o 81
0.82 c 22
0.83 o 82
0.83 c 21
0.83 o 83
0.83 c 20
0.83 o 84
0.83 c 19
0.83 o 85
0.83 c 18
0.83 o 86
0.83 c 17
0.84 o 87
0.84 c 16
0.84 o 88
0.84 c 15
0.86 o 89
0.86 c 14
0.86 o 90
0.86 c 13
0.87 o 91
0.87 c 12
0.88 o 92
0.88 c 11
0.88 o 93
0.88 c 10
0.88 o 94
0.88 c 9
0.88 o 95
0.88 c 8
1.06 o 96
1.06 c 7
1.19 o 97
1.19 c 6
1.19 o 98
1.19 c 5
1.19 o 99
1.19 c 4
6.66
6.75 search
6.75 run=0 nbConstraintChecks=46014654 nbAssignments=10000
6.75 => wckTime=5.882 cpuTime=5.83 mem=6M328
12.59
12.59 search
12.59 run=1 nbConstraintChecks=94524002 nbAssignments=20000
12.59 => wckTime=11.809 cpuTime=11.72 mem=6M328
18.18
18.18 search
18.18 run=2 nbConstraintChecks=139890572 nbAssignments=30000
18.18 => wckTime=17.406 cpuTime=17.29 mem=6M328
24.03
24.03 search
24.03 run=3 nbConstraintChecks=187344821 nbAssignments=40000
24.03 => wckTime=23.256 cpuTime=23.11 mem=6M328
29.66
29.66 search
29.66 run=4 nbConstraintChecks=232774059 nbAssignments=50000
29.66 => wckTime=28.879 cpuTime=28.71 mem=6M328
31.34
31.34 search
31.34 run=5 nbConstraintChecks=246234637 nbAssignments=52841
31.34 => wckTime=30.566 cpuTime=30.4 mem=6M328
31.35
31.35 global
31.35 nbConstraintChecks=246234637 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.35 solvingWckTime=30.562 solvingCpuTime=30.4 expiredTime=no totalExploration=no nbFoundSolutions=0
31.35 globalCpuTime=30.81
31.35 => wckTime=31.034 cpuTime=30.77 mem=6M328
31.35
31.35 solver IterativeSystematicSolver being built...
31.48 => wckTime=31.163 cpuTime=30.87 mem=17M269
31.57
31.57 preprocessing
31.57 nbConstraintChecks=188239 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.57 detectedInconsistency=no
31.57 => wckTime=0.091 cpuTime=0.07 mem=17M269
31.78
31.78 search
31.78 run=0 nbConstraintChecks=987140 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124
31.78 nbFailedAssignments=103 nbBacktracks=10 nbVisitedNodes=238 nbRestartNogoods=0
31.78 => wckTime=0.298 cpuTime=0.27 mem=17M269
32.49
32.49 search
32.49 run=1 nbConstraintChecks=4842596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=488
32.49 nbFailedAssignments=439 nbBacktracks=25 nbVisitedNodes=953 nbRestartNogoods=100
32.49 => wckTime=1.01 cpuTime=0.96 mem=17M269
33.65
33.65 search
33.65 run=2 nbConstraintChecks=11899035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1074
33.65 nbFailedAssignments=989 nbBacktracks=47 nbVisitedNodes=2111 nbRestartNogoods=192
33.65 => wckTime=2.17 cpuTime=2.11 mem=17M269
35.58
35.58 search
35.58 run=3 nbConstraintChecks=22170951 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1897
35.59 nbFailedAssignments=1772 nbBacktracks=80 nbVisitedNodes=3750 nbRestartNogoods=309
35.59 => wckTime=4.108 cpuTime=4.01 mem=17M269
39.21
39.21 search
39.21 run=4 nbConstraintChecks=42335835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3626
39.21 nbFailedAssignments=3444 nbBacktracks=130 nbVisitedNodes=7201 nbRestartNogoods=319
39.21 => wckTime=7.734 cpuTime=7.61 mem=17M269
41.54
41.54 search
41.54 run=5 nbConstraintChecks=54439118 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4501
41.54 nbFailedAssignments=4228 nbBacktracks=205 nbVisitedNodes=8935 nbRestartNogoods=426
41.54 => wckTime=10.067 cpuTime=9.93 mem=17M269
44.31
44.31 search
44.31 run=6 nbConstraintChecks=68556361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6057
44.31 nbFailedAssignments=5659 nbBacktracks=318 nbVisitedNodes=12035 nbRestartNogoods=561
44.31 => wckTime=12.837 cpuTime=12.69 mem=17M269
53.33
53.33 search
53.33 run=7 nbConstraintChecks=113883833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9457
53.33 nbFailedAssignments=8877 nbBacktracks=488 nbVisitedNodes=18823 nbRestartNogoods=697
53.34 => wckTime=21.858 cpuTime=21.66 mem=17M269
70.30
70.30 search
70.30 run=8 nbConstraintChecks=199551814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17001
70.30 nbFailedAssignments=16153 nbBacktracks=744 nbVisitedNodes=33898 nbRestartNogoods=897
70.30 => wckTime=38.824 cpuTime=38.56 mem=17M269
76.87
76.87 search
76.87 run=9 nbConstraintChecks=233871985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20645
76.87 nbFailedAssignments=19397 nbBacktracks=1128 nbVisitedNodes=41170 nbRestartNogoods=1050
76.87 => wckTime=45.393 cpuTime=45.1 mem=17M269
88.36
88.36 search
88.36 run=10 nbConstraintChecks=291445933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28347
88.36 nbFailedAssignments=26512 nbBacktracks=1704 nbVisitedNodes=56562 nbRestartNogoods=1126
88.36 => wckTime=56.888 cpuTime=56.53 mem=17M269
111.42
111.42 search
111.42 run=11 nbConstraintChecks=409115001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39240
111.42 nbFailedAssignments=36536 nbBacktracks=2568 nbVisitedNodes=78341 nbRestartNogoods=1340
111.42 => wckTime=79.945 cpuTime=79.48 mem=17M269
138.89
138.89 search
138.89 run=12 nbConstraintChecks=531418213 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49831
138.89 nbFailedAssignments=45823 nbBacktracks=3865 nbVisitedNodes=99514 nbRestartNogoods=1375
138.89 => wckTime=107.409 cpuTime=106.81 mem=17M269
171.55
171.57 search
171.57 run=13 nbConstraintChecks=672528801 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62406
171.57 nbFailedAssignments=56445 nbBacktracks=5811 nbVisitedNodes=124629 nbRestartNogoods=1401
171.57 => wckTime=140.079 cpuTime=139.33 mem=17M269
220.38
220.38 search
220.38 run=14 nbConstraintChecks=882350440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80360
220.38 nbFailedAssignments=71476 nbBacktracks=8730 nbVisitedNodes=160423 nbRestartNogoods=1434
220.38 => wckTime=188.905 cpuTime=187.93 mem=17M269
286.63
286.63 search
286.63 run=15 nbConstraintChecks=1155610168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103458
286.63 nbFailedAssignments=90190 nbBacktracks=13108 nbVisitedNodes=206191 nbRestartNogoods=1446
286.63 => wckTime=255.15 cpuTime=253.86 mem=17M269
342.73 o 100
342.73 c 3
366.35
366.36 search
366.36 run=16 nbConstraintChecks=1471917049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133040
366.36 nbFailedAssignments=113199 nbBacktracks=19676 nbVisitedNodes=264134 nbRestartNogoods=1460
366.36 => wckTime=334.876 cpuTime=333.21 mem=17M269
473.99
473.99 search
473.99 run=17 nbConstraintChecks=1891425035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=171896
473.99 nbFailedAssignments=142197 nbBacktracks=29528 nbVisitedNodes=340281 nbRestartNogoods=1488
473.99 => wckTime=442.515 cpuTime=440.54 mem=17M269
643.53
643.53 search
643.53 run=18 nbConstraintChecks=2552900386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=230187
643.53 nbFailedAssignments=185703 nbBacktracks=44308 nbVisitedNodes=454912 nbRestartNogoods=1522
643.53 => wckTime=612.057 cpuTime=609.92 mem=17M269
903.72
903.72 search
903.72 run=19 nbConstraintChecks=3619887871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=323331
903.72 nbFailedAssignments=256669 nbBacktracks=66478 nbVisitedNodes=638372 nbRestartNogoods=1575
903.72 => wckTime=872.243 cpuTime=869.84 mem=17M269
1309.89
1309.89 search
1309.89 run=20 nbConstraintChecks=5401097474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=475400
1309.89 nbFailedAssignments=375482 nbBacktracks=99730 nbVisitedNodes=938657 nbRestartNogoods=1606
1309.89 => wckTime=1278.414 cpuTime=1275.55 mem=17M269
1822.51
1822.51 search
1822.51 run=21 nbConstraintChecks=7469957941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=659269
1822.51 nbFailedAssignments=509470 nbBacktracks=149608 nbVisitedNodes=1296675 nbRestartNogoods=1689
1822.51 => wckTime=1791.031 cpuTime=1787.6 mem=17M269
2404.18 v 62 0 62 58 40 22 8 43 25 0 61 0 36 0 33 29 10 14 3 33 8 30 4 0 12 75 2 18 68 1 72 38 72 3 20 62 35 69 27 33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-276508-1169239180 -o ROOT/results/node24/solver-276508-1169239180 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276508-1169239180/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: 2.04 1.92 1.54 4/93 20512
/proc/meminfo: memFree=1353208/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=9948 CPUtime=0
/proc/20511/stat : 20511 (java) S 20509 20511 20308 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 272313261 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/20511/statm: 2487 472 386 14 0 1142 0
[startup+0.103595 s]
/proc/loadavg: 2.04 1.92 1.54 4/93 20512
/proc/meminfo: memFree=1353208/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=914988 CPUtime=0.08
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 272313261 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511638 s]
/proc/loadavg: 2.04 1.92 1.54 4/93 20512
/proc/meminfo: memFree=1353208/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915332 CPUtime=0.49
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 7312 0 1 0 45 4 0 0 18 0 8 0 272313261 937299968 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228833 7051 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33472 s]
/proc/loadavg: 2.04 1.92 1.54 3/100 20519
/proc/meminfo: memFree=1322112/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=1.3
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10439 0 1 0 119 11 0 0 25 0 8 0 272313261 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10177 2479 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.12
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 272313268 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10177 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) 915444
[startup+2.9849 s]
/proc/loadavg: 2.04 1.92 1.54 3/100 20519
/proc/meminfo: memFree=1321920/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2.95
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10443 0 1 0 272 23 0 0 25 0 8 0 272313261 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10180 2479 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.12
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26426 s]
/proc/loadavg: 2.03 1.93 1.55 3/100 20519
/proc/meminfo: memFree=1321920/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=6.21
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10443 0 1 0 577 44 0 0 25 0 8 0 272313261 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10180 2479 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.12
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.753 s]
/proc/loadavg: 2.03 1.93 1.55 3/100 20519
/proc/meminfo: memFree=1321928/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=12.67
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10445 0 1 0 1179 88 0 0 25 0 8 0 272313261 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10182 2479 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.13
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915444
[startup+25.5944 s]
/proc/loadavg: 2.03 1.93 1.55 3/100 20519
/proc/meminfo: memFree=1321992/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=25.45
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10445 0 1 0 2360 185 0 0 25 0 8 0 272313261 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10182 2479 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.13
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444
[startup+51.2021 s]
/proc/loadavg: 2.01 1.93 1.56 3/100 20519
/proc/meminfo: memFree=1321672/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=50.93
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10606 0 1 0 4866 227 0 0 25 0 8 0 272313261 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10336 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.23
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272313268 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915444
[startup+102.41 s]
/proc/loadavg: 2.00 1.94 1.58 3/100 20519
/proc/meminfo: memFree=1321736/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=101.89
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10610 0 1 0 9962 227 0 0 25 0 8 0 272313261 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20511/statm: 228861 10338 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) R 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915444
[startup+162.462 s]
/proc/loadavg: 2.03 1.97 1.61 3/100 20519
/proc/meminfo: memFree=1321672/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=161.67
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10610 0 1 0 15939 228 0 0 25 0 8 0 272313261 937414656 10338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.86
Current children cumulated vsize (KiB) 915444
[startup+2084.7 s]
/proc/loadavg: 1.99 2.00 1.91 3/94 20854
/proc/meminfo: memFree=1295096/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2080.89
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 207846 243 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.89
Current children cumulated vsize (KiB) 915444
[startup+2144.78 s]
/proc/loadavg: 1.99 2.00 1.91 3/94 20854
/proc/meminfo: memFree=1294392/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2140.91
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 213847 244 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.91
Current children cumulated vsize (KiB) 915444
[startup+2204.87 s]
/proc/loadavg: 1.99 2.00 1.91 3/94 20854
/proc/meminfo: memFree=1294328/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2200.94
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 219850 244 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.94
Current children cumulated vsize (KiB) 915444
[startup+2264.96 s]
/proc/loadavg: 1.99 2.00 1.91 3/94 20854
/proc/meminfo: memFree=1294264/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2260.97
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 225853 244 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.97
Current children cumulated vsize (KiB) 915444
[startup+2325.05 s]
/proc/loadavg: 1.99 2.00 1.91 3/94 20854
/proc/meminfo: memFree=1294264/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2320.98
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 231854 244 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.98
Current children cumulated vsize (KiB) 915444
[startup+2385.13 s]
/proc/loadavg: 1.99 2.00 1.91 3/94 20854
/proc/meminfo: memFree=1294264/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2381.02
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 237858 244 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) S 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2381.02
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.17 s]
/proc/loadavg: 1.99 2.00 1.91 4/94 20854
/proc/meminfo: memFree=1294200/2055920 swapFree=4180096/4192956
[pid=20511] ppid=20509 vsize=915444 CPUtime=2400.01
/proc/20511/stat : 20511 (java) R 20509 20511 20308 0 -1 0 10614 0 1 0 239757 244 0 0 25 0 8 0 272313261 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20511/statm: 228861 10339 2532 14 0 215331 0
[pid=20511/tid=20513] ppid=20509 vsize=915444 CPUtime=0.03
/proc/20511/task/20513/stat : 20513 (java) S 20509 20511 20308 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20514] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20514/stat : 20514 (java) S 20509 20511 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20515] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20515/stat : 20515 (java) S 20509 20511 20308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272313265 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20516] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20516/stat : 20516 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20517] ppid=20509 vsize=915444 CPUtime=0.24
/proc/20511/task/20517/stat : 20517 (java) S 20509 20511 20308 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20511/tid=20518] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20518/stat : 20518 (java) S 20509 20511 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20511/tid=20519] ppid=20509 vsize=915444 CPUtime=0
/proc/20511/task/20519/stat : 20519 (java) R 20509 20511 20308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272313268 937414656 10339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2404.24
CPU time (s): 2400.09
CPU user time (s): 2397.63
CPU system time (s): 2.45363
CPU usage (%): 99.8274
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.63
system time used= 2.45363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10633
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= 49751
involuntary context switches= 77807
runsolver used 3.05953 s user time and 7.60784 s system time
The end
Begin job on node24 on Fri Jan 19 20:39:40 UTC 2007
IDJOB= 276508
IDBENCH= 5815
IDSOLVER= 68
FILE ID= node24/276508-1169239180
PBS_JOBID= 3589320
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276508-1169239180/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-276508-1169239180 -o ROOT/results/node24/solver-276508-1169239180 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276508-1169239180/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 42f6f08b863c15542d3855468bce8333
RANDOM SEED= 187957557
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.234
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.234
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: 1353688 kB
Buffers: 43760 kB
Cached: 511676 kB
SwapCached: 600 kB
Active: 192416 kB
Inactive: 440172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353688 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 2428 kB
Writeback: 0 kB
Mapped: 104264 kB
Slab: 54260 kB
Committed_AS: 6094364 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= 66556 MiB
End job on node24 on Fri Jan 19 21:19:44 UTC 2007