0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278281-1169285055/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.41
0.41 constraints being loaded...
0.64 nbConstraints=1973 nbRelationTypes=46 nbExtensionStructures=46 nbSharedExtensionStructures=1927
0.64 nbConflictsStructures=46 nbSharedConflictsStructures=1927 nbSharedBinaryRepresentations=0 maxDegree=172
0.64 maxArity=3
0.64 => wckTime=0.336 cpuTime=0.21 mem=12M757
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.425 cpuTime=0.26 mem=6M409
0.73
0.73 s SATISFIABLE
0.73 o 1709
0.73 c 264
0.73 o 1720
0.73 c 253
0.74 o 1728
0.74 c 245
0.74 o 1729
0.74 c 244
0.74 o 1738
0.74 c 235
0.74 o 1739
0.74 c 234
0.74 o 1745
0.74 c 228
0.74 o 1755
0.74 c 218
0.74 o 1758
0.74 c 215
0.74 o 1760
0.74 c 213
0.75 o 1763
0.75 c 210
0.75 o 1764
0.75 c 209
0.76 o 1765
0.76 c 208
0.76 o 1766
0.76 c 207
0.76 o 1768
0.76 c 205
0.76 o 1769
0.76 c 204
0.78 o 1771
0.78 c 202
0.86 o 1773
0.86 c 200
0.87 o 1777
0.87 c 196
0.87 o 1778
0.87 c 195
0.87 o 1779
0.87 c 194
0.87 o 1783
0.87 c 190
0.88 o 1784
0.88 c 189
1.11 o 1789
1.11 c 184
4.88 o 1790
4.88 c 183
7.68
7.68 search
7.68 run=0 nbConstraintChecks=44984512 nbAssignments=10000
7.68 => wckTime=6.954 cpuTime=6.91 mem=6M409
14.46
14.46 search
14.46 run=1 nbConstraintChecks=91186123 nbAssignments=20000
14.46 => wckTime=13.733 cpuTime=13.68 mem=6M409
21.10
21.10 search
21.10 run=2 nbConstraintChecks=136186166 nbAssignments=30000
21.10 => wckTime=20.374 cpuTime=20.32 mem=6M409
27.94
27.94 search
27.94 run=3 nbConstraintChecks=182471082 nbAssignments=40000
27.94 => wckTime=27.212 cpuTime=27.15 mem=6M409
34.57
34.57 search
34.57 run=4 nbConstraintChecks=227491918 nbAssignments=50000
34.57 => wckTime=33.848 cpuTime=33.78 mem=6M409
34.91
34.91 search
34.91 run=5 nbConstraintChecks=229755490 nbAssignments=50495
34.91 => wckTime=34.182 cpuTime=34.12 mem=6M409
34.91
34.91 global
34.91 nbConstraintChecks=229755490 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.91 solvingWckTime=34.181 solvingCpuTime=34.12 expiredTime=no totalExploration=no nbFoundSolutions=0
34.91 globalCpuTime=34.43
34.91 => wckTime=34.608 cpuTime=34.38 mem=6M409
34.91
34.91 solver IterativeSystematicSolver being built...
35.09 => wckTime=34.791 cpuTime=34.53 mem=28M52
35.23
35.23 preprocessing
35.23 nbConstraintChecks=19818 nbValidityChecks=49025 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.23 nbRemovedValues=0 detectedInconsistency=no
35.23 => wckTime=0.133 cpuTime=0.11 mem=28M52
35.34
35.34 search
35.34 run=0 nbConstraintChecks=41980 nbValidityChecks=96344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.34 nbAssignments=42 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
35.34 => wckTime=0.246 cpuTime=0.21 mem=28M52
35.49
35.49 search
35.49 run=1 nbConstraintChecks=97274 nbValidityChecks=237493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.49 nbAssignments=92 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=137 nbRestartNogoods=1
35.49 => wckTime=0.398 cpuTime=0.35 mem=28M52
35.66
35.67 search
35.67 run=2 nbConstraintChecks=166506 nbValidityChecks=433126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.67 nbAssignments=154 nbFailedAssignments=36 nbBacktracks=48 nbVisitedNodes=238 nbRestartNogoods=2
35.67 => wckTime=0.572 cpuTime=0.53 mem=28M52
35.93
35.93 search
35.93 run=3 nbConstraintChecks=270850 nbValidityChecks=732813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.93 nbAssignments=241 nbFailedAssignments=64 nbBacktracks=82 nbVisitedNodes=382 nbRestartNogoods=5
35.93 => wckTime=0.834 cpuTime=0.79 mem=28M52
36.27
36.27 search
36.27 run=4 nbConstraintChecks=426648 nbValidityChecks=1142019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.27 nbAssignments=354 nbFailedAssignments=100 nbBacktracks=133 nbVisitedNodes=580 nbRestartNogoods=7
36.27 => wckTime=1.18 cpuTime=1.13 mem=28M52
36.80
36.80 search
36.80 run=5 nbConstraintChecks=660506 nbValidityChecks=1795075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.80 nbAssignments=512 nbFailedAssignments=159 nbBacktracks=208 nbVisitedNodes=871 nbRestartNogoods=9
36.80 => wckTime=1.705 cpuTime=1.65 mem=28M52
37.59
37.59 search
37.59 run=6 nbConstraintChecks=974152 nbValidityChecks=2765555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.59 nbAssignments=738 nbFailedAssignments=250 nbBacktracks=321 nbVisitedNodes=1299 nbRestartNogoods=12
37.59 => wckTime=2.498 cpuTime=2.44 mem=28M52
38.77
38.77 search
38.77 run=7 nbConstraintChecks=1446438 nbValidityChecks=4150958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.77 nbAssignments=1059 nbFailedAssignments=378 nbBacktracks=492 nbVisitedNodes=1906 nbRestartNogoods=15
38.77 => wckTime=3.68 cpuTime=3.62 mem=28M52
40.45
40.45 search
40.45 run=8 nbConstraintChecks=2221717 nbValidityChecks=6278317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.45 nbAssignments=1544 nbFailedAssignments=584 nbBacktracks=748 nbVisitedNodes=2843 nbRestartNogoods=19
40.45 => wckTime=5.36 cpuTime=5.28 mem=28M52
43.06
43.06 search
43.06 run=9 nbConstraintChecks=3251234 nbValidityChecks=9584554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.06 nbAssignments=2262 nbFailedAssignments=899 nbBacktracks=1132 nbVisitedNodes=4245 nbRestartNogoods=23
43.06 => wckTime=7.964 cpuTime=7.89 mem=28M52
46.76
46.76 search
46.76 run=10 nbConstraintChecks=4796726 nbValidityChecks=14334896 nbPropagations=0 nbRevisions=0
46.76 nbUselessRevisions=0 nbAssignments=3292 nbFailedAssignments=1330 nbBacktracks=1709 nbVisitedNodes=6265
46.76 nbRestartNogoods=28
46.76 => wckTime=11.665 cpuTime=11.58 mem=28M52
52.28
52.28 search
52.28 run=11 nbConstraintChecks=7137135 nbValidityChecks=21483846 nbPropagations=0 nbRevisions=0
52.28 nbUselessRevisions=0 nbAssignments=4820 nbFailedAssignments=1972 nbBacktracks=2573 nbVisitedNodes=9270
52.28 nbRestartNogoods=34
52.28 => wckTime=17.189 cpuTime=17.08 mem=28M52
60.84
60.84 search
60.84 run=12 nbConstraintChecks=10484008 nbValidityChecks=32389980 nbPropagations=0 nbRevisions=0
60.84 nbUselessRevisions=0 nbAssignments=7136 nbFailedAssignments=2973 nbBacktracks=3870 nbVisitedNodes=13849
60.84 nbRestartNogoods=39
60.84 => wckTime=25.746 cpuTime=25.63 mem=28M52
74.57
74.57 search
74.57 run=13 nbConstraintChecks=15217616 nbValidityChecks=49549023 nbPropagations=0 nbRevisions=0
74.57 nbUselessRevisions=0 nbAssignments=10680 nbFailedAssignments=4552 nbBacktracks=5816 nbVisitedNodes=20845
74.57 nbRestartNogoods=46
74.57 => wckTime=39.477 cpuTime=39.36 mem=28M52
93.82
93.82 search
93.82 run=14 nbConstraintChecks=22219567 nbValidityChecks=73692488 nbPropagations=0 nbRevisions=0
93.82 nbUselessRevisions=0 nbAssignments=15703 nbFailedAssignments=6635 nbBacktracks=8735 nbVisitedNodes=30762
93.82 nbRestartNogoods=52
93.82 => wckTime=58.726 cpuTime=58.57 mem=28M52
124.80
124.80 search
124.80 run=15 nbConstraintChecks=33204707 nbValidityChecks=112366139 nbPropagations=0 nbRevisions=0
124.80 nbUselessRevisions=0 nbAssignments=23607 nbFailedAssignments=10141 nbBacktracks=13113 nbVisitedNodes=46427
124.80 nbRestartNogoods=55
124.80 => wckTime=89.712 cpuTime=89.53 mem=28M52
171.89
171.89 search
171.89 run=16 nbConstraintChecks=49024516 nbValidityChecks=170349522 nbPropagations=0 nbRevisions=0
171.89 nbUselessRevisions=0 nbAssignments=35388 nbFailedAssignments=15337 nbBacktracks=19681 nbVisitedNodes=69730
171.89 nbRestartNogoods=59
171.89 => wckTime=136.795 cpuTime=136.56 mem=28M52
238.20
238.20 search
238.20 run=17 nbConstraintChecks=72442784 nbValidityChecks=254428861 nbPropagations=0 nbRevisions=0
238.20 nbUselessRevisions=0 nbAssignments=52390 nbFailedAssignments=22469 nbBacktracks=29533 nbVisitedNodes=103406
238.20 nbRestartNogoods=65
238.20 => wckTime=203.11 cpuTime=202.81 mem=28M52
339.03
339.03 search
339.03 run=18 nbConstraintChecks=107224592 nbValidityChecks=380294889 nbPropagations=0 nbRevisions=0
339.03 nbUselessRevisions=0 nbAssignments=78114 nbFailedAssignments=33396 nbBacktracks=44311 nbVisitedNodes=154116
339.03 nbRestartNogoods=71
339.03 => wckTime=303.938 cpuTime=303.53 mem=28M52
495.62
495.62 search
495.62 run=19 nbConstraintChecks=158693396 nbValidityChecks=572674280 nbPropagations=0 nbRevisions=0
495.62 nbUselessRevisions=0 nbAssignments=116412 nbFailedAssignments=49508 nbBacktracks=66479 nbVisitedNodes=230049
495.62 nbRestartNogoods=79
495.62 => wckTime=460.527 cpuTime=459.96 mem=28M52
732.26
732.26 search
732.26 run=20 nbConstraintChecks=236090779 nbValidityChecks=865044140 nbPropagations=0 nbRevisions=0
732.26 nbUselessRevisions=0 nbAssignments=175036 nbFailedAssignments=74863 nbBacktracks=99731 nbVisitedNodes=345808
732.26 nbRestartNogoods=87
732.26 => wckTime=697.171 cpuTime=696.35 mem=28M52
1082.16
1082.16 search
1082.16 run=21 nbConstraintChecks=352009991 nbValidityChecks=1306455226 nbPropagations=0 nbRevisions=0
1082.16 nbUselessRevisions=0 nbAssignments=261737 nbFailedAssignments=111665 nbBacktracks=149610 nbVisitedNodes=517417
1082.16 nbRestartNogoods=94
1082.16 => wckTime=1047.066 cpuTime=1045.9 mem=28M52
1612.12
1612.12 search
1612.12 run=22 nbConstraintChecks=522926019 nbValidityChecks=1961254354 nbPropagations=0 nbRevisions=0
1612.12 nbUselessRevisions=0 nbAssignments=392440 nbFailedAssignments=167532 nbBacktracks=224428 nbVisitedNodes=775519
1612.12 nbRestartNogoods=98
1612.12 => wckTime=1577.032 cpuTime=1575.28 mem=28M52
2402.74 v 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-278281-1169285055 -o ROOT/results/node13/solver-278281-1169285055 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278281-1169285055/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.14 1.73 1.90 5/84 24019
/proc/meminfo: memFree=1353912/2055920 swapFree=4169400/4192956
[startup+0.105228 s]
/proc/loadavg: 1.14 1.73 1.90 5/84 24019
/proc/meminfo: memFree=1353912/2055920 swapFree=4169400/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
[startup+0.513284 s]
/proc/loadavg: 1.14 1.73 1.90 5/84 24019
/proc/meminfo: memFree=1353912/2055920 swapFree=4169400/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
[startup+1.33439 s]
/proc/loadavg: 1.14 1.73 1.90 3/101 24042
/proc/meminfo: memFree=1321712/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=1.31
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 8370 0 1 0 122 9 0 0 25 0 8 0 276900520 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 8108 2477 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.17
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 367 0 0 0 16 1 0 0 16 0 8 0 276900528 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97161 s]
/proc/loadavg: 1.14 1.73 1.90 3/101 24042
/proc/meminfo: memFree=1321072/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2.92
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 8377 0 1 0 275 17 0 0 25 0 8 0 276900520 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 8114 2479 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.18
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915448 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937418752 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.27105 s]
/proc/loadavg: 1.21 1.73 1.90 3/101 24042
/proc/meminfo: memFree=1321072/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=6.22
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 8377 0 1 0 586 36 0 0 25 0 8 0 276900520 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 8114 2479 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.18
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 8114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444
[startup+12.7459 s]
/proc/loadavg: 1.27 1.74 1.90 3/101 24042
/proc/meminfo: memFree=1321008/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=12.69
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 8380 0 1 0 1199 70 0 0 25 0 8 0 276900520 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 8117 2479 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.18
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915444
[startup+25.6236 s]
/proc/loadavg: 1.43 1.75 1.90 3/101 24042
/proc/meminfo: memFree=1321008/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=25.57
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 8380 0 1 0 2420 137 0 0 25 0 8 0 276900520 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 8117 2479 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.18
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 8117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915444
[startup+51.2461 s]
/proc/loadavg: 1.62 1.77 1.90 3/101 24042
/proc/meminfo: memFree=1306992/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=51.15
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 11981 0 1 0 4920 195 0 0 25 0 8 0 276900520 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11710 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.29
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 276900528 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915444
[startup+102.486 s]
/proc/loadavg: 1.84 1.80 1.91 3/101 24042
/proc/meminfo: memFree=1306928/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=102.34
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 11991 0 1 0 10038 196 0 0 25 0 8 0 276900520 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977152 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11720 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.29
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 276900528 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915444
[startup+162.491 s]
/proc/loadavg: 1.94 1.84 1.91 3/101 24042
/proc/meminfo: memFree=1306928/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=162.29
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 11994 0 1 0 16033 196 0 0 25 0 8 0 276900520 937414656 11723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073992362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11723 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.12
Current children cumulated vsize (KiB) 915444
[startup+2083.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 24042
/proc/meminfo: memFree=1306544/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2081.07
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 207904 203 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.07
Current children cumulated vsize (KiB) 915444
[startup+2143.33 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 24042
/proc/meminfo: memFree=1306544/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2141.05
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 213901 204 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956770 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.05
Current children cumulated vsize (KiB) 915444
[startup+2203.35 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 24042
/proc/meminfo: memFree=1306544/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2201.01
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 219897 204 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.01
Current children cumulated vsize (KiB) 915444
[startup+2263.41 s]
/proc/loadavg: 2.00 2.00 1.94 3/107 24210
/proc/meminfo: memFree=1305256/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2260.93
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 225878 215 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.93
Current children cumulated vsize (KiB) 915444
[startup+2323.44 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 24240
/proc/meminfo: memFree=1306224/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2320.89
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 231872 217 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956758 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 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.47 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 24240
/proc/meminfo: memFree=1306224/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2380.85
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 237868 217 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.85
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 24240
/proc/meminfo: memFree=1306224/2055920 swapFree=4169400/4192956
[pid=24018] ppid=24013 vsize=915444 CPUtime=2400.09
/proc/24018/stat : 24018 (java) R 24013 24018 23902 0 -1 0 12013 0 1 0 239792 217 0 0 25 0 8 0 276900520 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24018/statm: 228861 11742 2535 14 0 215331 0
[pid=24018/tid=24029] ppid=24013 vsize=915444 CPUtime=0.03
/proc/24018/task/24029/stat : 24029 (java) S 24013 24018 23902 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900524 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24030] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24030/stat : 24030 (java) S 24013 24018 23902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24031] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24031/stat : 24031 (java) S 24013 24018 23902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900525 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24035] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24035/stat : 24035 (java) S 24013 24018 23902 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24036] ppid=24013 vsize=915444 CPUtime=0.3
/proc/24018/task/24036/stat : 24036 (java) S 24013 24018 23902 0 -1 64 444 0 0 0 29 1 0 0 16 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24037] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24037/stat : 24037 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24018/tid=24038] ppid=24013 vsize=915444 CPUtime=0
/proc/24018/task/24038/stat : 24038 (java) S 24013 24018 23902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900528 937414656 11742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.75
CPU time (s): 2400.12
CPU user time (s): 2397.94
CPU system time (s): 2.18367
CPU usage (%): 99.8904
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.94
system time used= 2.18367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12035
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= 50023
involuntary context switches= 88052
runsolver used 2.89656 s user time and 7.8828 s system time
The end
Begin job on node13 on Sat Jan 20 09:24:15 UTC 2007
IDJOB= 278281
IDBENCH= 8218
IDSOLVER= 68
FILE ID= node13/278281-1169285055
PBS_JOBID= 3609504
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2200-970321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278281-1169285055/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-278281-1169285055 -o ROOT/results/node13/solver-278281-1169285055 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278281-1169285055/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1251460452fdb2dd42d00060c45fe943
RANDOM SEED= 461591048
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.247
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.247
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: 1354928 kB
Buffers: 60944 kB
Cached: 527636 kB
SwapCached: 8664 kB
Active: 304860 kB
Inactive: 318688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1354928 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2384 kB
Writeback: 0 kB
Mapped: 41804 kB
Slab: 62432 kB
Committed_AS: 7852824 kB
PageTables: 2220 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node13 on Sat Jan 20 10:04:18 UTC 2007