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

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	SAT	17.9685	7.67035

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-4245989-1500707747/watcher-4245989-1500707747 -o /tmp/evaluation-result-4245989-1500707747/solver-4245989-1500707747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560 bin/concrete HOME/instance-4245989-1500707747.xml 

pid=16454
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: 3.47 2.50 2.50 2/261 16457
/proc/meminfo: memFree=28087500/32770624 swapFree=5788/296708
[pid=16457] ppid=16454 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (bash) S 16454 16457 7954 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 6042160 9736192 351 33554432000 4194304 5098028 140731704428272 140731704425912 140686333406208 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 22450176 140731704435982 140731704436067 140731704436067 140731704438766 0
/proc/16457/statm: 2377 351 278 221 0 86 0

[startup+0.100126 s]
/proc/loadavg: 3.47 2.50 2.50 2/261 16457
/proc/meminfo: memFree=28087500/32770624 swapFree=5788/296708
[pid=16457] ppid=16454 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (bash) S 16454 16457 7954 0 -1 4202496 884 6414 0 0 0 0 0 1 20 0 1 0 6042160 9871360 378 33554432000 4194304 5098028 140731704428272 140731704422280 140686333406208 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 22450176 140731704435982 140731704436067 140731704436067 140731704438766 0
/proc/16457/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200255 s]
/proc/loadavg: 3.47 2.50 2.50 2/261 16457
/proc/meminfo: memFree=28087500/32770624 swapFree=5788/296708
[pid=16457] ppid=16454 vsize=10901808 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 5607 12806 0 0 8 1 7 3 20 0 20 0 6042160 11163451392 5892 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2725452 5892 2679 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901808

[startup+0.300375 s]
/proc/loadavg: 3.47 2.50 2.50 2/261 16457
/proc/meminfo: memFree=28087500/32770624 swapFree=5788/296708
[pid=16457] ppid=16454 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 9395 12806 0 0 23 3 7 3 20 0 20 0 6042160 11164049408 10450 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2725598 10450 2987 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700176 s]
/proc/loadavg: 3.47 2.50 2.50 2/261 16457
/proc/meminfo: memFree=28087500/32770624 swapFree=5788/296708
[pid=16457] ppid=16454 vsize=10902720 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 12938 12806 0 0 84 4 7 3 20 0 20 0 6042160 11164385280 16203 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2725680 16203 3229 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720

[startup+1.50074 s]
/proc/loadavg: 3.27 2.47 2.49 5/281 16530
/proc/meminfo: memFree=27976916/32770624 swapFree=5788/296744
[pid=16457] ppid=16454 vsize=10913344 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 26770 12806 0 0 211 15 7 3 20 0 20 0 6042160 11175264256 44591 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2728336 44591 3406 1 0 2716450 0
[pid=16457/tid=16512] ppid=16454 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16512/stat : 16512 (java) R 16454 16457 7954 0 -1 4202560 18967 12806 0 0 127 6 7 3 20 0 20 0 6042171 11175264256 44591 33554432000 4194304 4196468 140726735367968 140098054127368 140098049926301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16513] ppid=16454 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16513/stat : 16513 (java) S 16454 16457 7954 0 -1 1077944384 16 12806 0 0 1 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097656531984 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16514] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16514/stat : 16514 (java) S 16454 16457 7954 0 -1 1077944384 120 12806 0 0 0 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097655479440 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16515] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16515/stat : 16515 (java) S 16454 16457 7954 0 -1 1077944384 29 12806 0 0 0 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097654426384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16516] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16516/stat : 16516 (java) S 16454 16457 7954 0 -1 1077944384 42 12806 0 0 0 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097653373840 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16517] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16517/stat : 16517 (java) S 16454 16457 7954 0 -1 1077944384 38 12806 0 0 0 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097652320784 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16518] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16518/stat : 16518 (java) S 16454 16457 7954 0 -1 1077944384 23 12806 0 0 0 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097651268240 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16519] ppid=16454 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16519/stat : 16519 (java) S 16454 16457 7954 0 -1 1077944384 16 12806 0 0 1 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097650215184 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16520] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16520/stat : 16520 (java) S 16454 16457 7954 0 -1 1077944384 30 12806 0 0 0 0 7 3 20 0 20 0 6042172 11175264256 44591 33554432000 4194304 4196468 140726735367968 140097649162640 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16521] ppid=16454 vsize=10913280 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16521/stat : 16521 (java) S 16454 16457 7954 0 -1 1077944384 1518 12806 0 0 0 0 7 3 20 0 20 0 6042174 11175198720 44603 33554432000 4194304 4196468 140726735367968 140097524538096 140098049915522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16522] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16522/stat : 16522 (java) S 16454 16457 7954 0 -1 1077944384 56 12806 0 0 0 0 7 3 20 0 20 0 6042175 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097523484384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16523] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16523/stat : 16523 (java) S 16454 16457 7954 0 -1 1077944384 43 12806 0 0 0 0 7 3 20 0 20 0 6042175 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097522431232 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16524] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16524/stat : 16524 (java) S 16454 16457 7954 0 -1 1077944384 1 12806 0 0 0 0 7 3 20 0 20 0 6042179 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097521379792 140098049922971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16525] ppid=16454 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16525/stat : 16525 (java) S 16454 16457 7954 0 -1 1077944384 921 12806 0 0 16 0 7 3 20 0 20 0 6042179 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097520326896 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16526] ppid=16454 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16526/stat : 16526 (java) S 16454 16457 7954 0 -1 1077944384 403 12806 0 0 10 0 7 3 20 0 20 0 6042179 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097519274352 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16527] ppid=16454 vsize=10913344 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16527/stat : 16527 (java) R 16454 16457 7954 0 -1 4202560 677 12806 0 0 19 0 7 3 20 0 20 0 6042179 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097518210448 140098043001211 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16528] ppid=16454 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16528/stat : 16528 (java) S 16454 16457 7954 0 -1 1077944384 1738 12806 0 0 27 0 7 3 20 0 20 0 6042179 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097517168752 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16529] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16529/stat : 16529 (java) S 16454 16457 7954 0 -1 1077944384 3 12806 0 0 0 0 7 3 20 0 20 0 6042180 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097516116960 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16530] ppid=16454 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16530/stat : 16530 (java) S 16454 16457 7954 0 -1 1077944384 4 12806 0 0 0 0 7 3 20 0 20 0 6042180 11175264256 44603 33554432000 4194304 4196468 140726735367968 140097515064496 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10913344

[startup+3.10113 s]
/proc/loadavg: 3.27 2.47 2.49 5/281 16530
/proc/meminfo: memFree=27908940/32770624 swapFree=5788/296752
[pid=16457] ppid=16454 vsize=10923772 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 42296 12806 0 0 679 20 7 3 20 0 20 0 6042160 11185942528 56339 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2730943 56339 3478 1 0 2718498 0
[pid=16457/tid=16512] ppid=16454 vsize=10923772 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16512/stat : 16512 (java) R 16454 16457 7954 0 -1 4202560 24800 12806 0 0 284 8 7 3 20 0 20 0 6042171 11185942528 56339 33554432000 4194304 4196468 140726735367968 140098054133224 140098049925722 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16513] ppid=16454 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16513/stat : 16513 (java) S 16454 16457 7954 0 -1 1077944384 16 12806 0 0 1 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097656531984 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16514] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16514/stat : 16514 (java) S 16454 16457 7954 0 -1 1077944384 120 12806 0 0 0 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097655479440 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16515] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16515/stat : 16515 (java) S 16454 16457 7954 0 -1 1077944384 29 12806 0 0 0 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097654426384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16516] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16516/stat : 16516 (java) S 16454 16457 7954 0 -1 1077944384 42 12806 0 0 0 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097653373840 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16517] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16517/stat : 16517 (java) S 16454 16457 7954 0 -1 1077944384 38 12806 0 0 0 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097652320784 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16518] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16518/stat : 16518 (java) S 16454 16457 7954 0 -1 1077944384 23 12806 0 0 0 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097651268240 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16519] ppid=16454 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16519/stat : 16519 (java) S 16454 16457 7954 0 -1 1077944384 16 12806 0 0 1 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097650215184 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16520] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16520/stat : 16520 (java) S 16454 16457 7954 0 -1 1077944384 30 12806 0 0 0 0 7 3 20 0 20 0 6042172 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097649162640 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16521] ppid=16454 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16521/stat : 16521 (java) S 16454 16457 7954 0 -1 1077944384 1683 12806 0 0 1 0 7 3 20 0 20 0 6042174 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097524538096 140098049915522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16522] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16522/stat : 16522 (java) S 16454 16457 7954 0 -1 1077944384 56 12806 0 0 0 0 7 3 20 0 20 0 6042175 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097523484384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16523] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16523/stat : 16523 (java) S 16454 16457 7954 0 -1 1077944384 43 12806 0 0 0 0 7 3 20 0 20 0 6042175 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097522431232 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16524] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16524/stat : 16524 (java) S 16454 16457 7954 0 -1 1077944384 1 12806 0 0 0 0 7 3 20 0 20 0 6042179 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097521379792 140098049922971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16525] ppid=16454 vsize=10923772 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16525/stat : 16525 (java) R 16454 16457 7954 0 -1 4202560 2255 12806 0 0 97 0 7 3 20 0 20 0 6042179 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097520310768 140098049925722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16526] ppid=16454 vsize=10923772 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16526/stat : 16526 (java) R 16454 16457 7954 0 -1 4202560 1818 12806 0 0 75 1 7 3 20 0 20 0 6042179 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097519274352 140098049916310 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16527] ppid=16454 vsize=10923772 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16527/stat : 16527 (java) R 16454 16457 7954 0 -1 4202560 4608 12806 0 0 103 0 7 3 20 0 20 0 6042179 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097518203408 140098029747938 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16528] ppid=16454 vsize=10923772 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16528/stat : 16528 (java) S 16454 16457 7954 0 -1 1077944384 4577 12806 0 0 108 1 7 3 20 0 20 0 6042179 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097517168752 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16529] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16529/stat : 16529 (java) S 16454 16457 7954 0 -1 1077944384 3 12806 0 0 0 0 7 3 20 0 20 0 6042180 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097516116960 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16530] ppid=16454 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16530/stat : 16530 (java) S 16454 16457 7954 0 -1 1077944384 6 12806 0 0 0 0 7 3 20 0 20 0 6042180 11185942528 56339 33554432000 4194304 4196468 140726735367968 140097515064496 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 10923772

[startup+6.30097 s]
/proc/loadavg: 3.17 2.47 2.49 3/281 16530
/proc/meminfo: memFree=27714784/32770624 swapFree=5788/296756
[pid=16457] ppid=16454 vsize=10995452 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 65556 12806 0 0 1428 36 7 3 20 0 20 0 6042160 11259342848 132356 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2748863 132356 3485 1 0 2736418 0
[pid=16457/tid=16512] ppid=16454 vsize=10995452 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16512/stat : 16512 (java) R 16454 16457 7954 0 -1 4202560 39932 12806 0 0 588 14 7 3 20 0 20 0 6042171 11259342848 132356 33554432000 4194304 4196468 140726735367968 140098054136232 140097705129004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16513] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16513/stat : 16513 (java) S 16454 16457 7954 0 -1 1077944384 52 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097656531984 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16514] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16514/stat : 16514 (java) S 16454 16457 7954 0 -1 1077944384 130 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097655479440 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16515] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16515/stat : 16515 (java) S 16454 16457 7954 0 -1 1077944384 65 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097654426384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16516] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16516/stat : 16516 (java) S 16454 16457 7954 0 -1 1077944384 56 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097653373840 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16517] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16517/stat : 16517 (java) S 16454 16457 7954 0 -1 1077944384 56 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097652320784 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16518] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16518/stat : 16518 (java) S 16454 16457 7954 0 -1 1077944384 81 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097651268240 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16519] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16519/stat : 16519 (java) S 16454 16457 7954 0 -1 1077944384 45 12806 0 0 5 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097650215184 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16520] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16520/stat : 16520 (java) S 16454 16457 7954 0 -1 1077944384 52 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097649162640 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16521] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16521/stat : 16521 (java) S 16454 16457 7954 0 -1 1077944384 2369 12806 0 0 6 0 7 3 20 0 20 0 6042174 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097524538096 140098049915522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16522] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16522/stat : 16522 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097523484448 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16523] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16523/stat : 16523 (java) S 16454 16457 7954 0 -1 1077944384 43 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097522431232 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16524] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16524/stat : 16524 (java) S 16454 16457 7954 0 -1 1077944384 1 12806 0 0 0 0 7 3 20 0 20 0 6042179 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097521379792 140098049922971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16525] ppid=16454 vsize=10995452 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16525/stat : 16525 (java) S 16454 16457 7954 0 -1 1077944384 2499 12806 0 0 190 1 7 3 20 0 20 0 6042179 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097520326896 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16526] ppid=16454 vsize=10995452 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16526/stat : 16526 (java) S 16454 16457 7954 0 -1 1077944384 2281 12806 0 0 168 1 7 3 20 0 20 0 6042179 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097519274352 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16527] ppid=16454 vsize=10995452 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16527/stat : 16527 (java) S 16454 16457 7954 0 -1 1077944384 8958 12806 0 0 245 1 7 3 20 0 20 0 6042179 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097518221296 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16528] ppid=16454 vsize=10995452 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16528/stat : 16528 (java) S 16454 16457 7954 0 -1 1077944384 6736 12806 0 0 189 2 7 3 20 0 20 0 6042179 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097517168752 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16529] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16529/stat : 16529 (java) S 16454 16457 7954 0 -1 1077944384 3 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097516116960 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16530] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16530/stat : 16530 (java) S 16454 16457 7954 0 -1 1077944384 8 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 132356 33554432000 4194304 4196468 140726735367968 140097515064496 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 10995452

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

[startup+6.40114 s]
/proc/loadavg: 3.17 2.47 2.49 3/281 16530
/proc/meminfo: memFree=27714784/32770624 swapFree=5788/296756
[pid=16457] ppid=16454 vsize=10995452 CPUtime=14.85 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 65564 12806 0 0 1438 37 7 3 20 0 20 0 6042160 11259342848 132933 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2748863 132933 3490 1 0 2736418 0
[pid=16457/tid=16512] ppid=16454 vsize=10995452 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16512/stat : 16512 (java) R 16454 16457 7954 0 -1 4202560 39933 12806 0 0 597 14 7 3 20 0 20 0 6042171 11259342848 132933 33554432000 4194304 4196468 140726735367968 140098054138624 140097688132630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16513] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16513/stat : 16513 (java) S 16454 16457 7954 0 -1 1077944384 53 12806 0 0 5 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097656531984 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16514] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16514/stat : 16514 (java) S 16454 16457 7954 0 -1 1077944384 130 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097655479440 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16515] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16515/stat : 16515 (java) S 16454 16457 7954 0 -1 1077944384 66 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097654426384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16516] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16516/stat : 16516 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 4 2 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097653373840 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16517] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16517/stat : 16517 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097652320784 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16518] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16518/stat : 16518 (java) S 16454 16457 7954 0 -1 1077944384 82 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097651268240 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16519] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16519/stat : 16519 (java) S 16454 16457 7954 0 -1 1077944384 46 12806 0 0 5 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097650215184 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16520] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16520/stat : 16520 (java) S 16454 16457 7954 0 -1 1077944384 53 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097649162640 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16521] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16521/stat : 16521 (java) S 16454 16457 7954 0 -1 1077944384 2369 12806 0 0 6 0 7 3 20 0 20 0 6042174 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097524538096 140098049915522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16522] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16522/stat : 16522 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097523484448 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16523] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16523/stat : 16523 (java) S 16454 16457 7954 0 -1 1077944384 43 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097522431232 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16524] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16524/stat : 16524 (java) S 16454 16457 7954 0 -1 1077944384 1 12806 0 0 0 0 7 3 20 0 20 0 6042179 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097521379792 140098049922971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16525] ppid=16454 vsize=10995452 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16525/stat : 16525 (java) S 16454 16457 7954 0 -1 1077944384 2499 12806 0 0 190 1 7 3 20 0 20 0 6042179 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097520326896 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16526] ppid=16454 vsize=10995452 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16526/stat : 16526 (java) S 16454 16457 7954 0 -1 1077944384 2281 12806 0 0 168 1 7 3 20 0 20 0 6042179 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097519274352 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16527] ppid=16454 vsize=10995452 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16527/stat : 16527 (java) S 16454 16457 7954 0 -1 1077944384 8958 12806 0 0 245 1 7 3 20 0 20 0 6042179 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097518221296 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16528] ppid=16454 vsize=10995452 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16528/stat : 16528 (java) S 16454 16457 7954 0 -1 1077944384 6736 12806 0 0 189 2 7 3 20 0 20 0 6042179 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097517168752 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16529] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16529/stat : 16529 (java) S 16454 16457 7954 0 -1 1077944384 3 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097516116960 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16530] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16530/stat : 16530 (java) S 16454 16457 7954 0 -1 1077944384 8 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 132933 33554432000 4194304 4196468 140726735367968 140097515064496 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 10995452

[startup+7.2009 s]
/proc/loadavg: 3.17 2.47 2.49 3/281 16530
/proc/meminfo: memFree=27554304/32770624 swapFree=5788/296756
[pid=16457] ppid=16454 vsize=10995452 CPUtime=16.16 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 66295 12806 0 0 1565 41 7 3 20 0 20 0 6042160 11259342848 153530 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2748863 153530 3492 1 0 2736418 0
[pid=16457/tid=16512] ppid=16454 vsize=10995452 CPUtime=7 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16512/stat : 16512 (java) R 16454 16457 7954 0 -1 4202560 39972 12806 0 0 675 15 7 3 20 0 20 0 6042171 11259342848 153530 33554432000 4194304 4196468 140726735367968 140098054136520 140097696441684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16513] ppid=16454 vsize=10995452 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16513/stat : 16513 (java) S 16454 16457 7954 0 -1 1077944384 55 12806 0 0 5 2 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097656531984 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16514] ppid=16454 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16514/stat : 16514 (java) S 16454 16457 7954 0 -1 1077944384 132 12806 0 0 4 1 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097655479440 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16515] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16515/stat : 16515 (java) S 16454 16457 7954 0 -1 1077944384 67 12806 0 0 5 1 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097654426384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16516] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16516/stat : 16516 (java) S 16454 16457 7954 0 -1 1077944384 59 12806 0 0 4 2 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097653373840 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16517] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16517/stat : 16517 (java) S 16454 16457 7954 0 -1 1077944384 60 12806 0 0 4 2 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097652320784 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16518] ppid=16454 vsize=10995452 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16518/stat : 16518 (java) S 16454 16457 7954 0 -1 1077944384 84 12806 0 0 5 2 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097651268240 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16519] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16519/stat : 16519 (java) S 16454 16457 7954 0 -1 1077944384 49 12806 0 0 5 1 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097650215184 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16520] ppid=16454 vsize=10995452 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16520/stat : 16520 (java) S 16454 16457 7954 0 -1 1077944384 55 12806 0 0 5 2 7 3 20 0 20 0 6042172 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097649162640 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16521] ppid=16454 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16521/stat : 16521 (java) S 16454 16457 7954 0 -1 1077944384 2415 12806 0 0 6 0 7 3 20 0 20 0 6042174 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097524538096 140098049915522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16522] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16522/stat : 16522 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097523484448 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16523] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16523/stat : 16523 (java) S 16454 16457 7954 0 -1 1077944384 43 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097522431232 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16524] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16524/stat : 16524 (java) S 16454 16457 7954 0 -1 1077944384 1 12806 0 0 0 0 7 3 20 0 20 0 6042179 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097521379792 140098049922971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16525] ppid=16454 vsize=10995452 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16525/stat : 16525 (java) S 16454 16457 7954 0 -1 1077944384 2504 12806 0 0 198 1 7 3 20 0 20 0 6042179 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097520326896 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16526] ppid=16454 vsize=10995452 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16526/stat : 16526 (java) S 16454 16457 7954 0 -1 1077944384 2886 12806 0 0 196 1 7 3 20 0 20 0 6042179 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097519274352 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16527] ppid=16454 vsize=10995452 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16527/stat : 16527 (java) S 16454 16457 7954 0 -1 1077944384 8977 12806 0 0 256 1 7 3 20 0 20 0 6042179 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097518221296 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16528] ppid=16454 vsize=10995452 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16528/stat : 16528 (java) S 16454 16457 7954 0 -1 1077944384 6736 12806 0 0 190 2 7 3 20 0 20 0 6042179 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097517168752 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16529] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16529/stat : 16529 (java) S 16454 16457 7954 0 -1 1077944384 3 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097516116960 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16530] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16530/stat : 16530 (java) S 16454 16457 7954 0 -1 1077944384 8 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 153530 33554432000 4194304 4196468 140726735367968 140097515064496 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 10995452

[startup+7.60103 s]
/proc/loadavg: 3.17 2.47 2.49 3/281 16530
/proc/meminfo: memFree=27554304/32770624 swapFree=5788/296756
[pid=16457] ppid=16454 vsize=10995452 CPUtime=17.72 cores=0,2,4,6,8,10,12,14
/proc/16457/stat : 16457 (java) S 16454 16457 7954 0 -1 1077944320 66475 12806 0 0 1718 44 7 3 20 0 20 0 6042160 11259342848 155269 33554432000 4194304 4196468 140726735367968 140726735350512 140098049904375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
/proc/16457/statm: 2748863 155269 3504 1 0 2736418 0
[pid=16457/tid=16512] ppid=16454 vsize=10995452 CPUtime=7.13 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16512/stat : 16512 (java) R 16454 16457 7954 0 -1 4202560 40070 12806 0 0 688 15 7 3 20 0 20 0 6042171 11259342848 155269 33554432000 4194304 4196468 140726735367968 140098054136832 140098028982082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16513] ppid=16454 vsize=10995452 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16513/stat : 16513 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 20 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097656531984 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16514] ppid=16454 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16514/stat : 16514 (java) S 16454 16457 7954 0 -1 1077944384 143 12806 0 0 18 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097655479440 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16515] ppid=16454 vsize=10995452 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16515/stat : 16515 (java) S 16454 16457 7954 0 -1 1077944384 73 12806 0 0 20 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097654426384 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16516] ppid=16454 vsize=10995452 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16516/stat : 16516 (java) S 16454 16457 7954 0 -1 1077944384 69 12806 0 0 20 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097653373840 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16517] ppid=16454 vsize=10995452 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16517/stat : 16517 (java) S 16454 16457 7954 0 -1 1077944384 66 12806 0 0 19 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097652320784 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16518] ppid=16454 vsize=10995452 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16518/stat : 16518 (java) S 16454 16457 7954 0 -1 1077944384 96 12806 0 0 20 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097651268240 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16519] ppid=16454 vsize=10995452 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16519/stat : 16519 (java) S 16454 16457 7954 0 -1 1077944384 54 12806 0 0 20 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097650215184 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16520] ppid=16454 vsize=10995452 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16520/stat : 16520 (java) S 16454 16457 7954 0 -1 1077944384 67 12806 0 0 19 2 7 3 20 0 20 0 6042172 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097649162640 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16521] ppid=16454 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16521/stat : 16521 (java) S 16454 16457 7954 0 -1 1077944384 2421 12806 0 0 17 0 7 3 20 0 20 0 6042174 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097524538096 140098049915522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16522] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16522/stat : 16522 (java) S 16454 16457 7954 0 -1 1077944384 57 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097523484448 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16523] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16523/stat : 16523 (java) S 16454 16457 7954 0 -1 1077944384 44 12806 0 0 0 0 7 3 20 0 20 0 6042175 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097522431232 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16524] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16524/stat : 16524 (java) S 16454 16457 7954 0 -1 1077944384 1 12806 0 0 0 0 7 3 20 0 20 0 6042179 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097521379792 140098049922971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16525] ppid=16454 vsize=10995452 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16525/stat : 16525 (java) R 16454 16457 7954 0 -1 4202560 2507 12806 0 0 203 1 7 3 20 0 20 0 6042179 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097520313120 140098031093940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16526] ppid=16454 vsize=10995452 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16526/stat : 16526 (java) S 16454 16457 7954 0 -1 1077944384 2887 12806 0 0 196 1 7 3 20 0 20 0 6042179 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097519274352 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16527] ppid=16454 vsize=10995452 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16527/stat : 16527 (java) R 16454 16457 7954 0 -1 4202560 8977 12806 0 0 257 1 7 3 20 0 20 0 6042179 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097518207392 140098043008012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16528] ppid=16454 vsize=10995452 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16528/stat : 16528 (java) R 16454 16457 7954 0 -1 4202560 6746 12806 0 0 191 2 7 3 20 0 20 0 6042179 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097517168560 140098049925722 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16529] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16529/stat : 16529 (java) S 16454 16457 7954 0 -1 1077944384 3 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097516116960 140098049914581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
[pid=16457/tid=16530] ppid=16454 vsize=10995452 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16457/task/16530/stat : 16530 (java) S 16454 16457 7954 0 -1 1077944384 8 12806 0 0 0 0 7 3 20 0 20 0 6042180 11259342848 155269 33554432000 4194304 4196468 140726735367968 140097515064496 140098049915522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25722880 140726735375041 140726735377815 140726735377815 140726735380431 0
Current children cumulated CPU time (s) 17.72
Current children cumulated vsize (KiB) 10995452

Child status: 0
Real time (s): 7.67035
CPU time (s): 17.9685
CPU user time (s): 17.4806
CPU system time (s): 0.487946
CPU usage (%): 234.26
Max. virtual memory (cumulated for all children) (KiB): 10997568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4806
system time used= 0.487946
maximum resident set size= 623044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11173
involuntary context switches= 1423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055917 second user time and 0.096658 second system time

The end

Begin job on node128 at 2017-07-22 09:15:47
IDJOB=4245989
IDBENCH=123653
IDSOLVER=2630
FILE ID=node128/4245989-1500707747
RUNJOBID= node128-1500683681-7985
PBS_JOBID= 20623342
Free space on /tmp= 61996 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-37-sum.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245989-1500707747/watcher-4245989-1500707747 -o /tmp/evaluation-result-4245989-1500707747/solver-4245989-1500707747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560  bin/concrete HOME/instance-4245989-1500707747.xml

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

MD5SUM BENCH= 069666c245bd9cd0e4e347c297fd6ca1
RANDOM SEED=173012386

node128.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		: 2000.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.12
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		: 1600.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.54
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.12
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		: 1600.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.54
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.12
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.54
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.12
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		: 1600.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.54
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		: 2267.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.12
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		: 1600.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.54
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		: 2400.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.12
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.54
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.12
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.54
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		: 2000.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.12
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		: 1600.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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28088316 kB
MemAvailable:   28323612 kB
Buffers:          126112 kB
Cached:           390908 kB
SwapCached:            0 kB
Active:          3939940 kB
Inactive:         305464 kB
Active(anon):    3731200 kB
Inactive(anon):     8756 kB
Active(file):     208740 kB
Inactive(file):   296708 kB
Unevictable:        5788 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24084 kB
Writeback:             0 kB
AnonPages:       3733124 kB
Mapped:            43696 kB
Shmem:              8844 kB
Slab:             125240 kB
SReclaimable:      91368 kB
SUnreclaim:        33872 kB
KernelStack:        4560 kB
PageTables:        11556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4164588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3471360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61972 MiB
End job on node128 at 2017-07-22 09:15:55

Name	Sat/ Sat-sum-flat200-479/Sat-flat200-37-sum.xml
MD5SUM	069666c245bd9cd0e4e347c297fd6ca1
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.105976
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"degree":11,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective

Trace number 4245989

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data