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-09)	SAT	6.6908998	1.58193
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 (15048 MiB free)
  memory of node 1: 16384 MiB (15661 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271242-1502699922/watcher-4271242-1502699922 -o /tmp/evaluation-result-4271242-1502699922/solver-4271242-1502699922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502695517-30050 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1878497091 HOME/instance-4271242-1502699922.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
Current StackSize limit: 8192 KiB

solver pid=3726, runsolver pid=3723

[startup+0.100158 s]*
/proc/loadavg: 1.08 1.04 1.35 2/200 3747
/proc/meminfo: memFree=31431116/32770624 swapFree=67108860/67108860
[pid=3726] ppid=3723 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3726/stat : 3726 (xcsp3-exec) S 3723 3726 30023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103079972 9740288 346 33554432000 4194304 5098028 140732801417408 140732801415512 140705707459196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24518656 140732801422436 140732801422647 140732801422647 140732801425387 0
/proc/3726/statm: 2378 346 289 221 0 87 0
[pid=3728] ppid=3726 vsize=25999808 memory=26940 CPUtime=0.11 cores=0-7
/proc/3728/stat : 3728 (java) S 3726 3726 30023 0 -1 1077944320 5675 0 0 0 10 1 0 0 20 0 20 0 103079972 26623803392 6735 33554432000 4194304 4196468 140726490611520 140726490594064 140720027021047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
/proc/3728/statm: 6499952 6735 2847 1 0 6488269 0
[pid=3728/tid=3729] ppid=3726 vsize=25999808 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/3728/task/3729/stat : 3729 (java) R 3726 3726 30023 0 -1 4202560 3681 0 0 0 8 1 0 0 20 0 20 0 103079972 26623803392 6735 33554432000 4194304 4196468 140726490611520 140720031254320 140720027042973 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3730] ppid=3726 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3728/task/3730/stat : 3730 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719979642000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3731] ppid=3726 vsize=25999808 memory=139652005332608 CPUtime=0 cores=0-7
/proc/3728/task/3731/stat : 3731 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719978589200 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3732] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3732/stat : 3732 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719977536400 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3733] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3733/stat : 3733 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719976483600 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3734] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3734/stat : 3734 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719975430800 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3735] ppid=3726 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3728/task/3735/stat : 3735 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719974378000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3736] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3736/stat : 3736 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719579068816 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3737] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3737/stat : 3737 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26623803392 6735 33554432000 4194304 4196468 140726490611520 140719578016016 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3738] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3738/stat : 3738 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079974 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718769073008 140720027032194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3739] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3739/stat : 3739 (java) S 3726 3726 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103079975 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718768018976 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3740] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3740/stat : 3740 (java) S 3726 3726 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103079975 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718766966128 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3741] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3741/stat : 3741 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079977 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718697867600 140720027039643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3742] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3742/stat : 3742 (java) S 3726 3726 30023 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 103079977 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718696814960 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3743] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3743/stat : 3743 (java) S 3726 3726 30023 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 103079977 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718695762160 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3744] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3744/stat : 3744 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079977 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718694709360 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3745] ppid=3726 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/3728/task/3745/stat : 3745 (java) S 3726 3726 30023 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 103079977 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718693656560 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3746] ppid=3726 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3746/stat : 3746 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079978 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718692605024 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3747] ppid=3726 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3728/task/3747/stat : 3747 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079978 26623803392 6735 33554432000 4194304 4196468 140726490611520 140718691552304 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28324 KiB

[startup+0.210266 s]*
/proc/loadavg: 1.08 1.04 1.35 2/200 3747
/proc/meminfo: memFree=31420208/32770624 swapFree=67108860/67108860
[pid=3726] ppid=3723 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3726/stat : 3726 (xcsp3-exec) S 3723 3726 30023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103079972 9740288 346 33554432000 4194304 5098028 140732801417408 140732801415512 140705707459196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24518656 140732801422436 140732801422647 140732801422647 140732801425387 0
/proc/3726/statm: 2378 346 289 221 0 87 0
[pid=3728] ppid=3726 vsize=26004064 memory=39024 CPUtime=0.33 cores=0-7
/proc/3728/stat : 3728 (java) S 3726 3726 30023 0 -1 1077944320 8329 0 0 0 30 3 0 0 20 0 20 0 103079972 26628161536 9756 33554432000 4194304 4196468 140726490611520 140726490594064 140720027021047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
/proc/3728/statm: 6501016 9756 3015 1 0 6488269 0
[pid=3728/tid=3729] ppid=3726 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3728/task/3729/stat : 3729 (java) R 3726 3726 30023 0 -1 4202560 5445 0 0 0 17 2 0 0 20 0 20 0 103079972 26628161536 9756 33554432000 4194304 4196468 140726490611520 140720031235056 140720019699061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3730] ppid=3726 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/3728/task/3730/stat : 3730 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719979642000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3731] ppid=3726 vsize=26004064 memory=288370028157044352 CPUtime=0 cores=0-7
/proc/3728/task/3731/stat : 3731 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719978589200 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3732] ppid=3726 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3728/task/3732/stat : 3732 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719977536400 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3733] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3733/stat : 3733 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719976483600 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3734] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3734/stat : 3734 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719975430800 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3735] ppid=3726 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3728/task/3735/stat : 3735 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719974378000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3736] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3736/stat : 3736 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719579068816 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3737] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3737/stat : 3737 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 9756 33554432000 4194304 4196468 140726490611520 140719578016016 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3738] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3738/stat : 3738 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079974 26628161536 9756 33554432000 4194304 4196468 140726490611520 140718769073008 140720027032194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3739] ppid=3726 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3739/stat : 3739 (java) S 3726 3726 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103079975 26628194304 9756 33554432000 4194304 4196468 140726490611520 140718768018976 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3740] ppid=3726 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3740/stat : 3740 (java) S 3726 3726 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103079975 26628194304 9756 33554432000 4194304 4196468 140726490611520 140718766966128 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3741] ppid=3726 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3741/stat : 3741 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079977 26628194304 9756 33554432000 4194304 4196468 140726490611520 140718697867600 140720027039643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3742] ppid=3726 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3742/stat : 3742 (java) S 3726 3726 30023 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 20 0 103079977 26628194304 9756 33554432000 4194304 4196468 140726490611520 140718696814960 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3743] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3743/stat : 3743 (java) S 3726 3726 30023 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 103079977 26628161536 9776 33554432000 4194304 4196468 140726490611520 140718695762160 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3744] ppid=3726 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/3728/task/3744/stat : 3744 (java) S 3726 3726 30023 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 103079977 26628161536 9776 33554432000 4194304 4196468 140726490611520 140718694709360 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3745] ppid=3726 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/3728/task/3745/stat : 3745 (java) S 3726 3726 30023 0 -1 1077944384 696 0 0 0 8 0 0 0 20 0 20 0 103079977 26628161536 9776 33554432000 4194304 4196468 140726490611520 140718693656560 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3746] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3746/stat : 3746 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079978 26628161536 9776 33554432000 4194304 4196468 140726490611520 140718692605024 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3747] ppid=3726 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3728/task/3747/stat : 3747 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079978 26628161536 9776 33554432000 4194304 4196468 140726490611520 140718691552304 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40408 KiB

[startup+0.309357 s]*
/proc/loadavg: 1.08 1.04 1.35 3/200 3747
/proc/meminfo: memFree=31415524/32770624 swapFree=67108860/67108860
[pid=3726] ppid=3723 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3726/stat : 3726 (xcsp3-exec) S 3723 3726 30023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103079972 9740288 346 33554432000 4194304 5098028 140732801417408 140732801415512 140705707459196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24518656 140732801422436 140732801422647 140732801422647 140732801425387 0
/proc/3726/statm: 2378 346 289 221 0 87 0
[pid=3728] ppid=3726 vsize=26004064 memory=43936 CPUtime=0.49 cores=0-7
/proc/3728/stat : 3728 (java) S 3726 3726 30023 0 -1 1077944320 9222 0 0 0 45 4 0 0 20 0 20 0 103079972 26628161536 10984 33554432000 4194304 4196468 140726490611520 140726490594064 140720027021047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
/proc/3728/statm: 6501016 10984 3069 1 0 6488269 0
[pid=3728/tid=3729] ppid=3726 vsize=26004064 memory=6935054825532540783 CPUtime=0.28 cores=0-7
/proc/3728/task/3729/stat : 3729 (java) R 3726 3726 30023 0 -1 4202560 6115 0 0 0 26 2 0 0 20 0 20 0 103079972 26628161536 10984 33554432000 4194304 4196468 140726490611520 140720031258864 140719654301443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3730] ppid=3726 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3728/task/3730/stat : 3730 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719979642000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3731] ppid=3726 vsize=26004064 memory=4048 CPUtime=0 cores=0-7
/proc/3728/task/3731/stat : 3731 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719978589200 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3732] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3732/stat : 3732 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719977536400 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3733] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3733/stat : 3733 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719976483600 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3734] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3734/stat : 3734 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719975430800 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3735] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3735/stat : 3735 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719974378000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3736] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3736/stat : 3736 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719579068816 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3737] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3737/stat : 3737 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26628161536 10984 33554432000 4194304 4196468 140726490611520 140719578016016 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3738] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3738/stat : 3738 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079974 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718769073008 140720027032194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3739] ppid=3726 vsize=26004064 memory=139651868362191 CPUtime=0 cores=0-7
/proc/3728/task/3739/stat : 3739 (java) S 3726 3726 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103079975 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718768018976 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3740] ppid=3726 vsize=26004064 memory=279303736719760 CPUtime=0 cores=0-7
/proc/3728/task/3740/stat : 3740 (java) S 3726 3726 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103079975 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718766966128 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3741] ppid=3726 vsize=26004064 memory=279303736717456 CPUtime=0 cores=0-7
/proc/3728/task/3741/stat : 3741 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079977 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718697867600 140720027039643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3742] ppid=3726 vsize=26004064 memory=279303736733584 CPUtime=0.01 cores=0-7
/proc/3728/task/3742/stat : 3742 (java) S 3726 3726 30023 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 103079977 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718696814960 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3743] ppid=3726 vsize=26004064 memory=279303736731280 CPUtime=0.02 cores=0-7
/proc/3728/task/3743/stat : 3743 (java) S 3726 3726 30023 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 103079977 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718695762160 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3744] ppid=3726 vsize=26004064 memory=279303736738192 CPUtime=0.02 cores=0-7
/proc/3728/task/3744/stat : 3744 (java) S 3726 3726 30023 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 103079977 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718694709360 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3745] ppid=3726 vsize=26004064 memory=279303736679472 CPUtime=0.12 cores=0-7
/proc/3728/task/3745/stat : 3745 (java) R 3726 3726 30023 0 -1 4202560 823 0 0 0 12 0 0 0 20 0 20 0 103079977 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718693652512 140720020117883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3746] ppid=3726 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3746/stat : 3746 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079978 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718692605024 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3747] ppid=3726 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3728/task/3747/stat : 3747 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079978 26628161536 10984 33554432000 4194304 4196468 140726490611520 140718691552304 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45320 KiB

[startup+0.700899 s]
/proc/loadavg: 1.08 1.04 1.35 5/200 3747
/proc/meminfo: memFree=31392448/32770624 swapFree=67108860/67108860
[pid=3726] ppid=3723 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3726/stat : 3726 (xcsp3-exec) S 3723 3726 30023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103079972 9740288 346 33554432000 4194304 5098028 140732801417408 140732801415512 140705707459196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24518656 140732801422436 140732801422647 140732801422647 140732801425387 0
/proc/3726/statm: 2378 346 289 221 0 87 0
[pid=3728] ppid=3726 vsize=26006188 memory=96120 CPUtime=1.99 cores=0-7
/proc/3728/stat : 3728 (java) S 3726 3726 30023 0 -1 1077944320 14642 0 0 0 192 7 0 0 20 0 20 0 103079972 26630336512 24030 33554432000 4194304 4196468 140726490611520 140726490594064 140720027021047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
/proc/3728/statm: 6501547 24030 3199 1 0 6488781 0
[pid=3728/tid=3729] ppid=3726 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/3728/task/3729/stat : 3729 (java) R 3726 3726 30023 0 -1 4202560 6720 0 0 0 63 4 0 0 20 0 20 0 103079972 26630336512 24030 33554432000 4194304 4196468 140726490611520 140720031255664 140719656943548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3730] ppid=3726 vsize=26006188 memory=279303736779840 CPUtime=0 cores=0-7
/proc/3728/task/3730/stat : 3730 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719979642000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3731] ppid=3726 vsize=26006188 memory=139651868566384 CPUtime=0 cores=0-7
/proc/3728/task/3731/stat : 3731 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719978589200 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3732] ppid=3726 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3732/stat : 3732 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719977536400 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3733] ppid=3726 vsize=26006188 memory=8564 CPUtime=0 cores=0-7
/proc/3728/task/3733/stat : 3733 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719976483600 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3734] ppid=3726 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/3728/task/3734/stat : 3734 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719975430800 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3735] ppid=3726 vsize=26006188 memory=12028 CPUtime=0 cores=0-7
/proc/3728/task/3735/stat : 3735 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719974378000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3736] ppid=3726 vsize=26006188 memory=5668 CPUtime=0 cores=0-7
/proc/3728/task/3736/stat : 3736 (java) S 3726 3726 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719579068816 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3737] ppid=3726 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/3728/task/3737/stat : 3737 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079973 26630336512 24030 33554432000 4194304 4196468 140726490611520 140719578016016 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3738] ppid=3726 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/3728/task/3738/stat : 3738 (java) S 3726 3726 30023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103079974 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718769073008 140720027032194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3739] ppid=3726 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/3728/task/3739/stat : 3739 (java) S 3726 3726 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103079975 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718768018976 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3740] ppid=3726 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/3728/task/3740/stat : 3740 (java) S 3726 3726 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103079975 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718766966128 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3741] ppid=3726 vsize=26006188 memory=15876 CPUtime=0 cores=0-7
/proc/3728/task/3741/stat : 3741 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079977 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718697867600 140720027039643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3742] ppid=3726 vsize=26006188 memory=33 CPUtime=0.31 cores=0-7
/proc/3728/task/3742/stat : 3742 (java) R 3726 3726 30023 0 -1 4202560 1513 0 0 0 31 0 0 0 20 0 20 0 103079977 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718696801488 140720019310496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3743] ppid=3726 vsize=26006188 memory=0 CPUtime=0.3 cores=0-7
/proc/3728/task/3743/stat : 3743 (java) R 3726 3726 30023 0 -1 4202560 1596 0 0 0 30 0 0 0 20 0 20 0 103079977 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718695743712 140720010517835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3744] ppid=3726 vsize=26006188 memory=0 CPUtime=0.26 cores=0-7
/proc/3728/task/3744/stat : 3744 (java) R 3726 3726 30023 0 -1 4202560 1297 0 0 0 26 0 0 0 20 0 20 0 103079977 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718694695440 140720011420577 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3745] ppid=3726 vsize=26006188 memory=0 CPUtime=0.4 cores=0-7
/proc/3728/task/3745/stat : 3745 (java) S 3726 3726 30023 0 -1 1077944384 2223 0 0 0 40 0 0 0 20 0 20 0 103079977 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718693656560 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3746] ppid=3726 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3746/stat : 3746 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103079978 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718692605024 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3747] ppid=3726 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3747/stat : 3747 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103079978 26630336512 24030 33554432000 4194304 4196468 140726490611520 140718691552304 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 97504 KiB

[startup+1.50093 s]
/proc/loadavg: 1.08 1.04 1.35 5/200 3747
/proc/meminfo: memFree=31278620/32770624 swapFree=67108860/67108860
[pid=3726] ppid=3723 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3726/stat : 3726 (xcsp3-exec) S 3723 3726 30023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103079972 9740288 346 33554432000 4194304 5098028 140732801417408 140732801415512 140705707459196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24518656 140732801422436 140732801422647 140732801422647 140732801425387 0
/proc/3726/statm: 2378 346 289 221 0 87 0
[pid=3728] ppid=3726 vsize=26538700 memory=224228 CPUtime=6.22 cores=0-7
/proc/3728/stat : 3728 (java) S 3726 3726 30023 0 -1 1077944320 30233 0 0 0 606 16 0 0 20 0 28 0 103079972 27175628800 56057 33554432000 4194304 4196468 140726490611520 140726490594064 140720027021047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
/proc/3728/statm: 6634675 56057 3252 1 0 6621909 0
[pid=3728/tid=3729] ppid=3726 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/3728/task/3729/stat : 3729 (java) S 3726 3726 30023 0 -1 1077944384 7809 0 0 0 112 6 0 0 20 0 28 0 103079972 27175628800 56057 33554432000 4194304 4196468 140726490611520 140720031261824 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3730] ppid=3726 vsize=26538700 memory=2209 CPUtime=0 cores=0-7
/proc/3728/task/3730/stat : 3730 (java) S 3726 3726 30023 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719979642000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3731] ppid=3726 vsize=26538700 memory=4580 CPUtime=0 cores=0-7
/proc/3728/task/3731/stat : 3731 (java) S 3726 3726 30023 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719978589200 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3732] ppid=3726 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3732/stat : 3732 (java) S 3726 3726 30023 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719977536400 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3733] ppid=3726 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3733/stat : 3733 (java) S 3726 3726 30023 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719976483600 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3734] ppid=3726 vsize=26538700 memory=279303736528624 CPUtime=0 cores=0-7
/proc/3728/task/3734/stat : 3734 (java) S 3726 3726 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719975430800 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3735] ppid=3726 vsize=26538700 memory=18185898167018 CPUtime=0 cores=0-7
/proc/3728/task/3735/stat : 3735 (java) S 3726 3726 30023 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719974378000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3736] ppid=3726 vsize=26538700 memory=18185898167018 CPUtime=0 cores=0-7
/proc/3728/task/3736/stat : 3736 (java) S 3726 3726 30023 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719579068816 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3737] ppid=3726 vsize=26538700 memory=18185898166762 CPUtime=0 cores=0-7
/proc/3728/task/3737/stat : 3737 (java) S 3726 3726 30023 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719578016016 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3738] ppid=3726 vsize=26538700 memory=18185898166762 CPUtime=0 cores=0-7
/proc/3728/task/3738/stat : 3738 (java) S 3726 3726 30023 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 28 0 103079974 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718769073008 140720027032194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3739] ppid=3726 vsize=26538700 memory=18185898166506 CPUtime=0 cores=0-7
/proc/3728/task/3739/stat : 3739 (java) S 3726 3726 30023 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 103079975 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718768018976 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3740] ppid=3726 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/3728/task/3740/stat : 3740 (java) S 3726 3726 30023 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 103079975 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718766966128 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3741] ppid=3726 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/3728/task/3741/stat : 3741 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718697867600 140720027039643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3742] ppid=3726 vsize=26538700 memory=6655300316396806240 CPUtime=1.04 cores=0-7
/proc/3728/task/3742/stat : 3742 (java) R 3726 3726 30023 0 -1 4202560 4905 0 0 0 103 1 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718696800112 140720007656695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3743] ppid=3726 vsize=26538700 memory=6944656592387989600 CPUtime=1.05 cores=0-7
/proc/3728/task/3743/stat : 3743 (java) R 3726 3726 30023 0 -1 1077944384 6406 0 0 0 104 1 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718695748576 140720027042237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3744] ppid=3726 vsize=26538700 memory=6944656592455097440 CPUtime=0.96 cores=0-7
/proc/3728/task/3744/stat : 3744 (java) R 3726 3726 30023 0 -1 4202560 5520 0 0 0 95 1 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718694695296 140720004823062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3745] ppid=3726 vsize=26538700 memory=4206186544037388384 CPUtime=0.52 cores=0-7
/proc/3728/task/3745/stat : 3745 (java) R 3726 3726 30023 0 -1 1077944384 3072 0 0 0 52 0 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718693656560 140720027032194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3746] ppid=3726 vsize=26538700 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/3728/task/3746/stat : 3746 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103079978 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718692605024 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3747] ppid=3726 vsize=26538700 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/3728/task/3747/stat : 3747 (java) S 3726 3726 30023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 103079978 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718691552304 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225612 KiB

[startup+1.58187 s]
# the end of solver process 3726 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.51151 s, system=0.179382 s

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

[startup+1.50093 s]
/proc/loadavg: 1.08 1.04 1.35 5/200 3747
/proc/meminfo: memFree=31278620/32770624 swapFree=67108860/67108860
[pid=3726] ppid=3723 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3726/stat : 3726 (xcsp3-exec) S 3723 3726 30023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103079972 9740288 346 33554432000 4194304 5098028 140732801417408 140732801415512 140705707459196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24518656 140732801422436 140732801422647 140732801422647 140732801425387 0
/proc/3726/statm: 2378 346 289 221 0 87 0
[pid=3728] ppid=3726 vsize=26538700 memory=224228 CPUtime=6.22 cores=0-7
/proc/3728/stat : 3728 (java) S 3726 3726 30023 0 -1 1077944320 30233 0 0 0 606 16 0 0 20 0 28 0 103079972 27175628800 56057 33554432000 4194304 4196468 140726490611520 140726490594064 140720027021047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
/proc/3728/statm: 6634675 56057 3252 1 0 6621909 0
[pid=3728/tid=3729] ppid=3726 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/3728/task/3729/stat : 3729 (java) S 3726 3726 30023 0 -1 1077944384 7809 0 0 0 112 6 0 0 20 0 28 0 103079972 27175628800 56057 33554432000 4194304 4196468 140726490611520 140720031261824 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3730] ppid=3726 vsize=26538700 memory=2209 CPUtime=0 cores=0-7
/proc/3728/task/3730/stat : 3730 (java) S 3726 3726 30023 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719979642000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3731] ppid=3726 vsize=26538700 memory=4580 CPUtime=0 cores=0-7
/proc/3728/task/3731/stat : 3731 (java) S 3726 3726 30023 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719978589200 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3732] ppid=3726 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3732/stat : 3732 (java) S 3726 3726 30023 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719977536400 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3733] ppid=3726 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3728/task/3733/stat : 3733 (java) S 3726 3726 30023 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719976483600 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3734] ppid=3726 vsize=26538700 memory=279303736528624 CPUtime=0 cores=0-7
/proc/3728/task/3734/stat : 3734 (java) S 3726 3726 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719975430800 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3735] ppid=3726 vsize=26538700 memory=18185898167018 CPUtime=0 cores=0-7
/proc/3728/task/3735/stat : 3735 (java) S 3726 3726 30023 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719974378000 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3736] ppid=3726 vsize=26538700 memory=18185898167018 CPUtime=0 cores=0-7
/proc/3728/task/3736/stat : 3736 (java) S 3726 3726 30023 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719579068816 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3737] ppid=3726 vsize=26538700 memory=18185898166762 CPUtime=0 cores=0-7
/proc/3728/task/3737/stat : 3737 (java) S 3726 3726 30023 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 103079973 27175628800 56057 33554432000 4194304 4196468 140726490611520 140719578016016 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3738] ppid=3726 vsize=26538700 memory=18185898166762 CPUtime=0 cores=0-7
/proc/3728/task/3738/stat : 3738 (java) S 3726 3726 30023 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 28 0 103079974 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718769073008 140720027032194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3739] ppid=3726 vsize=26538700 memory=18185898166506 CPUtime=0 cores=0-7
/proc/3728/task/3739/stat : 3739 (java) S 3726 3726 30023 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 103079975 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718768018976 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3740] ppid=3726 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/3728/task/3740/stat : 3740 (java) S 3726 3726 30023 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 103079975 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718766966128 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3741] ppid=3726 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/3728/task/3741/stat : 3741 (java) S 3726 3726 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718697867600 140720027039643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3742] ppid=3726 vsize=26538700 memory=6655300316396806240 CPUtime=1.04 cores=0-7
/proc/3728/task/3742/stat : 3742 (java) R 3726 3726 30023 0 -1 4202560 4905 0 0 0 103 1 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718696800112 140720007656695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3743] ppid=3726 vsize=26538700 memory=6944656592387989600 CPUtime=1.05 cores=0-7
/proc/3728/task/3743/stat : 3743 (java) R 3726 3726 30023 0 -1 1077944384 6406 0 0 0 104 1 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718695748576 140720027042237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3744] ppid=3726 vsize=26538700 memory=6944656592455097440 CPUtime=0.96 cores=0-7
/proc/3728/task/3744/stat : 3744 (java) R 3726 3726 30023 0 -1 4202560 5520 0 0 0 95 1 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718694695296 140720004823062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3745] ppid=3726 vsize=26538700 memory=4206186544037388384 CPUtime=0.52 cores=0-7
/proc/3728/task/3745/stat : 3745 (java) R 3726 3726 30023 0 -1 1077944384 3072 0 0 0 52 0 0 0 20 0 28 0 103079977 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718693656560 140720027032194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3746] ppid=3726 vsize=26538700 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/3728/task/3746/stat : 3746 (java) S 3726 3726 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103079978 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718692605024 140720027031253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
[pid=3728/tid=3747] ppid=3726 vsize=26538700 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/3728/task/3747/stat : 3747 (java) S 3726 3726 30023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 103079978 27175628800 56057 33554432000 4194304 4196468 140726490611520 140718691552304 140720027032194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21442560 140726490616978 140726490617155 140726490617155 140726490619855 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225612 KiB

Child status: 0
Real time (s): 1.58193
CPU time (s): 6.6909
CPU user time (s): 6.51151
CPU system time (s): 0.179382
CPU usage (%): 422.957
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 225612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.51151
system time used= 0.179382
maximum resident set size= 225748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2873
involuntary context switches= 81


# summary of solver processes directly reported to runsolver:
#   pid: 3726
#   total CPU time (s): 6.6909
#   total CPU user time (s): 6.51151
#   total CPU system time (s): 0.179382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034819 second user time and 0.052312 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-67-sum.xml
MD5SUM	00801377b258eec38ced8861b76e7e4d
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.286199
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":15},{"degree":5,"count":39},{"degree":6,"count":78},{"degree":7,"count":120},{"degree":8,"count":132},{"degree":9,"count":123},{"degree":10,"count":51},{"degree":11,"count":39}]
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 4271242

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
