0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276391-1169236507/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.58
0.58 constraints being loaded...
0.66 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.66 => wckTime=0.355 cpuTime=0.3 mem=21M663
0.71
0.71 solver LocalSearchSolver being built...
0.75 => wckTime=0.441 cpuTime=0.34 mem=6M328
0.76
0.76 s SATISFIABLE
0.76 o 19
0.76 c 84
0.76 o 23
0.76 c 80
0.76 o 27
0.76 c 76
0.76 o 31
0.76 c 72
0.76 o 35
0.76 c 68
0.77 o 39
0.77 c 64
0.77 o 42
0.77 c 61
0.77 o 45
0.77 c 58
0.77 o 47
0.77 c 56
0.77 o 49
0.77 c 54
0.77 o 51
0.77 c 52
0.77 o 54
0.77 c 49
0.77 o 57
0.77 c 46
0.77 o 60
0.77 c 43
0.77 o 63
0.77 c 40
0.78 o 66
0.78 c 37
0.78 o 68
0.78 c 35
0.78 o 70
0.78 c 33
0.78 o 72
0.78 c 31
0.78 o 73
0.78 c 30
0.78 o 74
0.78 c 29
0.78 o 75
0.78 c 28
0.78 o 77
0.78 c 26
0.78 o 78
0.78 c 25
0.79 o 79
0.79 c 24
0.79 o 80
0.79 c 23
0.79 o 81
0.79 c 22
0.79 o 82
0.80 c 21
0.80 o 83
0.80 c 20
0.80 o 85
0.80 c 18
0.80 o 86
0.80 c 17
0.80 o 87
0.80 c 16
0.80 o 88
0.80 c 15
0.80 o 89
0.80 c 14
0.80 o 90
0.80 c 13
0.81 o 91
0.81 c 12
0.81 o 92
0.81 c 11
0.84 o 93
0.84 c 10
0.85 o 94
0.85 c 9
0.88 o 95
0.88 c 8
1.04 o 96
1.04 c 7
1.06 o 97
1.06 c 6
1.07 o 98
1.07 c 5
5.91
5.91 search
5.91 run=0 nbConstraintChecks=44430967 nbAssignments=10000
5.91 => wckTime=5.163 cpuTime=5.14 mem=6M328
6.47 o 99
6.47 c 4
11.38
11.38 search
11.38 run=1 nbConstraintChecks=90544868 nbAssignments=20000
11.38 => wckTime=10.636 cpuTime=10.6 mem=6M328
16.57
16.57 search
16.57 run=2 nbConstraintChecks=134734906 nbAssignments=30000
16.57 => wckTime=15.826 cpuTime=15.79 mem=6M328
22.14
22.14 search
22.14 run=3 nbConstraintChecks=182170739 nbAssignments=40000
22.14 => wckTime=21.394 cpuTime=21.36 mem=6M328
25.26 o 100
25.26 c 3
27.07
27.07 search
27.07 run=4 nbConstraintChecks=223553374 nbAssignments=50000
27.07 => wckTime=26.324 cpuTime=26.28 mem=6M328
32.51
32.51 search
32.51 run=5 nbConstraintChecks=269154786 nbAssignments=60000
32.51 => wckTime=31.76 cpuTime=31.71 mem=6M328
37.52
37.52 search
37.52 run=6 nbConstraintChecks=311095882 nbAssignments=70000
37.52 => wckTime=36.776 cpuTime=36.71 mem=6M328
43.07
43.07 search
43.07 run=7 nbConstraintChecks=358297034 nbAssignments=80000
43.07 => wckTime=42.323 cpuTime=42.26 mem=6M328
48.13
48.13 search
48.13 run=8 nbConstraintChecks=400947636 nbAssignments=90000
48.13 => wckTime=47.383 cpuTime=47.32 mem=6M328
53.97
53.97 search
53.97 run=9 nbConstraintChecks=450957067 nbAssignments=100000
53.97 => wckTime=53.223 cpuTime=53.15 mem=6M328
55.30
55.30 search
55.30 run=10 nbConstraintChecks=462192114 nbAssignments=102841
55.30 => wckTime=54.553 cpuTime=54.48 mem=6M328
55.30
55.30 global
55.30 nbConstraintChecks=462192114 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.30 solvingWckTime=54.549 solvingCpuTime=54.48 expiredTime=no totalExploration=no nbFoundSolutions=0
55.30 globalCpuTime=54.86
55.30 => wckTime=54.995 cpuTime=54.82 mem=6M328
55.30
55.30 solver IterativeSystematicSolver being built...
55.42 => wckTime=55.116 cpuTime=54.91 mem=17M202
55.51
55.51 preprocessing
55.51 nbConstraintChecks=160892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
55.51 detectedInconsistency=no
55.51 => wckTime=0.087 cpuTime=0.07 mem=17M202
56.01
56.01 search
56.01 run=0 nbConstraintChecks=2321253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207
56.01 nbFailedAssignments=190 nbBacktracks=10 nbVisitedNodes=408 nbRestartNogoods=0
56.01 => wckTime=0.588 cpuTime=0.56 mem=17M202
56.55
56.55 search
56.55 run=1 nbConstraintChecks=5383993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=481
56.55 nbFailedAssignments=442 nbBacktracks=25 nbVisitedNodes=949 nbRestartNogoods=85
56.55 => wckTime=1.125 cpuTime=1.09 mem=17M202
56.97
56.97 search
56.97 run=2 nbConstraintChecks=7752553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=720
56.97 nbFailedAssignments=647 nbBacktracks=47 nbVisitedNodes=1415 nbRestartNogoods=105
56.97 => wckTime=1.543 cpuTime=1.5 mem=17M202
58.42
58.42 search
58.42 run=3 nbConstraintChecks=16945668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1533
58.42 nbFailedAssignments=1417 nbBacktracks=80 nbVisitedNodes=3031 nbRestartNogoods=165
58.42 => wckTime=2.991 cpuTime=2.93 mem=17M202
59.09
59.09 search
59.09 run=4 nbConstraintChecks=20850029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1906
59.09 nbFailedAssignments=1729 nbBacktracks=130 nbVisitedNodes=3766 nbRestartNogoods=307
59.09 => wckTime=3.669 cpuTime=3.6 mem=17M202
60.69
60.69 search
60.69 run=5 nbConstraintChecks=31961211 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2999
60.69 nbFailedAssignments=2736 nbBacktracks=205 nbVisitedNodes=5941 nbRestartNogoods=342
60.69 => wckTime=5.262 cpuTime=5.19 mem=17M202
65.12
65.12 search
65.12 run=6 nbConstraintChecks=59192901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5560
65.12 nbFailedAssignments=5175 nbBacktracks=318 nbVisitedNodes=11054 nbRestartNogoods=481
65.12 => wckTime=9.691 cpuTime=9.62 mem=17M202
67.57
67.57 search
67.57 run=7 nbConstraintChecks=73046654 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7183
67.57 nbFailedAssignments=6614 nbBacktracks=488 nbVisitedNodes=14286 nbRestartNogoods=520
67.57 => wckTime=12.142 cpuTime=12.07 mem=17M202
74.59
74.59 search
74.59 run=8 nbConstraintChecks=112616135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10707
74.59 nbFailedAssignments=9878 nbBacktracks=744 nbVisitedNodes=21321 nbRestartNogoods=592
74.59 => wckTime=19.161 cpuTime=19.08 mem=17M202
79.88
79.88 search
79.88 run=9 nbConstraintChecks=136827082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13045
79.88 nbFailedAssignments=11827 nbBacktracks=1128 nbVisitedNodes=25970 nbRestartNogoods=609
79.88 => wckTime=24.458 cpuTime=24.38 mem=17M202
86.94
86.94 search
86.94 run=10 nbConstraintChecks=166920286 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15671
86.94 nbFailedAssignments=13873 nbBacktracks=1704 nbVisitedNodes=31177 nbRestartNogoods=623
86.94 => wckTime=31.513 cpuTime=31.4 mem=17M202
97.51
97.51 search
97.51 run=11 nbConstraintChecks=213472112 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20455
97.51 nbFailedAssignments=17782 nbBacktracks=2568 nbVisitedNodes=40688 nbRestartNogoods=645
97.51 => wckTime=42.082 cpuTime=41.96 mem=17M202
111.04
111.04 search
111.04 run=12 nbConstraintChecks=270013001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25575
111.04 nbFailedAssignments=21598 nbBacktracks=3865 nbVisitedNodes=50821 nbRestartNogoods=687
111.04 => wckTime=55.615 cpuTime=55.49 mem=17M202
130.12
130.12 search
130.12 run=13 nbConstraintChecks=342036851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31936
130.12 nbFailedAssignments=26007 nbBacktracks=5811 nbVisitedNodes=63330 nbRestartNogoods=700
130.12 => wckTime=74.694 cpuTime=74.54 mem=17M202
156.55
156.55 search
156.55 run=14 nbConstraintChecks=448451933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41803
156.55 nbFailedAssignments=32951 nbBacktracks=8730 nbVisitedNodes=82733 nbRestartNogoods=731
156.55 => wckTime=101.129 cpuTime=100.95 mem=17M202
202.13
202.13 search
202.13 run=15 nbConstraintChecks=637656350 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59233
202.13 nbFailedAssignments=45995 nbBacktracks=13108 nbVisitedNodes=117205 nbRestartNogoods=759
202.13 => wckTime=146.703 cpuTime=146.48 mem=17M202
268.91
268.91 search
268.91 run=16 nbConstraintChecks=905460209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84616
268.91 nbFailedAssignments=64805 nbBacktracks=19676 nbVisitedNodes=167060 nbRestartNogoods=773
268.91 => wckTime=213.487 cpuTime=213.2 mem=17M202
368.76
368.76 search
368.76 run=17 nbConstraintChecks=1311856006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=123486
368.76 nbFailedAssignments=93813 nbBacktracks=29528 nbVisitedNodes=243496 nbRestartNogoods=807
368.76 => wckTime=313.332 cpuTime=312.91 mem=17M202
511.34
511.34 search
511.34 run=18 nbConstraintChecks=1924363352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=177697
511.34 nbFailedAssignments=133242 nbBacktracks=44306 nbVisitedNodes=350466 nbRestartNogoods=873
511.34 => wckTime=455.917 cpuTime=455.29 mem=17M202
723.15
723.15 search
723.15 run=19 nbConstraintChecks=2770342800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=256840
723.15 nbFailedAssignments=190210 nbBacktracks=66474 nbVisitedNodes=505905 nbRestartNogoods=960
723.15 => wckTime=667.729 cpuTime=666.89 mem=17M202
796.03 o 101
796.04 c 2
1033.14
1033.14 search
1033.14 run=20 nbConstraintChecks=3913266082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=368365
1033.14 nbFailedAssignments=268478 nbBacktracks=99726 nbVisitedNodes=720474 nbRestartNogoods=1040
1033.14 => wckTime=977.716 cpuTime=976.56 mem=17M202
1493.72
1493.72 search
1493.72 run=21 nbConstraintChecks=5681752506 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=538970
1493.72 nbFailedAssignments=389199 nbBacktracks=149604 nbVisitedNodes=1049089 nbRestartNogoods=1078
1493.72 => wckTime=1438.296 cpuTime=1436.69 mem=17M202
2175.18
2175.18 search
2175.18 run=22 nbConstraintChecks=8267555893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=783177
2175.18 nbFailedAssignments=558582 nbBacktracks=224423 nbVisitedNodes=1519732 nbRestartNogoods=1191
2175.18 => wckTime=2119.752 cpuTime=2117.44 mem=17M202
2402.57 v 68 24 44 13 18 58 12 19 2 41 22 6 35 33 59 9 5 51 69 11 26 27 16 23 3 0 5 57 72 35 59 12 76 5 45 1 36 3 34 31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-276391-1169236507 -o ROOT/results/node18/solver-276391-1169236507 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276391-1169236507/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.92 1.98 1.99 4/87 3129
/proc/meminfo: memFree=772304/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=172 CPUtime=0
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272045422 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/3128/statm: 43 24 18 14 0 3 0
[startup+0.107646 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 3129
/proc/meminfo: memFree=772304/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=914988 CPUtime=0.07
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 2954 0 1 0 6 1 0 0 22 0 8 0 272045422 936947712 2700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515684 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 3129
/proc/meminfo: memFree=772304/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915332 CPUtime=0.47
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 7700 0 1 0 44 3 0 0 25 0 8 0 272045422 937299968 7439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228833 7440 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33776 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741400/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=1.3
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10437 0 1 0 120 10 0 0 25 0 8 0 272045422 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10175 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915448 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937418752 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.99092 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741336/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2.95
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10441 0 1 0 272 23 0 0 25 0 8 0 272045422 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10178 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 334 0 0 0 11 0 0 0 15 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.19323 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=6.14
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 568 46 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444
[startup+12.6789 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=12.63
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 1171 92 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 17 0 8 0 272045427 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.5371 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=25.48
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 2363 185 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915448 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937418752 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444
[startup+51.1706 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=51.08
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 4740 368 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915444
[startup+102.433 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741080/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=102.28
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10609 0 1 0 9835 393 0 0 25 0 8 0 272045422 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10337 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915444
[startup+162.447 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741016/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=162.24
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10609 0 1 0 15831 393 0 0 25 0 8 0 272045422 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.82
Current children cumulated vsize (KiB) 915444
[startup+2083.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2080.86
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 207671 415 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.86
Current children cumulated vsize (KiB) 915444
[startup+2143.19 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3411
/proc/meminfo: memFree=1263456/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2140.9
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 213675 415 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.9
Current children cumulated vsize (KiB) 915444
[startup+2203.29 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2200.93
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 219677 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2200.93
Current children cumulated vsize (KiB) 915444
[startup+2263.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2260.89
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 225673 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.89
Current children cumulated vsize (KiB) 915444
[startup+2323.36 s]
/proc/loadavg: 2.06 2.02 2.00 3/101 3411
/proc/meminfo: memFree=1263456/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2320.89
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 231673 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.89
Current children cumulated vsize (KiB) 915444
[startup+2383.41 s]
/proc/loadavg: 2.08 2.03 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2380.87
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 237671 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.87
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.56 s]
/proc/loadavg: 2.05 2.03 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2400.01
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 239585 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 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): 2402.63
CPU time (s): 2400.08
CPU user time (s): 2395.91
CPU system time (s): 4.17137
CPU usage (%): 99.8938
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.91
system time used= 4.17136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10631
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= 49803
involuntary context switches= 104779
runsolver used 2.82157 s user time and 7.82981 s system time
The end
Begin job on node18 on Fri Jan 19 19:55:07 UTC 2007
IDJOB= 276391
IDBENCH= 5732
IDSOLVER= 68
FILE ID= node18/276391-1169236507
PBS_JOBID= 3588993
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276391-1169236507/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-276391-1169236507 -o ROOT/results/node18/solver-276391-1169236507 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276391-1169236507/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eb2e85044c616a714f9eeb520026d899
RANDOM SEED= 972748207
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.231
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.231
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: 772784 kB
Buffers: 50920 kB
Cached: 555096 kB
SwapCached: 0 kB
Active: 772236 kB
Inactive: 430516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 772784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2556 kB
Writeback: 0 kB
Mapped: 616932 kB
Slab: 64220 kB
Committed_AS: 8562332 kB
PageTables: 3140 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node18 on Fri Jan 19 20:35:10 UTC 2007