2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	? (TO)		2400.13	2266.29

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243342-1500670314/watcher-4243342-1500670314 -o /tmp/evaluation-result-4243342-1500670314/solver-4243342-1500670314 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500669978-4895 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243342-1500670314.xml 

pid=5125
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.66 10.29 5.17 6/263 5128
/proc/meminfo: memFree=31743500/32770624 swapFree=5668/226408
[pid=5128] ppid=5125 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 2035 0 0 0 0 0 0 0 20 0 2 0 2298923 8550137856 1800 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2087436 1800 1197 1 0 2076347 0
[pid=5128/tid=5129] ppid=5125 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 793 0 0 0 0 0 0 0 20 0 2 0 2298923 8550137856 1800 33554432000 4194304 4196468 140727681565712 140499230984608 140499219031968 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0

[startup+0.100061 s]
/proc/loadavg: 15.66 10.29 5.17 6/263 5128
/proc/meminfo: memFree=31743500/32770624 swapFree=5668/226408
[pid=5128] ppid=5125 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 4726 0 0 0 8 2 0 0 20 0 20 0 2298923 11162169344 5833 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725139 5833 2629 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 2816 0 0 0 7 1 0 0 20 0 20 0 2298923 11162169344 5833 33554432000 4194304 4196468 140727681565712 140499230979248 140499226764445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556

[startup+0.200417 s]
/proc/loadavg: 15.66 10.29 5.17 6/263 5128
/proc/meminfo: memFree=31743500/32770624 swapFree=5668/226408
[pid=5128] ppid=5125 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 6995 0 0 0 23 3 0 0 20 0 20 0 2298923 11162169344 8371 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725139 8371 2866 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 4672 0 0 0 16 2 0 0 20 0 20 0 2298923 11162169344 8371 33554432000 4194304 4196468 140727681565712 140499230963792 140499210823006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300365 s]
/proc/loadavg: 15.66 10.29 5.17 6/263 5128
/proc/meminfo: memFree=31743500/32770624 swapFree=5668/226408
[pid=5128] ppid=5125 vsize=10900556 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 8344 0 0 0 38 4 0 0 20 0 20 0 2298923 11162169344 10490 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725139 10490 2912 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 5434 0 0 0 25 2 0 0 20 0 20 0 2298923 11162169344 10490 33554432000 4194304 4196468 140727681565712 140499230972896 140499226754454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556

[startup+0.700216 s]
/proc/loadavg: 15.66 10.29 5.17 6/263 5128
/proc/meminfo: memFree=31743500/32770624 swapFree=5668/226408
[pid=5128] ppid=5125 vsize=10900632 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 17533 0 0 0 178 7 0 0 20 0 20 0 2298923 11162247168 31935 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725158 31935 3092 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 5993 0 0 0 64 3 0 0 20 0 20 0 2298923 11162247168 31935 33554432000 4194304 4196468 140727681565712 140499230961576 140498867280537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10900632

[startup+1.50114 s]
/proc/loadavg: 15.20 10.28 5.19 7/283 5148
/proc/meminfo: memFree=31281184/32770624 swapFree=5668/226456
[pid=5128] ppid=5125 vsize=10900632 CPUtime=5.3 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 28514 0 0 0 497 33 0 0 20 0 20 0 2298923 11162247168 75229 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725158 75229 3128 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900632 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 6035 0 0 0 132 5 0 0 20 0 20 0 2298923 11162247168 75229 33554432000 4194304 4196468 140727681565712 140499230977160 140498868204289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5131] ppid=5125 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5131/stat : 5131 (java) S 5125 5128 2474 0 -1 1077944384 47 0 0 0 3 3 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498833321104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5132] ppid=5125 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5132/stat : 5132 (java) S 5125 5128 2474 0 -1 1077944384 37 0 0 0 2 3 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498832268304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5133] ppid=5125 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5133/stat : 5133 (java) S 5125 5128 2474 0 -1 1077944384 43 0 0 0 3 2 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498831215504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5134] ppid=5125 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5134/stat : 5134 (java) S 5125 5128 2474 0 -1 1077944384 53 0 0 0 3 4 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498830162704 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5135] ppid=5125 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5135/stat : 5135 (java) S 5125 5128 2474 0 -1 1077944384 103 0 0 0 4 1 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498829109904 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5136] ppid=5125 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5136/stat : 5136 (java) S 5125 5128 2474 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498828057104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5137] ppid=5125 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5137/stat : 5137 (java) S 5125 5128 2474 0 -1 1077944384 159 0 0 0 2 2 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498827004304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5138] ppid=5125 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5138/stat : 5138 (java) S 5125 5128 2474 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 2298924 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498825951504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5139] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5139/stat : 5139 (java) S 5125 5128 2474 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2298927 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498702379888 140499226753666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5140] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5140/stat : 5140 (java) S 5125 5128 2474 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2298927 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498701325856 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5141] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5141/stat : 5141 (java) S 5125 5128 2474 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2298928 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498700273008 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5142] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5142/stat : 5142 (java) S 5125 5128 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498699221328 140499226761115 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5143] ppid=5125 vsize=10900632 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5143/stat : 5143 (java) R 5125 5128 2474 0 -1 4202560 5595 0 0 0 96 1 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498698155152 140499226763866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5144] ppid=5125 vsize=10900632 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5144/stat : 5144 (java) R 5125 5128 2474 0 -1 4202560 6567 0 0 0 98 1 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498697102704 140499226763866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5145] ppid=5125 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5145/stat : 5145 (java) R 5125 5128 2474 0 -1 4202560 6128 0 0 0 101 1 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498696055576 140499205988409 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5146] ppid=5125 vsize=10900632 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5146/stat : 5146 (java) S 5125 5128 2474 0 -1 1077944384 2212 0 0 0 39 0 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498695010288 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5147] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5147/stat : 5147 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498693958752 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5148] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5148/stat : 5148 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2298932 11162247168 75229 33554432000 4194304 4196468 140727681565712 140498692906032 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 10900632

[startup+3.10223 s]
/proc/loadavg: 15.20 10.28 5.19 10/283 5148
/proc/meminfo: memFree=30682592/32770624 swapFree=5668/226448
[pid=5128] ppid=5125 vsize=10900632 CPUtime=9.36 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 31232 0 0 0 795 141 0 0 20 0 20 0 2298923 11162247168 216341 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725158 216341 3135 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900632 CPUtime=2.66 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 6578 0 0 0 258 8 0 0 20 0 20 0 2298923 11162247168 216341 33554432000 4194304 4196468 140727681565712 140499230975344 140498868416003 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5131] ppid=5125 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5131/stat : 5131 (java) S 5125 5128 2474 0 -1 1077944384 184 0 0 0 21 16 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498833321104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5132] ppid=5125 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5132/stat : 5132 (java) S 5125 5128 2474 0 -1 1077944384 232 0 0 0 19 16 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498832268304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5133] ppid=5125 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5133/stat : 5133 (java) S 5125 5128 2474 0 -1 1077944384 200 0 0 0 20 16 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498831215504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5134] ppid=5125 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5134/stat : 5134 (java) S 5125 5128 2474 0 -1 1077944384 208 0 0 0 20 17 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498830162704 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5135] ppid=5125 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5135/stat : 5135 (java) S 5125 5128 2474 0 -1 1077944384 569 0 0 0 22 13 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498829109904 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5136] ppid=5125 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5136/stat : 5136 (java) S 5125 5128 2474 0 -1 1077944384 206 0 0 0 19 15 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498828057104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5137] ppid=5125 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5137/stat : 5137 (java) S 5125 5128 2474 0 -1 1077944384 341 0 0 0 19 15 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498827004304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5138] ppid=5125 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5138/stat : 5138 (java) S 5125 5128 2474 0 -1 1077944384 142 0 0 0 18 15 0 0 20 0 20 0 2298924 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498825951504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5139] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5139/stat : 5139 (java) S 5125 5128 2474 0 -1 1077944384 558 0 0 0 0 0 0 0 20 0 20 0 2298927 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498702379888 140499226753666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5140] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5140/stat : 5140 (java) S 5125 5128 2474 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2298927 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498701325856 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5141] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5141/stat : 5141 (java) S 5125 5128 2474 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2298928 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498700273008 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5142] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5142/stat : 5142 (java) S 5125 5128 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498699221328 140499226761115 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5143] ppid=5125 vsize=10900632 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5143/stat : 5143 (java) S 5125 5128 2474 0 -1 1077944384 5596 0 0 0 98 1 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498698168688 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5144] ppid=5125 vsize=10900632 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5144/stat : 5144 (java) S 5125 5128 2474 0 -1 1077944384 6662 0 0 0 119 1 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498697115888 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5145] ppid=5125 vsize=10900632 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5145/stat : 5145 (java) S 5125 5128 2474 0 -1 1077944384 6154 0 0 0 116 1 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498696063088 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5146] ppid=5125 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5146/stat : 5146 (java) S 5125 5128 2474 0 -1 1077944384 2235 0 0 0 40 0 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498695010288 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5147] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5147/stat : 5147 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498693958752 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5148] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5148/stat : 5148 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2298932 11162247168 216341 33554432000 4194304 4196468 140727681565712 140498692906032 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 10900632

[startup+6.30093 s]
/proc/loadavg: 14.15 10.14 5.17 10/283 5148
/proc/meminfo: memFree=28768376/32770624 swapFree=5668/226448
[pid=5128] ppid=5125 vsize=10900632 CPUtime=19.79 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 37736 0 0 0 1676 303 0 0 20 0 20 0 2298923 11162247168 432616 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2725158 432616 3145 1 0 2713552 0
[pid=5128/tid=5129] ppid=5125 vsize=10900632 CPUtime=4.79 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) S 5125 5128 2474 0 -1 1077944384 7972 0 0 0 464 15 0 0 20 0 20 0 2298923 11162247168 432616 33554432000 4194304 4196468 140727681565712 140499230976880 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5131] ppid=5125 vsize=10900632 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5131/stat : 5131 (java) R 5125 5128 2474 0 -1 4202560 981 0 0 0 106 36 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498833321304 140499211443235 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5132] ppid=5125 vsize=10900632 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5132/stat : 5132 (java) R 5125 5128 2474 0 -1 4202560 1342 0 0 0 103 35 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498832268504 140499219842219 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5133] ppid=5125 vsize=10900632 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5133/stat : 5133 (java) R 5125 5128 2474 0 -1 4202560 420 0 0 0 104 36 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498831215704 140499211443144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5134] ppid=5125 vsize=10900632 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5134/stat : 5134 (java) R 5125 5128 2474 0 -1 4202560 716 0 0 0 104 36 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498830162904 140499211738923 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5135] ppid=5125 vsize=10900632 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5135/stat : 5135 (java) R 5125 5128 2474 0 -1 4202560 801 0 0 0 107 31 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498829109792 140499211443134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5136] ppid=5125 vsize=10900632 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5136/stat : 5136 (java) R 5125 5128 2474 0 -1 4202560 470 0 0 0 101 35 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498828057304 140499211443134 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5137] ppid=5125 vsize=10900632 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5137/stat : 5137 (java) R 5125 5128 2474 0 -1 4202560 548 0 0 0 102 35 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498827004504 140499211443155 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5138] ppid=5125 vsize=10900632 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5138/stat : 5138 (java) R 5125 5128 2474 0 -1 4202560 810 0 0 0 103 35 0 0 20 0 20 0 2298924 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498825951704 140499211443134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5139] ppid=5125 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5139/stat : 5139 (java) S 5125 5128 2474 0 -1 1077944384 1659 0 0 0 1 0 0 0 20 0 20 0 2298927 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498702378432 140499226752725 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5140] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5140/stat : 5140 (java) S 5125 5128 2474 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2298927 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498701325856 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5141] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5141/stat : 5141 (java) S 5125 5128 2474 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2298928 11162247168 432616 33554432000 4194304 4196468 140727681565712 140498700273008 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5142] ppid=5125 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14

################
# More data... #
################

[pid=5128/tid=5147] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5147/stat : 5147 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498693958752 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5148] ppid=5125 vsize=10967196 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5148/stat : 5148 (java) S 5125 5128 2474 0 -1 1077944384 2267 0 0 0 77 67 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498692906032 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5149] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5149/stat : 5149 (java) S 5125 5128 2474 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2303060 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498691851568 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 2336.29
Current children cumulated vsize (KiB) 10967196

[startup+2262.3 s]
/proc/loadavg: 2.07 2.08 2.89 3/283 5405
/proc/meminfo: memFree=23630980/32770624 swapFree=5668/228784
[pid=5128] ppid=5125 vsize=10967196 CPUtime=2396.3 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 313901 0 0 0 238588 1042 0 0 20 0 21 0 2298923 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2741799 1276311 3171 1 0 2730193 0
[pid=5128/tid=5129] ppid=5125 vsize=10967196 CPUtime=2237.81 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 165568 0 0 0 223736 45 0 0 20 0 21 0 2298923 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140499230978240 140498869410041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5131] ppid=5125 vsize=10967196 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5131/stat : 5131 (java) S 5125 5128 2474 0 -1 1077944384 15901 0 0 0 1702 121 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498833321104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5132] ppid=5125 vsize=10967196 CPUtime=18.2 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5132/stat : 5132 (java) S 5125 5128 2474 0 -1 1077944384 4596 0 0 0 1708 112 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498832268304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5133] ppid=5125 vsize=10967196 CPUtime=18.24 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5133/stat : 5133 (java) S 5125 5128 2474 0 -1 1077944384 10596 0 0 0 1703 121 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498831215504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5134] ppid=5125 vsize=10967196 CPUtime=18.03 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5134/stat : 5134 (java) S 5125 5128 2474 0 -1 1077944384 10794 0 0 0 1687 116 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498830162704 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5135] ppid=5125 vsize=10967196 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5135/stat : 5135 (java) S 5125 5128 2474 0 -1 1077944384 9395 0 0 0 1712 111 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498829109904 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5136] ppid=5125 vsize=10967196 CPUtime=18.14 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5136/stat : 5136 (java) S 5125 5128 2474 0 -1 1077944384 6053 0 0 0 1699 115 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498828057104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5137] ppid=5125 vsize=10967196 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5137/stat : 5137 (java) S 5125 5128 2474 0 -1 1077944384 10303 0 0 0 1700 122 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498827004304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5138] ppid=5125 vsize=10967196 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5138/stat : 5138 (java) S 5125 5128 2474 0 -1 1077944384 11053 0 0 0 1713 109 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498825951504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5139] ppid=5125 vsize=10967196 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5139/stat : 5139 (java) S 5125 5128 2474 0 -1 1077944384 18206 0 0 0 493 4 0 0 20 0 21 0 2298927 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498702379888 140499226753666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5140] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5140/stat : 5140 (java) S 5125 5128 2474 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 2298927 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498701325920 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5141] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5141/stat : 5141 (java) S 5125 5128 2474 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 2298928 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498700273024 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5142] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5142/stat : 5142 (java) S 5125 5128 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498699221328 140499226761115 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5143] ppid=5125 vsize=10967196 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5143/stat : 5143 (java) S 5125 5128 2474 0 -1 1077944384 14071 0 0 0 171 2 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498698168688 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5144] ppid=5125 vsize=10967196 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5144/stat : 5144 (java) S 5125 5128 2474 0 -1 1077944384 14974 0 0 0 215 2 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498697115888 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5145] ppid=5125 vsize=10967196 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5145/stat : 5145 (java) S 5125 5128 2474 0 -1 1077944384 11935 0 0 0 187 2 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498696063088 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5146] ppid=5125 vsize=10967196 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5146/stat : 5146 (java) S 5125 5128 2474 0 -1 1077944384 6702 0 0 0 56 1 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498695010288 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5147] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5147/stat : 5147 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498693958752 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5148] ppid=5125 vsize=10967196 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5148/stat : 5148 (java) S 5125 5128 2474 0 -1 1077944384 2307 0 0 0 79 69 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498692906032 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5149] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5149/stat : 5149 (java) S 5125 5128 2474 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2303060 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498691851568 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 2396.3
Current children cumulated vsize (KiB) 10967196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2266 s]
/proc/loadavg: 2.07 2.08 2.89 3/283 5406
/proc/meminfo: memFree=23631304/32770624 swapFree=5668/228784
[pid=5128] ppid=5125 vsize=10967196 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 314184 0 0 0 238959 1042 0 0 20 0 21 0 2298923 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2741799 1276311 3171 1 0 2730193 0
[pid=5128/tid=5129] ppid=5125 vsize=10967196 CPUtime=2241.52 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) R 5125 5128 2474 0 -1 4202560 165849 0 0 0 224107 45 0 0 20 0 21 0 2298923 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140499230978240 140498869410480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5131] ppid=5125 vsize=10967196 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5131/stat : 5131 (java) S 5125 5128 2474 0 -1 1077944384 15901 0 0 0 1702 121 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498833321104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5132] ppid=5125 vsize=10967196 CPUtime=18.2 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5132/stat : 5132 (java) S 5125 5128 2474 0 -1 1077944384 4596 0 0 0 1708 112 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498832268304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5133] ppid=5125 vsize=10967196 CPUtime=18.24 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5133/stat : 5133 (java) S 5125 5128 2474 0 -1 1077944384 10596 0 0 0 1703 121 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498831215504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5134] ppid=5125 vsize=10967196 CPUtime=18.03 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5134/stat : 5134 (java) S 5125 5128 2474 0 -1 1077944384 10794 0 0 0 1687 116 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498830162704 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5135] ppid=5125 vsize=10967196 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5135/stat : 5135 (java) S 5125 5128 2474 0 -1 1077944384 9395 0 0 0 1712 111 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498829109904 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5136] ppid=5125 vsize=10967196 CPUtime=18.14 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5136/stat : 5136 (java) S 5125 5128 2474 0 -1 1077944384 6053 0 0 0 1699 115 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498828057104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5137] ppid=5125 vsize=10967196 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5137/stat : 5137 (java) S 5125 5128 2474 0 -1 1077944384 10303 0 0 0 1700 122 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498827004304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5138] ppid=5125 vsize=10967196 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5138/stat : 5138 (java) S 5125 5128 2474 0 -1 1077944384 11053 0 0 0 1713 109 0 0 20 0 21 0 2298924 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498825951504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5139] ppid=5125 vsize=10967196 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5139/stat : 5139 (java) S 5125 5128 2474 0 -1 1077944384 18206 0 0 0 493 4 0 0 20 0 21 0 2298927 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498702379888 140499226753666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5140] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5140/stat : 5140 (java) S 5125 5128 2474 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 2298927 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498701325920 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5141] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5141/stat : 5141 (java) S 5125 5128 2474 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 2298928 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498700273024 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5142] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5142/stat : 5142 (java) S 5125 5128 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498699221328 140499226761115 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5143] ppid=5125 vsize=10967196 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5143/stat : 5143 (java) S 5125 5128 2474 0 -1 1077944384 14071 0 0 0 171 2 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498698168688 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5144] ppid=5125 vsize=10967196 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5144/stat : 5144 (java) S 5125 5128 2474 0 -1 1077944384 14974 0 0 0 215 2 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498697115888 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5145] ppid=5125 vsize=10967196 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5145/stat : 5145 (java) S 5125 5128 2474 0 -1 1077944384 11935 0 0 0 187 2 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498696063088 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5146] ppid=5125 vsize=10967196 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5146/stat : 5146 (java) S 5125 5128 2474 0 -1 1077944384 6702 0 0 0 56 1 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498695010288 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5147] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5147/stat : 5147 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498693958752 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5148] ppid=5125 vsize=10967196 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5148/stat : 5148 (java) S 5125 5128 2474 0 -1 1077944384 2309 0 0 0 79 69 0 0 20 0 21 0 2298932 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498692906032 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5149] ppid=5125 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5149/stat : 5149 (java) S 5125 5128 2474 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2303060 11230408704 1276311 33554432000 4194304 4196468 140727681565712 140498691851568 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10967196

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5128 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2266.2 s]
/proc/loadavg: 2.07 2.08 2.89 3/283 5406
/proc/meminfo: memFree=23631304/32770624 swapFree=5668/228784
[pid=5128] ppid=5125 vsize=11166888 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/5128/stat : 5128 (java) S 5125 5128 2474 0 -1 1077944320 315316 0 0 0 238964 1042 0 0 20 0 22 0 2298923 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140727681548256 140499226742519 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
/proc/5128/statm: 2791722 1276398 3173 1 0 2780116 0
[pid=5128/tid=5129] ppid=5125 vsize=11166888 CPUtime=2241.56 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5129/stat : 5129 (java) S 5125 5128 2474 0 -1 1077944384 165936 0 0 0 224111 45 0 0 20 0 22 0 2298923 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140499230985392 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5131] ppid=5125 vsize=11166888 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5131/stat : 5131 (java) S 5125 5128 2474 0 -1 1077944384 15901 0 0 0 1702 121 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498833321104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5132] ppid=5125 vsize=11166888 CPUtime=18.2 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5132/stat : 5132 (java) S 5125 5128 2474 0 -1 1077944384 4596 0 0 0 1708 112 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498832268304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5133] ppid=5125 vsize=11166888 CPUtime=18.24 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5133/stat : 5133 (java) S 5125 5128 2474 0 -1 1077944384 10596 0 0 0 1703 121 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498831215504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5134] ppid=5125 vsize=11166888 CPUtime=18.03 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5134/stat : 5134 (java) S 5125 5128 2474 0 -1 1077944384 10794 0 0 0 1687 116 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498830162704 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5135] ppid=5125 vsize=11166888 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5135/stat : 5135 (java) S 5125 5128 2474 0 -1 1077944384 9395 0 0 0 1712 111 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498829109904 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5136] ppid=5125 vsize=11166888 CPUtime=18.14 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5136/stat : 5136 (java) S 5125 5128 2474 0 -1 1077944384 6053 0 0 0 1699 115 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498828057104 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5137] ppid=5125 vsize=11166888 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5137/stat : 5137 (java) S 5125 5128 2474 0 -1 1077944384 10303 0 0 0 1700 122 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498827004304 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5138] ppid=5125 vsize=11166888 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5138/stat : 5138 (java) S 5125 5128 2474 0 -1 1077944384 11053 0 0 0 1713 109 0 0 20 0 22 0 2298924 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498825951504 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5139] ppid=5125 vsize=11166888 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5139/stat : 5139 (java) S 5125 5128 2474 0 -1 1077944384 18253 0 0 0 493 4 0 0 20 0 22 0 2298927 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498702379888 140499226753666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5140] ppid=5125 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5140/stat : 5140 (java) S 5125 5128 2474 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 2298927 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498701325920 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5141] ppid=5125 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5141/stat : 5141 (java) S 5125 5128 2474 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 22 0 2298928 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498700273024 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5142] ppid=5125 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5142/stat : 5142 (java) S 5125 5128 2474 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498699221328 140499226761115 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5143] ppid=5125 vsize=11166888 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5143/stat : 5143 (java) S 5125 5128 2474 0 -1 1077944384 14071 0 0 0 171 2 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498698168688 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5144] ppid=5125 vsize=11166888 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5144/stat : 5144 (java) S 5125 5128 2474 0 -1 1077944384 14974 0 0 0 215 2 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498697115888 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5145] ppid=5125 vsize=11166888 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5145/stat : 5145 (java) S 5125 5128 2474 0 -1 1077944384 11935 0 0 0 187 2 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498696063088 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5146] ppid=5125 vsize=11166888 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5146/stat : 5146 (java) S 5125 5128 2474 0 -1 1077944384 7057 0 0 0 56 1 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498695010288 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5147] ppid=5125 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5147/stat : 5147 (java) S 5125 5128 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498693958752 140499226752725 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
[pid=5128/tid=5148] ppid=5125 vsize=11166888 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/5128/task/5148/stat : 5148 (java) S 5125 5128 2474 0 -1 1077944384 2309 0 0 0 79 69 0 0 20 0 22 0 2298932 11434893312 1276398 33554432000 4194304 4196468 140727681565712 140498692906032 140499226753666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140727681569963 140727681570116 140727681570116 140727681572815 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 11166888

Child status: 143
Real time (s): 2266.29
CPU time (s): 2400.13
CPU user time (s): 2389.66
CPU system time (s): 10.4666
CPU usage (%): 105.906
Max. virtual memory (cumulated for all children) (KiB): 11166888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.66
system time used= 10.4666
maximum resident set size= 5105728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316040
page faults= 0
swaps= 0
block input operations= 40
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58918
involuntary context switches= 124554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8244 second user time and 19.8236 second system time

The end

Begin job on node130 at 2017-07-21 22:51:54
IDJOB=4243342
IDBENCH=115889
IDSOLVER=2623
FILE ID=node130/4243342-1500670314
RUNJOBID= node130-1500669978-4895
PBS_JOBID= 20623290
Free space on /tmp= 61960 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-14.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243342-1500670314/watcher-4243342-1500670314 -o /tmp/evaluation-result-4243342-1500670314/solver-4243342-1500670314 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500669978-4895 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243342-1500670314.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f
RANDOM SEED=1063383550

node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31747888 kB
MemAvailable:   31751048 kB
Buffers:           40524 kB
Cached:           274372 kB
SwapCached:            0 kB
Active:           418508 kB
Inactive:         235236 kB
Active(anon):     341272 kB
Inactive(anon):     8828 kB
Active(file):      77236 kB
Inactive(file):   226408 kB
Unevictable:        5668 kB
Mlocked:            5668 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3320 kB
Writeback:             0 kB
AnonPages:        280248 kB
Mapped:            41196 kB
Shmem:              8844 kB
Slab:              62396 kB
SReclaimable:      30704 kB
SUnreclaim:        31692 kB
KernelStack:        4512 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1305992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61956 MiB
End job on node130 at 2017-07-21 23:29:41

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml
MD5SUM	24e7c51735ec9671261d78753301e43f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	104
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	529
Number of constraints	344
Number of domains	4
Minimum domain size	2
Maximum domain size	513
Distribution of domain sizes	[{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}]
Minimum variable degree	1
Maximum variable degree	17
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	18
Distribution of constraint arities	[{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}]
Number of extensional constraints	252
Number of intensional constraints	71
Distribution of constraint types	[{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4243342

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data