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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT	4.5033698	1.26064
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13309 MiB free)
  memory of node 1: 16384 MiB (13297 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281049-1503127703/watcher-4281049-1503127703 -o /tmp/evaluation-result-4281049-1503127703/solver-4281049-1503127703 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 64153537 HOME/instance-4281049-1503127703.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14863, runsolver pid=14860
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 3.50 6.41 7.37 2/200 14884
/proc/meminfo: memFree=27231096/32770624 swapFree=67108860/67108860
[pid=14863] ppid=14860 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14863/stat : 14863 (xcsp3-exec) S 14860 14863 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857770 9740288 346 33554432000 4194304 5098028 140735699896944 140735699895048 140720083997308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12357632 140735699903590 140735699903799 140735699903799 140735699906539 0
/proc/14863/statm: 2378 346 289 221 0 87 0
[pid=14865] ppid=14863 vsize=25999808 memory=26240 CPUtime=0.12 cores=0-7
/proc/14865/stat : 14865 (java) S 14863 14863 10918 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 20 0 145857770 26623803392 6560 33554432000 4194304 4196468 140725625093184 140725625075728 140699760389879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
/proc/14865/statm: 6499952 6560 2844 1 0 6488269 0
[pid=14865/tid=14866] ppid=14863 vsize=25999808 memory=8257519724899770013 CPUtime=0.09 cores=0-7
/proc/14865/task/14866/stat : 14866 (java) R 14863 14863 10918 0 -1 4202560 3487 0 0 0 8 1 0 0 20 0 20 0 145857771 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699764609184 140699760401814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14867] ppid=14863 vsize=25999808 memory=732370819348040677 CPUtime=0 cores=0-7
/proc/14865/task/14867/stat : 14867 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699713010704 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14868] ppid=14863 vsize=25999808 memory=140681010587264 CPUtime=0 cores=0-7
/proc/14865/task/14868/stat : 14868 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699711958160 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14869] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14869/stat : 14869 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699710905104 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14870] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14870/stat : 14870 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699709852560 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14871] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14871/stat : 14871 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699708799504 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14872] ppid=14863 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14865/task/14872/stat : 14872 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699707746960 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14873] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14873/stat : 14873 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699312191760 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14874] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14874/stat : 14874 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26623803392 6560 33554432000 4194304 4196468 140725625093184 140699311139216 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14875] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14875/stat : 14875 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857773 26623803392 6560 33554432000 4194304 4196468 140725625093184 140698032716528 140699760401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14876] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14876/stat : 14876 (java) S 14863 14863 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857773 26623803392 6560 33554432000 4194304 4196468 140725625093184 140698031662752 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14877] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14877/stat : 14877 (java) S 14863 14863 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857774 26623803392 6560 33554432000 4194304 4196468 140725625093184 140698030609648 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14878] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14878/stat : 14878 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857776 26623803392 6560 33554432000 4194304 4196468 140725625093184 140698029558224 140699760408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14879] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14879/stat : 14879 (java) S 14863 14863 10918 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 145857776 26623803392 6560 33554432000 4194304 4196468 140725625093184 140697692793072 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14880] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14880/stat : 14880 (java) S 14863 14863 10918 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145857776 26623803392 6560 33554432000 4194304 4196468 140725625093184 140697691740528 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14881] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14881/stat : 14881 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857776 26623803392 6560 33554432000 4194304 4196468 140725625093184 140697690687472 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14882] ppid=14863 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14865/task/14882/stat : 14882 (java) S 14863 14863 10918 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 145857776 26623803392 6560 33554432000 4194304 4196468 140725625093184 140697689634928 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14883] ppid=14863 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14883/stat : 14883 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857776 26623803392 6560 33554432000 4194304 4196468 140725625093184 140697688583136 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14884] ppid=14863 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14865/task/14884/stat : 14884 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857777 26623803392 6560 33554432000 4194304 4196468 140725625093184 140697687530672 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27624 KiB

[startup+0.210344 s]*
/proc/loadavg: 3.50 6.41 7.37 2/200 14884
/proc/meminfo: memFree=27219048/32770624 swapFree=67108860/67108860
[pid=14863] ppid=14860 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14863/stat : 14863 (xcsp3-exec) S 14860 14863 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857770 9740288 346 33554432000 4194304 5098028 140735699896944 140735699895048 140720083997308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12357632 140735699903590 140735699903799 140735699903799 140735699906539 0
/proc/14863/statm: 2378 346 289 221 0 87 0
[pid=14865] ppid=14863 vsize=26004064 memory=38948 CPUtime=0.34 cores=0-7
/proc/14865/stat : 14865 (java) S 14863 14863 10918 0 -1 1077944320 8328 0 0 0 31 3 0 0 20 0 20 0 145857770 26628161536 9737 33554432000 4194304 4196468 140725625093184 140725625075728 140699760389879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
/proc/14865/statm: 6501016 9737 3014 1 0 6488269 0
[pid=14865/tid=14866] ppid=14863 vsize=26004096 memory=0 CPUtime=0.2 cores=0-7
/proc/14865/task/14866/stat : 14866 (java) R 14863 14863 10918 0 -1 4202560 5430 0 0 0 18 2 0 0 20 0 20 0 145857771 26628194304 9737 33554432000 4194304 4196468 140725625093184 140699764600688 140699753106983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14867] ppid=14863 vsize=26004064 memory=281361859061496 CPUtime=0 cores=0-7
/proc/14865/task/14867/stat : 14867 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699713010704 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14868] ppid=14863 vsize=26004064 memory=140681010587264 CPUtime=0 cores=0-7
/proc/14865/task/14868/stat : 14868 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699711958160 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14869] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14869/stat : 14869 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699710905104 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14870] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14870/stat : 14870 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699709852560 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14871] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14871/stat : 14871 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699708799504 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14872] ppid=14863 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14865/task/14872/stat : 14872 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699707746960 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14873] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14873/stat : 14873 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 9737 33554432000 4194304 4196468 140725625093184 140699312191760 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14874] ppid=14863 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14874/stat : 14874 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628194304 9737 33554432000 4194304 4196468 140725625093184 140699311139216 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14875] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14875/stat : 14875 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857773 26628161536 9737 33554432000 4194304 4196468 140725625093184 140698032716528 140699760401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14876] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14876/stat : 14876 (java) S 14863 14863 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857773 26628161536 9737 33554432000 4194304 4196468 140725625093184 140698031662752 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14877] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14877/stat : 14877 (java) S 14863 14863 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857774 26628161536 9737 33554432000 4194304 4196468 140725625093184 140698030609648 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14878] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14878/stat : 14878 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857776 26628161536 9737 33554432000 4194304 4196468 140725625093184 140698029558224 140699760408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14879] ppid=14863 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14865/task/14879/stat : 14879 (java) S 14863 14863 10918 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 20 0 145857776 26628161536 9737 33554432000 4194304 4196468 140725625093184 140697692793072 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14880] ppid=14863 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14865/task/14880/stat : 14880 (java) S 14863 14863 10918 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 145857776 26628161536 9737 33554432000 4194304 4196468 140725625093184 140697691740528 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14881] ppid=14863 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14865/task/14881/stat : 14881 (java) S 14863 14863 10918 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 145857776 26628161536 9737 33554432000 4194304 4196468 140725625093184 140697690687472 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14882] ppid=14863 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/14865/task/14882/stat : 14882 (java) S 14863 14863 10918 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 20 0 145857776 26628161536 9737 33554432000 4194304 4196468 140725625093184 140697689634928 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14883] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14883/stat : 14883 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857776 26628161536 9737 33554432000 4194304 4196468 140725625093184 140697688583136 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14884] ppid=14863 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/14865/task/14884/stat : 14884 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857777 26628194304 9737 33554432000 4194304 4196468 140725625093184 140697687530672 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40332 KiB

[startup+0.310348 s]*
/proc/loadavg: 3.50 6.41 7.37 3/200 14884
/proc/meminfo: memFree=27214644/32770624 swapFree=67108860/67108860
[pid=14863] ppid=14860 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14863/stat : 14863 (xcsp3-exec) S 14860 14863 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857770 9740288 346 33554432000 4194304 5098028 140735699896944 140735699895048 140720083997308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12357632 140735699903590 140735699903799 140735699903799 140735699906539 0
/proc/14863/statm: 2378 346 289 221 0 87 0
[pid=14865] ppid=14863 vsize=26004064 memory=46088 CPUtime=0.5 cores=0-7
/proc/14865/stat : 14865 (java) S 14863 14863 10918 0 -1 1077944320 9181 0 0 0 47 3 0 0 20 0 20 0 145857770 26628161536 11522 33554432000 4194304 4196468 140725625093184 140725625075728 140699760389879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
/proc/14865/statm: 6501016 11522 3103 1 0 6488269 0
[pid=14865/tid=14866] ppid=14863 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14865/task/14866/stat : 14866 (java) R 14863 14863 10918 0 -1 4202560 6070 0 0 0 27 2 0 0 20 0 20 0 145857771 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699764626032 140699760401814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14867] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14867/stat : 14867 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699713010704 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14868] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14868/stat : 14868 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699711958160 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14869] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14869/stat : 14869 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699710905104 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14870] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14870/stat : 14870 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699709852560 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14871] ppid=14863 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14865/task/14871/stat : 14871 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699708799504 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14872] ppid=14863 vsize=26004064 memory=140680848569263 CPUtime=0 cores=0-7
/proc/14865/task/14872/stat : 14872 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699707746960 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14873] ppid=14863 vsize=26004064 memory=140680848571568 CPUtime=0 cores=0-7
/proc/14865/task/14873/stat : 14873 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699312191760 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14874] ppid=14863 vsize=26004064 memory=140680848573872 CPUtime=0 cores=0-7
/proc/14865/task/14874/stat : 14874 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26628161536 11522 33554432000 4194304 4196468 140725625093184 140699311139216 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14875] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14875/stat : 14875 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857773 26628161536 11522 33554432000 4194304 4196468 140725625093184 140698032716528 140699760401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14876] ppid=14863 vsize=26004064 memory=281361697154704 CPUtime=0 cores=0-7
/proc/14865/task/14876/stat : 14876 (java) S 14863 14863 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857773 26628161536 11522 33554432000 4194304 4196468 140725625093184 140698031662752 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14877] ppid=14863 vsize=26004064 memory=281361697161616 CPUtime=0 cores=0-7
/proc/14865/task/14877/stat : 14877 (java) S 14863 14863 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857774 26628161536 11522 33554432000 4194304 4196468 140725625093184 140698030609648 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14878] ppid=14863 vsize=26004064 memory=281361697102896 CPUtime=0 cores=0-7
/proc/14865/task/14878/stat : 14878 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857776 26628161536 11522 33554432000 4194304 4196468 140725625093184 140698029558224 140699760408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14879] ppid=14863 vsize=26004064 memory=281361697175440 CPUtime=0.01 cores=0-7
/proc/14865/task/14879/stat : 14879 (java) S 14863 14863 10918 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 145857776 26628161536 11522 33554432000 4194304 4196468 140725625093184 140697692793072 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14880] ppid=14863 vsize=26004064 memory=281361697182352 CPUtime=0.02 cores=0-7
/proc/14865/task/14880/stat : 14880 (java) R 14863 14863 10918 0 -1 4202560 215 0 0 0 2 0 0 0 20 0 20 0 145857776 26628161536 11522 33554432000 4194304 4196468 140725625093184 140697691740528 140699740582829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14881] ppid=14863 vsize=26004064 memory=281361697180048 CPUtime=0.02 cores=0-7
/proc/14865/task/14881/stat : 14881 (java) S 14863 14863 10918 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 20 0 145857776 26628161536 11522 33554432000 4194304 4196468 140725625093184 140697690687472 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14882] ppid=14863 vsize=26004064 memory=281361697196208 CPUtime=0.12 cores=0-7
/proc/14865/task/14882/stat : 14882 (java) R 14863 14863 10918 0 -1 4202560 883 0 0 0 12 0 0 0 20 0 20 0 145857776 26628161536 11522 33554432000 4194304 4196468 140725625093184 140697689630880 140699753495561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14883] ppid=14863 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14883/stat : 14883 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857776 26628161536 11522 33554432000 4194304 4196468 140725625093184 140697688583136 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14884] ppid=14863 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14865/task/14884/stat : 14884 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857777 26628161536 11522 33554432000 4194304 4196468 140725625093184 140697687530672 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47472 KiB

[startup+0.700987 s]
/proc/loadavg: 3.50 6.41 7.37 4/200 14884
/proc/meminfo: memFree=27193180/32770624 swapFree=67108860/67108860
[pid=14863] ppid=14860 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14863/stat : 14863 (xcsp3-exec) S 14860 14863 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857770 9740288 346 33554432000 4194304 5098028 140735699896944 140735699895048 140720083997308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12357632 140735699903590 140735699903799 140735699903799 140735699906539 0
/proc/14863/statm: 2378 346 289 221 0 87 0
[pid=14865] ppid=14863 vsize=26006188 memory=90800 CPUtime=1.82 cores=0-7
/proc/14865/stat : 14865 (java) S 14863 14863 10918 0 -1 1077944320 13257 0 0 0 177 5 0 0 20 0 20 0 145857770 26630336512 22188 33554432000 4194304 4196468 140725625093184 140725625075728 140699760389879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
/proc/14865/statm: 6501547 22700 3201 1 0 6488781 0
[pid=14865/tid=14866] ppid=14863 vsize=26006188 memory=281361697491072 CPUtime=0.67 cores=0-7
/proc/14865/task/14866/stat : 14866 (java) R 14863 14863 10918 0 -1 4202560 6636 0 0 0 64 3 0 0 20 0 20 0 145857771 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699764628656 140699390202964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14867] ppid=14863 vsize=26006188 memory=1948 CPUtime=0 cores=0-7
/proc/14865/task/14867/stat : 14867 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699713010704 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14868] ppid=14863 vsize=26006188 memory=800 CPUtime=0 cores=0-7
/proc/14865/task/14868/stat : 14868 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699711958160 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14869] ppid=14863 vsize=26006188 memory=12132 CPUtime=0 cores=0-7
/proc/14865/task/14869/stat : 14869 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699710905104 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14870] ppid=14863 vsize=26006188 memory=1440 CPUtime=0 cores=0-7
/proc/14865/task/14870/stat : 14870 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699709852560 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14871] ppid=14863 vsize=26006188 memory=5796 CPUtime=0 cores=0-7
/proc/14865/task/14871/stat : 14871 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699708799504 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14872] ppid=14863 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/14865/task/14872/stat : 14872 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699707746960 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14873] ppid=14863 vsize=26006188 memory=8708 CPUtime=0 cores=0-7
/proc/14865/task/14873/stat : 14873 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699312191760 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14874] ppid=14863 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/14865/task/14874/stat : 14874 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 22700 33554432000 4194304 4196468 140725625093184 140699311139216 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14875] ppid=14863 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/14865/task/14875/stat : 14875 (java) S 14863 14863 10918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145857773 26630336512 22700 33554432000 4194304 4196468 140725625093184 140698032716528 140699760401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14876] ppid=14863 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/14865/task/14876/stat : 14876 (java) S 14863 14863 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857773 26630336512 22700 33554432000 4194304 4196468 140725625093184 140698031662752 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14877] ppid=14863 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/14865/task/14877/stat : 14877 (java) S 14863 14863 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857774 26630336512 22700 33554432000 4194304 4196468 140725625093184 140698030609648 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14878] ppid=14863 vsize=26006188 memory=15876 CPUtime=0 cores=0-7
/proc/14865/task/14878/stat : 14878 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857776 26630336512 22700 33554432000 4194304 4196468 140725625093184 140698029558224 140699760408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14879] ppid=14863 vsize=26006188 memory=22312 CPUtime=0.2 cores=0-7
/proc/14865/task/14879/stat : 14879 (java) R 14863 14863 10918 0 -1 4202560 1187 0 0 0 20 0 0 0 20 0 20 0 145857776 26630336512 22700 33554432000 4194304 4196468 140725625093184 140697692781744 140699739636389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14880] ppid=14863 vsize=26006188 memory=4052 CPUtime=0.21 cores=0-7
/proc/14865/task/14880/stat : 14880 (java) R 14863 14863 10918 0 -1 4202560 853 0 0 0 21 0 0 0 20 0 20 0 145857776 26630336512 22700 33554432000 4194304 4196468 140725625093184 140697691717024 140699743777173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14881] ppid=14863 vsize=26006188 memory=16236 CPUtime=0.3 cores=0-7
/proc/14865/task/14881/stat : 14881 (java) R 14863 14863 10918 0 -1 4202560 1109 0 0 0 30 0 0 0 20 0 20 0 145857776 26630336512 22700 33554432000 4194304 4196468 140725625093184 140697690687472 140699740082983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14882] ppid=14863 vsize=26006188 memory=1796 CPUtime=0.4 cores=0-7
/proc/14865/task/14882/stat : 14882 (java) S 14863 14863 10918 0 -1 1077944384 2161 0 0 0 40 0 0 0 20 0 20 0 145857776 26630336512 22700 33554432000 4194304 4196468 140725625093184 140697689634928 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14883] ppid=14863 vsize=26006188 memory=644 CPUtime=0 cores=0-7
/proc/14865/task/14883/stat : 14883 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857776 26630336512 22700 33554432000 4194304 4196468 140725625093184 140697688583136 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14884] ppid=14863 vsize=26006188 memory=960 CPUtime=0 cores=0-7
/proc/14865/task/14884/stat : 14884 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857777 26630336512 22700 33554432000 4194304 4196468 140725625093184 140697687530672 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 92184 KiB

[startup+1.26058 s]
# the end of solver process 14863 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.41165 s, system=0.091717 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.801168 s]
/proc/loadavg: 3.50 6.41 7.37 4/200 14884
/proc/meminfo: memFree=27193180/32770624 swapFree=67108860/67108860
[pid=14863] ppid=14860 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14863/stat : 14863 (xcsp3-exec) S 14860 14863 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857770 9740288 346 33554432000 4194304 5098028 140735699896944 140735699895048 140720083997308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12357632 140735699903590 140735699903799 140735699903799 140735699906539 0
/proc/14863/statm: 2378 346 289 221 0 87 0
[pid=14865] ppid=14863 vsize=26006188 memory=117328 CPUtime=2.24 cores=0-7
/proc/14865/stat : 14865 (java) S 14863 14863 10918 0 -1 1077944320 13723 0 0 0 218 6 0 0 20 0 20 0 145857770 26630336512 29332 33554432000 4194304 4196468 140725625093184 140725625075728 140699760389879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
/proc/14865/statm: 6501547 29332 3208 1 0 6488781 0
[pid=14865/tid=14866] ppid=14863 vsize=26006188 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/14865/task/14866/stat : 14866 (java) R 14863 14863 10918 0 -1 4202560 6648 0 0 0 74 3 0 0 20 0 20 0 145857771 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699764628656 140699392461653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14867] ppid=14863 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/14865/task/14867/stat : 14867 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699713010704 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14868] ppid=14863 vsize=26006188 memory=932 CPUtime=0 cores=0-7
/proc/14865/task/14868/stat : 14868 (java) S 14863 14863 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699711958160 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14869] ppid=14863 vsize=26006188 memory=1568 CPUtime=0 cores=0-7
/proc/14865/task/14869/stat : 14869 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699710905104 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14870] ppid=14863 vsize=26006188 memory=2240 CPUtime=0 cores=0-7
/proc/14865/task/14870/stat : 14870 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699709852560 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14871] ppid=14863 vsize=26006188 memory=4124 CPUtime=0 cores=0-7
/proc/14865/task/14871/stat : 14871 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699708799504 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14872] ppid=14863 vsize=26006188 memory=2196 CPUtime=0 cores=0-7
/proc/14865/task/14872/stat : 14872 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699707746960 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14873] ppid=14863 vsize=26006188 memory=7788 CPUtime=0 cores=0-7
/proc/14865/task/14873/stat : 14873 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699312191760 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14874] ppid=14863 vsize=26006188 memory=840 CPUtime=0 cores=0-7
/proc/14865/task/14874/stat : 14874 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857772 26630336512 29332 33554432000 4194304 4196468 140725625093184 140699311139216 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14875] ppid=14863 vsize=26006188 memory=1696 CPUtime=0 cores=0-7
/proc/14865/task/14875/stat : 14875 (java) S 14863 14863 10918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145857773 26630336512 29332 33554432000 4194304 4196468 140725625093184 140698032716528 140699760401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14876] ppid=14863 vsize=26006188 memory=22244 CPUtime=0 cores=0-7
/proc/14865/task/14876/stat : 14876 (java) S 14863 14863 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857773 26630336512 29332 33554432000 4194304 4196468 140725625093184 140698031662752 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14877] ppid=14863 vsize=26006188 memory=-7749696028082845524 CPUtime=0 cores=0-7
/proc/14865/task/14877/stat : 14877 (java) S 14863 14863 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857774 26630336512 29332 33554432000 4194304 4196468 140725625093184 140698030609648 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14878] ppid=14863 vsize=26006188 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/14865/task/14878/stat : 14878 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857776 26630336512 29332 33554432000 4194304 4196468 140725625093184 140698029558224 140699760408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14879] ppid=14863 vsize=26006188 memory=-7384994778349280928 CPUtime=0.3 cores=0-7
/proc/14865/task/14879/stat : 14879 (java) R 14863 14863 10918 0 -1 4202560 1233 0 0 0 30 0 0 0 20 0 20 0 145857776 26630336512 29332 33554432000 4194304 4196468 140725625093184 140697692782992 140699745287521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14880] ppid=14863 vsize=26006188 memory=0 CPUtime=0.31 cores=0-7
/proc/14865/task/14880/stat : 14880 (java) R 14863 14863 10918 0 -1 4202560 1163 0 0 0 31 0 0 0 20 0 20 0 145857776 26630336512 29332 33554432000 4194304 4196468 140725625093184 140697691728672 140699746412058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14881] ppid=14863 vsize=26006188 memory=0 CPUtime=0.4 cores=0-7
/proc/14865/task/14881/stat : 14881 (java) R 14863 14863 10918 0 -1 4202560 1192 0 0 0 40 0 0 0 20 0 20 0 145857776 26630336512 29332 33554432000 4194304 4196468 140725625093184 140697690677264 140699741911155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14882] ppid=14863 vsize=26006188 memory=0 CPUtime=0.42 cores=0-7
/proc/14865/task/14882/stat : 14882 (java) S 14863 14863 10918 0 -1 1077944384 2175 0 0 0 42 0 0 0 20 0 20 0 145857776 26630336512 29332 33554432000 4194304 4196468 140725625093184 140697689634928 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14883] ppid=14863 vsize=26006188 memory=56 CPUtime=0 cores=0-7
/proc/14865/task/14883/stat : 14883 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857776 26630336512 29332 33554432000 4194304 4196468 140725625093184 140697688583136 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14884] ppid=14863 vsize=26006188 memory=3286 CPUtime=0 cores=0-7
/proc/14865/task/14884/stat : 14884 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857777 26630336512 29332 33554432000 4194304 4196468 140725625093184 140697687530672 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 118712 KiB

[startup+1.20876 s]
/proc/loadavg: 3.50 6.41 7.37 6/200 14884
/proc/meminfo: memFree=27062200/32770624 swapFree=67108860/67108860
[pid=14863] ppid=14860 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14863/stat : 14863 (xcsp3-exec) S 14860 14863 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857770 9740288 346 33554432000 4194304 5098028 140735699896944 140735699895048 140720083997308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12357632 140735699903590 140735699903799 140735699903799 140735699906539 0
/proc/14863/statm: 2378 346 289 221 0 87 0
[pid=14865] ppid=14863 vsize=26538700 memory=202288 CPUtime=4.25 cores=0-7
/proc/14865/stat : 14865 (java) S 14863 14863 10918 0 -1 1077944320 15439 0 0 0 417 8 0 0 20 0 28 0 145857770 27175628800 50572 33554432000 4194304 4196468 140725625093184 140725625075728 140699760389879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
/proc/14865/statm: 6634675 50572 3245 1 0 6621909 0
[pid=14865/tid=14866] ppid=14863 vsize=26538700 memory=6791534058613427641 CPUtime=1.06 cores=0-7
/proc/14865/task/14866/stat : 14866 (java) S 14863 14863 10918 0 -1 1077944384 6738 0 0 0 102 4 0 0 20 0 28 0 145857771 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699764630656 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14867] ppid=14863 vsize=26538700 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/14865/task/14867/stat : 14867 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699713010704 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14868] ppid=14863 vsize=26538700 memory=14691894252800580 CPUtime=0 cores=0-7
/proc/14865/task/14868/stat : 14868 (java) S 14863 14863 10918 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699711958160 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14869] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14869/stat : 14869 (java) S 14863 14863 10918 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699710905104 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14870] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14870/stat : 14870 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699709852560 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14871] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14871/stat : 14871 (java) S 14863 14863 10918 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699708799504 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14872] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14872/stat : 14872 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699707746960 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14873] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14873/stat : 14873 (java) S 14863 14863 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699312191760 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14874] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14874/stat : 14874 (java) S 14863 14863 10918 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 145857772 27175628800 50572 33554432000 4194304 4196468 140725625093184 140699311139216 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14875] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14875/stat : 14875 (java) S 14863 14863 10918 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 145857773 27175628800 50572 33554432000 4194304 4196468 140725625093184 140698032716528 140699760401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14876] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14876/stat : 14876 (java) S 14863 14863 10918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145857773 27175628800 50572 33554432000 4194304 4196468 140725625093184 140698031662752 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14877] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14877/stat : 14877 (java) S 14863 14863 10918 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 145857774 27175628800 50572 33554432000 4194304 4196468 140725625093184 140698030609648 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14878] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14878/stat : 14878 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857776 27175628800 50572 33554432000 4194304 4196468 140725625093184 140698029558224 140699760408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14879] ppid=14863 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7
/proc/14865/task/14879/stat : 14879 (java) R 14863 14863 10918 0 -1 4202560 1762 0 0 0 67 1 0 0 20 0 28 0 145857776 27175628800 50572 33554432000 4194304 4196468 140725625093184 140697692783904 140699737986928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14880] ppid=14863 vsize=26538700 memory=288230574492221466 CPUtime=0.69 cores=0-7
/proc/14865/task/14880/stat : 14880 (java) R 14863 14863 10918 0 -1 4202560 1251 0 0 0 69 0 0 0 20 0 28 0 145857776 27175628800 50572 33554432000 4194304 4196468 140725625093184 140697691739712 140699743888720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14881] ppid=14863 vsize=26538700 memory=288230621803970871 CPUtime=0.8 cores=0-7
/proc/14865/task/14881/stat : 14881 (java) R 14863 14863 10918 0 -1 4202560 1550 0 0 0 80 0 0 0 20 0 28 0 145857776 27175628800 50572 33554432000 4194304 4196468 140725625093184 140697690673664 140699745313506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14882] ppid=14863 vsize=26538700 memory=14691894252800580 CPUtime=0.48 cores=0-7
/proc/14865/task/14882/stat : 14882 (java) S 14863 14863 10918 0 -1 1077944384 2315 0 0 0 48 0 0 0 20 0 28 0 145857776 27175628800 50572 33554432000 4194304 4196468 140725625093184 140697689634928 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14883] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14883/stat : 14883 (java) S 14863 14863 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857776 27175628800 50572 33554432000 4194304 4196468 140725625093184 140697688583136 140699760400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
[pid=14865/tid=14884] ppid=14863 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14865/task/14884/stat : 14884 (java) S 14863 14863 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857777 27175628800 50572 33554432000 4194304 4196468 140725625093184 140697687530672 140699760401026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17510400 140725625099410 140725625099587 140725625099587 140725625102287 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 203672 KiB

Child status: 0
Real time (s): 1.26064
CPU time (s): 4.50337
CPU user time (s): 4.41165
CPU system time (s): 0.091717
CPU usage (%): 357.23
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 203672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.41165
system time used= 0.091717
maximum resident set size= 204900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2993
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 14863
#   total CPU time (s): 4.50337
#   total CPU user time (s): 4.41165
#   total CPU system time (s): 0.091717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041454 second user time and 0.046577 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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.131742
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":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
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 4281049

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
