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 (13467 MiB free)
  memory of node 1: 16384 MiB (14014 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297825-1532709089/watcher-4297825-1532709089 -o /tmp/evaluation-result-4297825-1532709089/solver-4297825-1532709089 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532704044-11171 --watchdog 2580 HOME/xcsp3-exec -seed 313088603 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297825-1532709089.xml 

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

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


[startup+0.10015 s]*
/proc/loadavg: 8.01 8.17 8.18 2/200 11949
/proc/meminfo: memFree=28124932/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
[pid=11930] ppid=11928 vsize=26104152 memory=27388 CPUtime=0.12 cores=0-7
/proc/11930/stat : 11930 (java) S 11928 11928 11144 0 -1 1077944320 5714 0 0 0 10 2 0 0 20 0 20 0 88472093 26730651648 6847 33554432000 4194304 4196468 140734808400160 140734808382704 139724884446967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
/proc/11930/statm: 6526038 6847 3037 1 0 6488315 0
[pid=11930/tid=11931] ppid=11928 vsize=26104152 memory=8328732894007564698 CPUtime=0.09 cores=0-7
/proc/11930/task/11931/stat : 11931 (java) R 11928 11928 11144 0 -1 4202560 3726 0 0 0 8 1 0 0 20 0 20 0 88472094 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724888680240 139724496952140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11932] ppid=11928 vsize=26104152 memory=732369860259556325 CPUtime=0 cores=0-7
/proc/11930/task/11932/stat : 11932 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724837067664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11933] ppid=11928 vsize=26104152 memory=139721922102912 CPUtime=0 cores=0-7
/proc/11930/task/11933/stat : 11933 (java) S 11928 11928 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724836014864 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11934] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11934/stat : 11934 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724834962576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11935] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11935/stat : 11935 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724833909776 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11936] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11936/stat : 11936 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724832856464 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11937] ppid=11928 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11930/task/11937/stat : 11937 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724831803664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11938] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11938/stat : 11938 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724830751376 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11939] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11939/stat : 11939 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 6847 33554432000 4194304 4196468 140734808400160 139724829698576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11940] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11940/stat : 11940 (java) S 11928 11928 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472096 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723156683376 139724884458114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11941] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11941/stat : 11941 (java) S 11928 11928 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472097 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723155629344 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11942] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11942/stat : 11942 (java) S 11928 11928 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472097 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723154577008 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11943] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11943/stat : 11943 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723153525328 139724884465563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11944] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11944/stat : 11944 (java) S 11928 11928 11144 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723152472176 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11945] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11945/stat : 11945 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723151419376 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11946] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11946/stat : 11946 (java) S 11928 11928 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723150367088 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11947] ppid=11928 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11930/task/11947/stat : 11947 (java) S 11928 11928 11144 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 88472099 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723149314288 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11948] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11948/stat : 11948 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723148262240 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11949] ppid=11928 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11930/task/11949/stat : 11949 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472100 26730651648 6847 33554432000 4194304 4196468 140734808400160 139723147209520 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28840 KiB

[startup+0.210463 s]*
/proc/loadavg: 8.01 8.17 8.18 3/200 11949
/proc/meminfo: memFree=28113768/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
[pid=11930] ppid=11928 vsize=26104152 memory=39508 CPUtime=0.34 cores=0-7
/proc/11930/stat : 11930 (java) S 11928 11928 11144 0 -1 1077944320 8511 0 0 0 31 3 0 0 20 0 20 0 88472093 26730651648 9877 33554432000 4194304 4196468 140734808400160 140734808382704 139724884446967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
/proc/11930/statm: 6526038 9877 3153 1 0 6488315 0
[pid=11930/tid=11931] ppid=11928 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/11930/task/11931/stat : 11931 (java) R 11928 11928 11144 0 -1 4202560 5580 0 0 0 18 2 0 0 20 0 20 0 88472094 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724888681952 139724868490597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11932] ppid=11928 vsize=26104152 memory=732369860259556325 CPUtime=0 cores=0-7
/proc/11930/task/11932/stat : 11932 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724837067664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11933] ppid=11928 vsize=26104152 memory=139721922102912 CPUtime=0 cores=0-7
/proc/11930/task/11933/stat : 11933 (java) S 11928 11928 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724836014864 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11934] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11934/stat : 11934 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724834962576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11935] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11935/stat : 11935 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724833909776 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11936] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11936/stat : 11936 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724832856464 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11937] ppid=11928 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11930/task/11937/stat : 11937 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724831803664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11938] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11938/stat : 11938 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724830751376 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11939] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11939/stat : 11939 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26730651648 9877 33554432000 4194304 4196468 140734808400160 139724829698576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11940] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11940/stat : 11940 (java) S 11928 11928 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472096 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723156683376 139724884458114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11941] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11941/stat : 11941 (java) S 11928 11928 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472097 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723155629344 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11942] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11942/stat : 11942 (java) S 11928 11928 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472097 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723154577008 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11943] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11943/stat : 11943 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723153525328 139724884465563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11944] ppid=11928 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11930/task/11944/stat : 11944 (java) S 11928 11928 11144 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 20 0 88472099 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723152472176 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11945] ppid=11928 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/11930/task/11945/stat : 11945 (java) S 11928 11928 11144 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 20 0 88472099 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723151419376 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11946] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11946/stat : 11946 (java) S 11928 11928 11144 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723150367088 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11947] ppid=11928 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/11930/task/11947/stat : 11947 (java) R 11928 11928 11144 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 88472099 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723149314288 139724884458902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11948] ppid=11928 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11948/stat : 11948 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472099 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723148262240 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11949] ppid=11928 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11930/task/11949/stat : 11949 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472100 26730651648 9877 33554432000 4194304 4196468 140734808400160 139723147209520 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40960 KiB

[startup+0.312667 s]*
/proc/loadavg: 8.01 8.17 8.18 3/200 11949
/proc/meminfo: memFree=28107316/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
[pid=11930] ppid=11928 vsize=26108408 memory=46872 CPUtime=0.52 cores=0-7
/proc/11930/stat : 11930 (java) S 11928 11928 11144 0 -1 1077944320 9437 0 0 0 48 4 0 0 20 0 20 0 88472093 26735009792 11718 33554432000 4194304 4196468 140734808400160 140734808382704 139724884446967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
/proc/11930/statm: 6527102 11718 3234 1 0 6488315 0
[pid=11930/tid=11931] ppid=11928 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11930/task/11931/stat : 11931 (java) R 11928 11928 11144 0 -1 4202560 6301 0 0 0 27 2 0 0 20 0 20 0 88472094 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724888684256 139724868527454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11932] ppid=11928 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11932/stat : 11932 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724837067664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11933] ppid=11928 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11933/stat : 11933 (java) S 11928 11928 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724836014864 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11934] ppid=11928 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11934/stat : 11934 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724834962576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11935] ppid=11928 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11935/stat : 11935 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724833909776 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11936] ppid=11928 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/11930/task/11936/stat : 11936 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724832856464 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11937] ppid=11928 vsize=26108408 memory=139721795793839 CPUtime=0 cores=0-7
/proc/11930/task/11937/stat : 11937 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724831803664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11938] ppid=11928 vsize=26108408 memory=139721795796144 CPUtime=0 cores=0-7
/proc/11930/task/11938/stat : 11938 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724830751376 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11939] ppid=11928 vsize=26108408 memory=139721795798448 CPUtime=0 cores=0-7
/proc/11930/task/11939/stat : 11939 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26735009792 11718 33554432000 4194304 4196468 140734808400160 139724829698576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11940] ppid=11928 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11940/stat : 11940 (java) S 11928 11928 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472096 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723156683376 139724884458114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11941] ppid=11928 vsize=26108408 memory=279443591603856 CPUtime=0 cores=0-7
/proc/11930/task/11941/stat : 11941 (java) S 11928 11928 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472097 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723155629344 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11942] ppid=11928 vsize=26108408 memory=279443591610768 CPUtime=0 cores=0-7
/proc/11930/task/11942/stat : 11942 (java) S 11928 11928 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472097 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723154577008 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11943] ppid=11928 vsize=26108408 memory=279443591552048 CPUtime=0 cores=0-7
/proc/11930/task/11943/stat : 11943 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472099 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723153525328 139724884465563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11944] ppid=11928 vsize=26108408 memory=279443591624592 CPUtime=0.01 cores=0-7
/proc/11930/task/11944/stat : 11944 (java) S 11928 11928 11144 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 20 0 88472099 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723152472176 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11945] ppid=11928 vsize=26108408 memory=279443591631504 CPUtime=0.03 cores=0-7
/proc/11930/task/11945/stat : 11945 (java) S 11928 11928 11144 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 20 0 88472099 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723151419376 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11946] ppid=11928 vsize=26108408 memory=279443591629200 CPUtime=0.03 cores=0-7
/proc/11930/task/11946/stat : 11946 (java) S 11928 11928 11144 0 -1 1077944384 153 0 0 0 3 0 0 0 20 0 20 0 88472099 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723150367088 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11947] ppid=11928 vsize=26108408 memory=279443591645360 CPUtime=0.12 cores=0-7
/proc/11930/task/11947/stat : 11947 (java) S 11928 11928 11144 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 88472099 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723149314288 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11948] ppid=11928 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11948/stat : 11948 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472099 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723148262240 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11949] ppid=11928 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/11930/task/11949/stat : 11949 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472100 26735009792 11718 33554432000 4194304 4196468 140734808400160 139723147209520 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48324 KiB

[startup+0.700978 s]
/proc/loadavg: 8.01 8.17 8.18 5/200 11949
/proc/meminfo: memFree=28084884/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
[pid=11930] ppid=11928 vsize=26110532 memory=107244 CPUtime=1.96 cores=0-7
/proc/11930/stat : 11930 (java) S 11928 11928 11144 0 -1 1077944320 15954 0 0 0 189 7 0 0 20 0 20 0 88472093 26737184768 26811 33554432000 4194304 4196468 140734808400160 140734808382704 139724884446967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
/proc/11930/statm: 6527633 26811 3360 1 0 6488827 0
[pid=11930/tid=11931] ppid=11928 vsize=26110532 memory=279443591940288 CPUtime=0.67 cores=0-7
/proc/11930/task/11931/stat : 11931 (java) R 11928 11928 11144 0 -1 4202560 7023 0 0 0 63 4 0 0 20 0 20 0 88472094 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724888682928 139724500526211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11932] ppid=11928 vsize=26110532 memory=5752 CPUtime=0 cores=0-7
/proc/11930/task/11932/stat : 11932 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724837067664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11933] ppid=11928 vsize=26110532 memory=4588 CPUtime=0 cores=0-7
/proc/11930/task/11933/stat : 11933 (java) S 11928 11928 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724836014864 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11934] ppid=11928 vsize=26110532 memory=1612 CPUtime=0 cores=0-7
/proc/11930/task/11934/stat : 11934 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724834962576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11935] ppid=11928 vsize=26110532 memory=1228 CPUtime=0 cores=0-7
/proc/11930/task/11935/stat : 11935 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724833909776 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11936] ppid=11928 vsize=26110532 memory=1852 CPUtime=0 cores=0-7
/proc/11930/task/11936/stat : 11936 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724832856464 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11937] ppid=11928 vsize=26110532 memory=872 CPUtime=0 cores=0-7
/proc/11930/task/11937/stat : 11937 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724831803664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11938] ppid=11928 vsize=26110532 memory=8064 CPUtime=0 cores=0-7
/proc/11930/task/11938/stat : 11938 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724830751376 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11939] ppid=11928 vsize=26110532 memory=11648 CPUtime=0 cores=0-7
/proc/11930/task/11939/stat : 11939 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472095 26737184768 26811 33554432000 4194304 4196468 140734808400160 139724829698576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11940] ppid=11928 vsize=26110532 memory=796 CPUtime=0 cores=0-7
/proc/11930/task/11940/stat : 11940 (java) S 11928 11928 11144 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88472096 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723156683376 139724884458114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11941] ppid=11928 vsize=26110532 memory=1388 CPUtime=0 cores=0-7
/proc/11930/task/11941/stat : 11941 (java) S 11928 11928 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88472097 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723155629344 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11942] ppid=11928 vsize=26110532 memory=1136 CPUtime=0 cores=0-7
/proc/11930/task/11942/stat : 11942 (java) S 11928 11928 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88472097 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723154577008 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11943] ppid=11928 vsize=26110532 memory=15872 CPUtime=0 cores=0-7
/proc/11930/task/11943/stat : 11943 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472099 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723153525328 139724884465563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11944] ppid=11928 vsize=26110532 memory=14856 CPUtime=0.25 cores=0-7
/proc/11930/task/11944/stat : 11944 (java) R 11928 11928 11144 0 -1 4202560 1806 0 0 0 25 0 0 0 20 0 20 0 88472099 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723152460288 139724884468314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11945] ppid=11928 vsize=26110532 memory=16148 CPUtime=0.34 cores=0-7
/proc/11930/task/11945/stat : 11945 (java) R 11928 11928 11144 0 -1 4202560 1626 0 0 0 34 0 0 0 20 0 20 0 88472099 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723151417776 139724867857981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11946] ppid=11928 vsize=26110532 memory=4004 CPUtime=0.29 cores=0-7
/proc/11930/task/11946/stat : 11946 (java) R 11928 11928 11144 0 -1 4202560 2000 0 0 0 29 0 0 0 20 0 20 0 88472099 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723150353112 139724884468314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11947] ppid=11928 vsize=26110532 memory=636 CPUtime=0.37 cores=0-7
/proc/11930/task/11947/stat : 11947 (java) R 11928 11928 11144 0 -1 4202560 2192 0 0 0 37 0 0 0 20 0 20 0 88472099 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723149308640 139724863880070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11948] ppid=11928 vsize=26110532 memory=1780 CPUtime=0 cores=0-7
/proc/11930/task/11948/stat : 11948 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472099 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723148262240 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11949] ppid=11928 vsize=26110532 memory=1236 CPUtime=0 cores=0-7
/proc/11930/task/11949/stat : 11949 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472100 26737184768 26811 33554432000 4194304 4196468 140734808400160 139723147209520 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 108696 KiB

[startup+1.50096 s]
/proc/loadavg: 7.69 8.10 8.16 6/200 11949
/proc/meminfo: memFree=27939760/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
[pid=11930] ppid=11928 vsize=26110532 memory=262252 CPUtime=4.94 cores=0-7
/proc/11930/stat : 11930 (java) S 11928 11928 11144 0 -1 1077944320 18733 0 0 0 480 14 0 0 20 0 20 0 88472093 26737184768 65563 33554432000 4194304 4196468 140734808400160 140734808382704 139724884446967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
/proc/11930/statm: 6527633 65563 3411 1 0 6488827 0
[pid=11930/tid=11931] ppid=11928 vsize=26110532 memory=4140 CPUtime=1.42 cores=0-7
/proc/11930/task/11931/stat : 11931 (java) R 11928 11928 11144 0 -1 4202560 7148 0 0 0 137 5 0 0 20 0 20 0 88472094 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724888687216 139724866316451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11932] ppid=11928 vsize=26110532 memory=0 CPUtime=0.01 cores=0-7
/proc/11930/task/11932/stat : 11932 (java) S 11928 11928 11144 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724837067664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11933] ppid=11928 vsize=26110532 memory=139721796020896 CPUtime=0.02 cores=0-7
/proc/11930/task/11933/stat : 11933 (java) S 11928 11928 11144 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724836014864 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11934] ppid=11928 vsize=26110532 memory=139721796020992 CPUtime=0.01 cores=0-7
/proc/11930/task/11934/stat : 11934 (java) S 11928 11928 11144 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724834962576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11935] ppid=11928 vsize=26110532 memory=139721796021088 CPUtime=0.01 cores=0-7
/proc/11930/task/11935/stat : 11935 (java) S 11928 11928 11144 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724833909776 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11936] ppid=11928 vsize=26110532 memory=139721796021184 CPUtime=0.01 cores=0-7
/proc/11930/task/11936/stat : 11936 (java) S 11928 11928 11144 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724832856464 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11937] ppid=11928 vsize=26110532 memory=139721796021280 CPUtime=0.02 cores=0-7
/proc/11930/task/11937/stat : 11937 (java) S 11928 11928 11144 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724831803664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11938] ppid=11928 vsize=26110532 memory=0 CPUtime=0.01 cores=0-7
/proc/11930/task/11938/stat : 11938 (java) S 11928 11928 11144 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724830751376 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11939] ppid=11928 vsize=26110532 memory=0 CPUtime=0.01 cores=0-7
/proc/11930/task/11939/stat : 11939 (java) S 11928 11928 11144 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 88472095 26737184768 65563 33554432000 4194304 4196468 140734808400160 139724829698576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11940] ppid=11928 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11940/stat : 11940 (java) S 11928 11928 11144 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 88472096 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723156683376 139724884458114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11941] ppid=11928 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11941/stat : 11941 (java) S 11928 11928 11144 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 88472097 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723155629408 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11942] ppid=11928 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11942/stat : 11942 (java) S 11928 11928 11144 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 88472097 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723154577024 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11943] ppid=11928 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11943/stat : 11943 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472099 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723153525328 139724884465563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11944] ppid=11928 vsize=26110532 memory=0 CPUtime=0.87 cores=0-7
/proc/11930/task/11944/stat : 11944 (java) S 11928 11928 11144 0 -1 1077944384 2480 0 0 0 86 1 0 0 20 0 20 0 88472099 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723152472176 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11945] ppid=11928 vsize=26110532 memory=0 CPUtime=0.98 cores=0-7
/proc/11930/task/11945/stat : 11945 (java) R 11928 11928 11144 0 -1 4202560 2355 0 0 0 97 1 0 0 20 0 20 0 88472099 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723151410208 139724870463710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11946] ppid=11928 vsize=26110532 memory=796 CPUtime=0.91 cores=0-7
/proc/11930/task/11946/stat : 11946 (java) R 11928 11928 11144 0 -1 1077944384 2277 0 0 0 91 0 0 0 20 0 20 0 88472099 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723150367088 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11947] ppid=11928 vsize=26110532 memory=1388 CPUtime=0.51 cores=0-7
/proc/11930/task/11947/stat : 11947 (java) R 11928 11928 11144 0 -1 4202560 2662 0 0 0 51 0 0 0 20 0 20 0 88472099 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723149314288 139724863752665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11948] ppid=11928 vsize=26110532 memory=1136 CPUtime=0 cores=0-7
/proc/11930/task/11948/stat : 11948 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88472099 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723148262240 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11949] ppid=11928 vsize=26110532 memory=15872 CPUtime=0 cores=0-7
/proc/11930/task/11949/stat : 11949 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88472100 26737184768 65563 33554432000 4194304 4196468 140734808400160 139723147209520 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 263704 KiB

[startup+2.08199 s]
# the end of solver process 11928 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.5885 s, system=0.172898 s

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

[startup+1.60162 s]
/proc/loadavg: 7.69 8.10 8.16 6/200 11949
/proc/meminfo: memFree=27939760/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
[pid=11930] ppid=11928 vsize=26643044 memory=287480 CPUtime=5.58 cores=0-7
/proc/11930/stat : 11930 (java) S 11928 11928 11144 0 -1 1077944320 19191 0 0 0 543 15 0 0 20 0 28 0 88472093 27282477056 71870 33554432000 4194304 4196468 140734808400160 140734808382704 139724884446967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
/proc/11930/statm: 6660761 71870 3412 1 0 6621955 0
[pid=11930/tid=11931] ppid=11928 vsize=26643044 memory=4004 CPUtime=1.44 cores=0-7
/proc/11930/task/11931/stat : 11931 (java) S 11928 11928 11144 0 -1 1077944384 7200 0 0 0 139 5 0 0 20 0 28 0 88472094 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724888687744 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11932] ppid=11928 vsize=26643044 memory=636 CPUtime=0.01 cores=0-7
/proc/11930/task/11932/stat : 11932 (java) S 11928 11928 11144 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724837067664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11933] ppid=11928 vsize=26643044 memory=1296 CPUtime=0.02 cores=0-7
/proc/11930/task/11933/stat : 11933 (java) S 11928 11928 11144 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724836014864 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11934] ppid=11928 vsize=26643044 memory=2412 CPUtime=0.01 cores=0-7
/proc/11930/task/11934/stat : 11934 (java) S 11928 11928 11144 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724834962576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11935] ppid=11928 vsize=26643044 memory=1784 CPUtime=0.01 cores=0-7
/proc/11930/task/11935/stat : 11935 (java) S 11928 11928 11144 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724833909776 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11936] ppid=11928 vsize=26643044 memory=5752 CPUtime=0.01 cores=0-7
/proc/11930/task/11936/stat : 11936 (java) S 11928 11928 11144 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724832856464 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11937] ppid=11928 vsize=26643044 memory=4588 CPUtime=0.02 cores=0-7
/proc/11930/task/11937/stat : 11937 (java) S 11928 11928 11144 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724831803664 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11938] ppid=11928 vsize=26643044 memory=1612 CPUtime=0.01 cores=0-7
/proc/11930/task/11938/stat : 11938 (java) S 11928 11928 11144 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724830751376 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11939] ppid=11928 vsize=26643044 memory=1228 CPUtime=0.01 cores=0-7
/proc/11930/task/11939/stat : 11939 (java) S 11928 11928 11144 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 88472095 27282477056 71870 33554432000 4194304 4196468 140734808400160 139724829698576 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11940] ppid=11928 vsize=26643044 memory=1852 CPUtime=0 cores=0-7
/proc/11930/task/11940/stat : 11940 (java) S 11928 11928 11144 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 88472096 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723156683376 139724884458114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11941] ppid=11928 vsize=26643044 memory=872 CPUtime=0 cores=0-7
/proc/11930/task/11941/stat : 11941 (java) S 11928 11928 11144 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 88472097 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723155629408 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11942] ppid=11928 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11942/stat : 11942 (java) S 11928 11928 11144 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88472097 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723154577024 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11943] ppid=11928 vsize=26643044 memory=2241 CPUtime=0 cores=0-7
/proc/11930/task/11943/stat : 11943 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88472099 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723153525328 139724884465563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11944] ppid=11928 vsize=26643044 memory=2244 CPUtime=0.97 cores=0-7
/proc/11930/task/11944/stat : 11944 (java) R 11928 11928 11144 0 -1 4202560 2499 0 0 0 96 1 0 0 20 0 28 0 88472099 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723152458720 139724867833526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11945] ppid=11928 vsize=26643044 memory=139721796128032 CPUtime=1.05 cores=0-7
/proc/11930/task/11945/stat : 11945 (java) R 11928 11928 11144 0 -1 1077944384 2370 0 0 0 104 1 0 0 20 0 28 0 88472099 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723151412400 139724884457173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11946] ppid=11928 vsize=26643044 memory=0 CPUtime=0.95 cores=0-7
/proc/11930/task/11946/stat : 11946 (java) R 11928 11928 11144 0 -1 4202560 2292 0 0 0 95 0 0 0 20 0 28 0 88472099 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723150360112 139724865991617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11947] ppid=11928 vsize=26643044 memory=0 CPUtime=0.55 cores=0-7
/proc/11930/task/11947/stat : 11947 (java) S 11928 11928 11144 0 -1 1077944384 2739 0 0 0 55 0 0 0 20 0 28 0 88472099 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723149312080 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11948] ppid=11928 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11948/stat : 11948 (java) S 11928 11928 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88472099 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723148262240 139724884457173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
[pid=11930/tid=11949] ppid=11928 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/11930/task/11949/stat : 11949 (java) S 11928 11928 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88472100 27282477056 71870 33554432000 4194304 4196468 140734808400160 139723147209520 139724884458114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140734808409217 140734808409389 140734808409389 140734808412111 0
Current children cumulated CPU time: 5.58 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 288932 KiB

[startup+2.0008 s]*
/proc/loadavg: 7.69 8.10 8.16 1/182 11957
/proc/meminfo: memFree=28139904/32770624 swapFree=67108436/67108860
[pid=11928] ppid=11925 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11928/stat : 11928 (xcsp3-exec) S 11925 11928 11144 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88472093 115843072 363 33554432000 4194304 5098028 140722277770160 140722277768264 139957985759868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140722277778486 140722277778688 140722277778688 140722277781450 0
/proc/11928/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 2.08204
CPU time (s): 5.76139
CPU user time (s): 5.5885
CPU system time (s): 0.172898
CPU usage (%): 276.719
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 295924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.5885
system time used= 0.172898
maximum resident set size= 296072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2885
involuntary context switches= 118


# summary of solver processes directly reported to runsolver:
#   pid: 11928
#   total CPU time (s): 5.76139
#   total CPU user time (s): 5.5885
#   total CPU system time (s): 0.172898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046573 second user time and 0.056183 second system time

The end