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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	SAT (TO)	12	2520.32	635.474
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 (2809 MiB free)
  memory of node 1: 16384 MiB (3326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403701-1568988401/watcher-4403701-1568988401 -o /var/tmp/evaluation-result-4403701-1568988401/solver-4403701-1568988401 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1336046598 HOME/instance-4403701-1568988401.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2930, runsolver pid=2927

[startup+0.100427 s]*
/proc/loadavg: 8.11 8.22 6.62 7/235 2946
/proc/meminfo: memFree=6268244/32770624 swapFree=66952576/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0
[pid=2932] ppid=2930 vsize=15144776 memory=27432 CPUtime=0.13 cores=1,3,5,7
/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 5834 0 0 0 12 1 0 0 20 0 15 0 475095716 15508250624 6858 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3786194 6858 3118 1 0 3748377 0
[pid=2932/tid=2933] ppid=2930 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) R 2930 2930 1883 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 475095716 15508250624 6924 33554432000 4194304 4196468 140722001547584 140476067986256 140476047799653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 6924 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15144776 memory=139849457530496 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15144776 memory=139849457530496 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095718 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095719 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475530507808 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095719 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475529454960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) R 2930 2930 1883 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 475095721 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475527350640 140476063767170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) R 2930 2930 1883 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 15 0 475095721 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475526297840 140476041588880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15144776 memory=139849457530496 CPUtime=0.01 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) R 2930 2930 1883 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 15 0 475095721 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475525245040 140476055993150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15144776 memory=139849457530496 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095722 15508250624 6924 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28884 KiB

[startup+0.212503 s]*
/proc/loadavg: 8.11 8.22 6.62 6/235 2946
/proc/meminfo: memFree=6255784/32770624 swapFree=66952576/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0
[pid=2932] ppid=2930 vsize=15144776 memory=39224 CPUtime=0.34 cores=1,3,5,7
/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 9542 0 0 0 32 2 0 0 20 0 15 0 475095716 15508250624 9806 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3786194 9806 3282 1 0 3748377 0
[pid=2932/tid=2933] ppid=2930 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) R 2930 2930 1883 0 -1 4202560 6624 0 0 0 19 1 0 0 20 0 15 0 475095716 15508250624 9806 33554432000 4194304 4196468 140722001547584 140476067985744 140476043982910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 9806 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15144776 memory=139849460751419 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15144776 memory=139849457530496 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475095718 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095719 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475530507808 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095719 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475529454960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) S 2930 2930 1883 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 475095721 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475527350640 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) S 2930 2930 1883 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 15 0 475095721 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475526297840 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15144776 memory=139849457530496 CPUtime=0.08 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) R 2930 2930 1883 0 -1 4202560 932 0 0 0 8 0 0 0 20 0 15 0 475095721 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475525244848 140476042890499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095722 15508250624 9806 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40676 KiB

[startup+0.312791 s]*
/proc/loadavg: 8.11 8.22 6.62 8/235 2946
/proc/meminfo: memFree=6247612/32770624 swapFree=66952576/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0
[pid=2932] ppid=2930 vsize=15149032 memory=48952 CPUtime=0.53 cores=1,3,5,7
/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 11046 0 0 0 50 3 0 0 20 0 15 0 475095716 15512608768 12238 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3787258 12238 3374 1 0 3748377 0
[pid=2932/tid=2933] ppid=2930 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) R 2930 2930 1883 0 -1 4202560 7765 0 0 0 27 2 0 0 20 0 15 0 475095716 15512608768 12265 33554432000 4194304 4196468 140722001547584 140476067987136 140476063777949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15512608768 12265 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475095718 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095719 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475530507808 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095719 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475529454960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) R 2930 2930 1883 0 -1 4202560 510 0 0 0 4 0 0 0 20 0 15 0 475095721 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475527350640 140476045276416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) S 2930 2930 1883 0 -1 1077944384 331 0 0 0 4 0 0 0 20 0 15 0 475095721 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475526297840 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) S 2930 2930 1883 0 -1 1077944384 1152 0 0 0 12 0 0 0 20 0 15 0 475095721 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475525245040 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095722 15512608768 12265 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50404 KiB

[startup+0.701167 s]
/proc/loadavg: 8.11 8.22 6.62 8/235 2946
/proc/meminfo: memFree=6225744/32770624 swapFree=66952576/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0
[pid=2932] ppid=2930 vsize=15151156 memory=87820 CPUtime=1.71 cores=1,3,5,7
/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 16131 0 0 0 165 6 0 0 20 0 15 0 475095716 15514783744 21955 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3787789 21955 3451 1 0 3748889 0
[pid=2932/tid=2933] ppid=2930 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) R 2930 2930 1883 0 -1 4202560 9269 0 0 0 64 4 0 0 20 0 15 0 475095716 15514783744 22467 33554432000 4194304 4196468 140722001547584 140476067990864 140475704947552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15151156 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15514783744 22467 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095717 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095717 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15151156 memory=40184 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475095718 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095719 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475530507808 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095719 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475529454960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15151156 memory=1044 CPUtime=0.3 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) R 2930 2930 1883 0 -1 4202560 1286 0 0 0 30 0 0 0 20 0 15 0 475095721 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475527331656 140476047252811 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15151156 memory=708 CPUtime=0.31 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) R 2930 2930 1883 0 -1 4202560 1508 0 0 0 31 0 0 0 20 0 15 0 475095721 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475526297840 140476047667088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15151156 memory=9364 CPUtime=0.4 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) S 2930 2930 1883 0 -1 1077944384 2760 0 0 0 39 1 0 0 20 0 15 0 475095721 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475525245040 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095721 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095722 15514783744 22467 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89272 KiB

[startup+1.50821 s]
/proc/loadavg: 8.11 8.22 6.62 8/235 2946
/proc/meminfo: memFree=6151408/32770624 swapFree=66952576/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0

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

/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 90974 0 0 0 207094 58 0 0 20 0 19 0 475095716 15789527040 122691 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3854865 122691 3540 1 0 3815965 0
[pid=2932/tid=2933] ppid=2930 vsize=15419460 memory=490604 CPUtime=1.24 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) S 2930 2930 1883 0 -1 1077944384 11693 0 0 0 119 5 0 0 20 0 19 0 475095716 15789527040 122691 33554432000 4194304 4196468 140722001547584 140476067996800 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15419460 memory=490764 CPUtime=1.29 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 2498 0 0 0 120 9 0 0 20 0 19 0 475095717 15789527040 122691 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15419460 memory=1452 CPUtime=1.29 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 3130 0 0 0 119 10 0 0 20 0 19 0 475095717 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15419460 memory=490764 CPUtime=1.3 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 4046 0 0 0 120 10 0 0 20 0 19 0 475095717 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15419460 memory=1452 CPUtime=1.29 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2265 0 0 0 120 9 0 0 20 0 19 0 475095717 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15419460 memory=1452 CPUtime=0.63 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 6868 0 0 0 56 7 0 0 20 0 19 0 475095718 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15419460 memory=492144 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475095719 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475530507872 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475095719 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475529454976 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15419460 memory=17114 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095721 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15419460 memory=6944656592455360604 CPUtime=2.06 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) S 2930 2930 1883 0 -1 1077944384 12339 0 0 0 205 1 0 0 20 0 19 0 475095721 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475527350640 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15419460 memory=9364 CPUtime=2.23 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) S 2930 2930 1883 0 -1 1077944384 14750 0 0 0 222 1 0 0 20 0 19 0 475095721 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475526297840 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15419460 memory=1120 CPUtime=0.76 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) S 2930 2930 1883 0 -1 1077944384 10472 0 0 0 75 1 0 0 20 0 19 0 475095721 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475525245040 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095721 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15419460 memory=490604 CPUtime=0.1 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 387 0 0 0 0 10 0 0 20 0 19 0 475095722 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2959] ppid=2930 vsize=15419460 memory=1284 CPUtime=514.89 cores=1,3,5,7
/proc/2932/task/2959/stat : 2959 (java) R 2930 2930 1883 0 -1 4202560 1384 0 0 0 51488 1 0 0 20 0 19 0 475095886 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475511000480 140475708577956 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2960] ppid=2930 vsize=15419460 memory=1044 CPUtime=514.13 cores=1,3,5,7
/proc/2932/task/2960/stat : 2960 (java) R 2930 2930 1883 0 -1 4202560 6736 0 0 0 51411 2 0 0 20 0 19 0 475095886 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475512053560 140475707707379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2961] ppid=2930 vsize=15419460 memory=1452 CPUtime=515.14 cores=1,3,5,7
/proc/2932/task/2961/stat : 2961 (java) R 2930 2930 1883 0 -1 4202560 1808 0 0 0 51513 1 0 0 20 0 19 0 475095886 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475514159416 140475709274847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2962] ppid=2930 vsize=15419460 memory=1452 CPUtime=514.01 cores=1,3,5,7
/proc/2932/task/2962/stat : 2962 (java) R 2930 2930 1883 0 -1 4202560 10799 0 0 0 51399 2 0 0 20 0 19 0 475095886 15789527040 122691 33554432000 4194304 4196468 140722001547584 140475513109424 140475707802825 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 2071.52 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 492216 KiB

[startup+582.301 s]
/proc/loadavg: 8.23 8.38 7.45 10/236 3014
/proc/meminfo: memFree=5271632/32770624 swapFree=66952580/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0
[pid=2932] ppid=2930 vsize=15419460 memory=486688 CPUtime=2309.36 cores=1,3,5,7
/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 96626 0 0 0 230875 61 0 0 20 0 19 0 475095716 15789527040 121672 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3854865 121672 3540 1 0 3815965 0
[pid=2932/tid=2933] ppid=2930 vsize=15419460 memory=1452 CPUtime=1.24 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) S 2930 2930 1883 0 -1 1077944384 11693 0 0 0 119 5 0 0 20 0 19 0 475095716 15789527040 121672 33554432000 4194304 4196468 140722001547584 140476067996800 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15419460 memory=486688 CPUtime=1.5 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 3181 0 0 0 141 9 0 0 20 0 19 0 475095717 15789527040 121672 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15419460 memory=1452 CPUtime=1.49 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 3307 0 0 0 139 10 0 0 20 0 19 0 475095717 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15419460 memory=1452 CPUtime=1.5 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 4249 0 0 0 140 10 0 0 20 0 19 0 475095717 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15419460 memory=3580 CPUtime=1.49 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2501 0 0 0 140 9 0 0 20 0 19 0 475095717 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15419460 memory=40200 CPUtime=0.74 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 7138 0 0 0 65 9 0 0 20 0 19 0 475095718 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15419460 memory=489764 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475095719 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475530507872 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475095719 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475529454976 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15419460 memory=492144 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095721 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15419460 memory=1452 CPUtime=2.06 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) S 2930 2930 1883 0 -1 1077944384 12340 0 0 0 205 1 0 0 20 0 19 0 475095721 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475527350640 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15419460 memory=2120 CPUtime=2.23 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) S 2930 2930 1883 0 -1 1077944384 14750 0 0 0 222 1 0 0 20 0 19 0 475095721 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475526297840 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15419460 memory=486688 CPUtime=0.77 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) S 2930 2930 1883 0 -1 1077944384 11052 0 0 0 75 2 0 0 20 0 19 0 475095721 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475525245040 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095721 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15419460 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 406 0 0 0 0 11 0 0 20 0 19 0 475095722 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2959] ppid=2930 vsize=15419460 memory=1452 CPUtime=574.07 cores=1,3,5,7
/proc/2932/task/2959/stat : 2959 (java) R 2930 2930 1883 0 -1 4202560 1607 0 0 0 57406 1 0 0 20 0 19 0 475095886 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475511000320 140475707603937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2960] ppid=2930 vsize=15419460 memory=486688 CPUtime=573.42 cores=1,3,5,7
/proc/2932/task/2960/stat : 2960 (java) R 2930 2930 1883 0 -1 4202560 7507 0 0 0 57340 2 0 0 20 0 19 0 475095886 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475512054200 140475707707379 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2961] ppid=2930 vsize=15419460 memory=1452 CPUtime=574.33 cores=1,3,5,7
/proc/2932/task/2961/stat : 2961 (java) R 2930 2930 1883 0 -1 4202560 2140 0 0 0 57432 1 0 0 20 0 19 0 475095886 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475514158528 140475709274873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2962] ppid=2930 vsize=15419460 memory=488740 CPUtime=573.24 cores=1,3,5,7
/proc/2932/task/2962/stat : 2962 (java) R 2930 2930 1883 0 -1 4202560 12956 0 0 0 57321 3 0 0 20 0 19 0 475095886 15789527040 121672 33554432000 4194304 4196468 140722001547584 140475513109888 140475707717216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 2309.36 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 488140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+635.401 s]
/proc/loadavg: 8.45 8.41 7.51 9/236 3260
/proc/meminfo: memFree=6396116/32770624 swapFree=66952580/67108860
[pid=2930] ppid=2927 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (xcsp3-exec) S 2927 2930 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095715 115843072 363 33554432000 4194304 5098028 140726033436752 140726033434856 140168490963580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7999488 140726033445718 140726033445977 140726033445977 140726033448902 0
/proc/2930/statm: 28282 363 304 221 0 87 0
[pid=2932] ppid=2930 vsize=15419460 memory=525384 CPUtime=2520.04 cores=1,3,5,7
/proc/2932/stat : 2932 (java) S 2930 2930 1883 0 -1 1077944320 107194 0 0 0 251939 65 0 0 20 0 19 0 475095716 15789527040 131346 33554432000 4194304 4196468 140722001547584 140722001530128 140476063756023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
/proc/2932/statm: 3854865 131346 3541 1 0 3815965 0
[pid=2932/tid=2933] ppid=2930 vsize=15419460 memory=1724 CPUtime=1.24 cores=1,3,5,7
/proc/2932/task/2933/stat : 2933 (java) S 2930 2930 1883 0 -1 1077944384 11693 0 0 0 119 5 0 0 20 0 19 0 475095716 15789527040 131346 33554432000 4194304 4196468 140722001547584 140476067996800 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2934] ppid=2930 vsize=15419460 memory=8080 CPUtime=1.82 cores=1,3,5,7
/proc/2932/task/2934/stat : 2934 (java) S 2930 2930 1883 0 -1 1077944384 3385 0 0 0 172 10 0 0 20 0 19 0 475095717 15789527040 131346 33554432000 4194304 4196468 140722001547584 140476033469072 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2935] ppid=2930 vsize=15419460 memory=3624 CPUtime=1.81 cores=1,3,5,7
/proc/2932/task/2935/stat : 2935 (java) S 2930 2930 1883 0 -1 1077944384 3486 0 0 0 171 10 0 0 20 0 19 0 475095717 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475655391760 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2936] ppid=2930 vsize=15419460 memory=1556 CPUtime=1.81 cores=1,3,5,7
/proc/2932/task/2936/stat : 2936 (java) S 2930 2930 1883 0 -1 1077944384 4434 0 0 0 171 10 0 0 20 0 19 0 475095717 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475654338960 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2937] ppid=2930 vsize=15419460 memory=2832 CPUtime=1.81 cores=1,3,5,7
/proc/2932/task/2937/stat : 2937 (java) S 2930 2930 1883 0 -1 1077944384 2698 0 0 0 171 10 0 0 20 0 19 0 475095717 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475653286160 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2938] ppid=2930 vsize=15419460 memory=984 CPUtime=0.85 cores=1,3,5,7
/proc/2932/task/2938/stat : 2938 (java) S 2930 2930 1883 0 -1 1077944384 11342 0 0 0 74 11 0 0 20 0 19 0 475095718 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475531561840 140476063767170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2939] ppid=2930 vsize=15419460 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2939/stat : 2939 (java) S 2930 2930 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475095719 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475530507872 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2940] ppid=2930 vsize=15419460 memory=15300 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2940/stat : 2940 (java) S 2930 2930 1883 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475095719 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475529454976 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2941] ppid=2930 vsize=15419460 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2941/stat : 2941 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095721 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475528403280 140476063774619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2942] ppid=2930 vsize=15419460 memory=12036 CPUtime=2.08 cores=1,3,5,7
/proc/2932/task/2942/stat : 2942 (java) S 2930 2930 1883 0 -1 1077944384 12884 0 0 0 207 1 0 0 20 0 19 0 475095721 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475527350640 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2943] ppid=2930 vsize=15419460 memory=496 CPUtime=2.23 cores=1,3,5,7
/proc/2932/task/2943/stat : 2943 (java) S 2930 2930 1883 0 -1 1077944384 14752 0 0 0 222 1 0 0 20 0 19 0 475095721 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475526297840 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2944] ppid=2930 vsize=15419460 memory=1452 CPUtime=0.77 cores=1,3,5,7
/proc/2932/task/2944/stat : 2944 (java) S 2930 2930 1883 0 -1 1077944384 11219 0 0 0 75 2 0 0 20 0 19 0 475095721 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475525245040 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2945] ppid=2930 vsize=15419460 memory=526408 CPUtime=0 cores=1,3,5,7
/proc/2932/task/2945/stat : 2945 (java) S 2930 2930 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095721 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475524192480 140476063766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2946] ppid=2930 vsize=15419460 memory=2792 CPUtime=0.12 cores=1,3,5,7
/proc/2932/task/2946/stat : 2946 (java) S 2930 2930 1883 0 -1 1077944384 419 0 0 0 0 12 0 0 20 0 19 0 475095722 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475523140784 140476063767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2959] ppid=2930 vsize=15419460 memory=1456 CPUtime=626.49 cores=1,3,5,7
/proc/2932/task/2959/stat : 2959 (java) R 2930 2930 1883 0 -1 4202560 1735 0 0 0 62648 1 0 0 20 0 19 0 475095886 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475510999944 140475706890453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2960] ppid=2930 vsize=15419460 memory=522028 CPUtime=625.7 cores=1,3,5,7
/proc/2932/task/2960/stat : 2960 (java) R 2930 2930 1883 0 -1 4202560 8437 0 0 0 62568 2 0 0 20 0 19 0 475095886 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475512056448 140475709371729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2961] ppid=2930 vsize=15419460 memory=1164 CPUtime=626.68 cores=1,3,5,7
/proc/2932/task/2961/stat : 2961 (java) R 2930 2930 1883 0 -1 4202560 2269 0 0 0 62667 1 0 0 20 0 19 0 475095886 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475514159064 140475707603932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
[pid=2932/tid=2962] ppid=2930 vsize=15419460 memory=2832 CPUtime=625.46 cores=1,3,5,7
/proc/2932/task/2962/stat : 2962 (java) R 2930 2930 1883 0 -1 4202560 16642 0 0 0 62543 3 0 0 20 0 19 0 475095886 15789527040 131346 33554432000 4194304 4196468 140722001547584 140475513106912 140475707603953 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24596480 140722001552347 140722001552522 140722001552522 140722001555407 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 526836 KiB

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

[startup+635.43 s]
# the end of solver process 2930 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001174 s, system=0.001174 s

[startup+635.474 s]
# the end of solver process 2932 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.65 s, system=0.665115 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 635.474
CPU time (s): 2520.32
CPU user time (s): 2519.65
CPU system time (s): 0.665115
CPU usage (%): 396.604
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 692776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.665115
maximum resident set size= 691484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48070
involuntary context switches= 45121


# summary of solver processes directly reported to runsolver:
#   pid: 2930,2932
#   total CPU time (s): 2520.32
#   total CPU user time (s): 2519.65
#   total CPU system time (s): 0.665115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97201 second user time and 6.94285 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	28.0774
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403701

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
