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 (12165 MiB free)
memory of node 1: 16384 MiB (13032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282741-1503214469/watcher-4282741-1503214469 -o /tmp/evaluation-result-4282741-1503214469/solver-4282741-1503214469 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 413342721 HOME/instance-4282741-1503214469.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=4436, runsolver pid=4433
[startup+0.100626 s]*
/proc/loadavg: 1.83 1.86 1.84 3/218 4452
/proc/meminfo: memFree=25785948/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13978596 memory=28060 CPUtime=0.12 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 5308 0 0 0 11 1 0 0 20 0 15 0 154534916 14314082304 7015 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3494649 7015 2880 1 0 3482966 0
[pid=4438/tid=4439] ppid=4436 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 3335 0 0 0 8 1 0 0 20 0 15 0 154534916 14314082304 7080 33554432000 4194304 4196468 140735186213872 139712272889648 139711880443064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14314082304 7080 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13978596 memory=140250760828544 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14314082304 7080 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14314082304 7080 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534917 14314082304 7080 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13978596 memory=140250760828544 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534918 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154534919 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154534919 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 154534922 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13978596 memory=140250760828544 CPUtime=0.01 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) R 4436 4436 32593 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 15 0 154534922 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711803648368 139712247597954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13978596 memory=140250760828544 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534922 14314082304 7080 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29444 KiB
[startup+0.210661 s]*
/proc/loadavg: 1.83 1.86 1.84 3/218 4452
/proc/meminfo: memFree=25774040/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13982852 memory=40528 CPUtime=0.34 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 8158 0 0 0 32 2 0 0 20 0 15 0 154534916 14318440448 10132 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3495713 10132 3080 1 0 3482966 0
[pid=4438/tid=4439] ppid=4436 vsize=13982884 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 5299 0 0 0 18 1 0 0 20 0 15 0 154534916 14318473216 10153 33554432000 4194304 4196468 140735186213872 139712272867168 139712261336093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13982852 memory=4294976320 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14318440448 10153 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13982852 memory=288370626912540288 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14318440448 10153 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14318440448 10153 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534917 14318440448 10153 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13982852 memory=140250760828544 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534918 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154534919 14318473216 10153 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154534919 14318473216 10153 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 15 0 154534922 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 154534922 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13982852 memory=140250760828544 CPUtime=0.08 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) S 4436 4436 32593 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 154534922 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711803648368 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534922 14318440448 10153 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41912 KiB
[startup+0.310689 s]*
/proc/loadavg: 1.83 1.86 1.84 3/218 4452
/proc/meminfo: memFree=25767464/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13982852 memory=47556 CPUtime=0.5 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 9025 0 0 0 47 3 0 0 20 0 15 0 154534916 14318440448 11889 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3495713 11889 3109 1 0 3482966 0
[pid=4438/tid=4439] ppid=4436 vsize=13982928 memory=7310027617963868211 CPUtime=0.29 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 6029 0 0 0 27 2 0 0 20 0 15 0 154534916 14318518272 11889 33554432000 4194304 4196468 140735186213872 139712272888736 139712268678301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13982928 memory=288230608969409347 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14318518272 11889 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13982928 memory=13845278940248275 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14318518272 11889 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14318518272 11889 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534917 14318518272 11889 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534918 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154534919 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154534919 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 666 0 0 0 3 0 0 0 20 0 15 0 154534922 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 154534922 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13982928 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) R 4436 4436 32593 0 -1 4202560 828 0 0 0 11 0 0 0 20 0 15 0 154534922 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711803648368 139712248057489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534922 14318518272 11889 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48940 KiB
[startup+0.701097 s]
/proc/loadavg: 1.83 1.86 1.84 5/218 4452
/proc/meminfo: memFree=25754152/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13984976 memory=68912 CPUtime=1.6 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 12914 0 0 0 155 5 0 0 20 0 15 0 154534916 14320615424 17162 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3496244 17162 3201 1 0 3483478 0
[pid=4438/tid=4439] ppid=4436 vsize=13984976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 6559 0 0 0 65 3 0 0 20 0 15 0 154534916 14320615424 17228 33554432000 4194304 4196468 140735186213872 139712272890496 139711883347188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 17228 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13984976 memory=153 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 17228 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 17228 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 17228 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154534918 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13984976 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13984976 memory=4128 CPUtime=0.3 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) R 4436 4436 32593 0 -1 4202560 2150 0 0 0 30 0 0 0 20 0 15 0 154534922 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711805738024 139712253763967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13984976 memory=2204 CPUtime=0.34 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) R 4436 4436 32593 0 -1 4202560 1438 0 0 0 34 0 0 0 20 0 15 0 154534922 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711804681400 139712246403742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13984976 memory=7788 CPUtime=0.24 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) S 4436 4436 32593 0 -1 1077944384 1477 0 0 0 24 0 0 0 20 0 15 0 154534922 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711803648368 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 17228 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70296 KiB
[startup+1.50088 s]
/proc/loadavg: 1.83 1.86 1.84 5/218 4452
/proc/meminfo: memFree=25736216/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13984976 memory=1296 CPUtime=2.07 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 14986 0 0 0 205 2 0 0 20 0 15 0 154534922 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13984976 memory=2336 CPUtime=2.19 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 17840 0 0 0 217 2 0 0 20 0 15 0 154534922 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13984976 memory=1384 CPUtime=0.37 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) S 4436 4436 32593 0 -1 1077944384 6168 0 0 0 36 1 0 0 20 0 15 0 154534922 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711803648368 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13984976 memory=207168 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1239 0 0 0 1 1 0 0 20 0 15 0 154534922 14320615424 51794 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 106.97 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208560 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 1.91 1.87 3/218 4532
/proc/meminfo: memFree=25845232/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13984976 memory=209328 CPUtime=167.02 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 55294 0 0 0 16688 14 0 0 20 0 15 0 154534916 14320615424 52332 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3496244 52332 3251 1 0 3483478 0
[pid=4438/tid=4439] ppid=4436 vsize=13984976 memory=207204 CPUtime=162.26 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 11018 0 0 0 16221 5 0 0 20 0 15 0 154534916 14320615424 52332 33554432000 4194304 4196468 140735186213872 139712272895272 139711884615799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13984976 memory=209328 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52332 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13984976 memory=209328 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52332 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52332 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52332 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13984976 memory=209328 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 755 0 0 0 0 0 0 0 20 0 15 0 154534918 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13984976 memory=42800 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13984976 memory=1296 CPUtime=2.07 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 14999 0 0 0 205 2 0 0 20 0 15 0 154534922 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13984976 memory=1384 CPUtime=2.2 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 18143 0 0 0 218 2 0 0 20 0 15 0 154534922 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13984976 memory=209328 CPUtime=0.38 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) S 4436 4436 32593 0 -1 1077944384 6566 0 0 0 37 1 0 0 20 0 15 0 154534922 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711803648368 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13984976 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1266 0 0 0 2 2 0 0 20 0 15 0 154534922 14320615424 52332 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 167.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 210712 KiB
[startup+222.301 s]
/proc/loadavg: 2.05 1.94 1.88 3/218 4533
/proc/meminfo: memFree=25825832/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13984976 memory=209388 CPUtime=227.04 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 56241 0 0 0 22690 14 0 0 20 0 15 0 154534916 14320615424 52347 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3496244 52347 3251 1 0 3483478 0
[pid=4438/tid=4439] ppid=4436 vsize=13984976 memory=209388 CPUtime=222.26 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 11409 0 0 0 22220 6 0 0 20 0 15 0 154534916 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712272895808 139711884614171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13984976 memory=209336 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 781 0 0 0 0 0 0 0 20 0 15 0 154534918 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13984976 memory=209388 CPUtime=2.07 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 15046 0 0 0 205 2 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13984976 memory=4140 CPUtime=2.2 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 18145 0 0 0 218 2 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13984976 memory=4140 CPUtime=0.38 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) S 4436 4436 32593 0 -1 1077944384 6739 0 0 0 37 1 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711803648368 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13984976 memory=42800 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13984976 memory=1296 CPUtime=0.06 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1272 0 0 0 3 3 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 227.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 210772 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.04 1.95 1.88 3/218 4533
/proc/meminfo: memFree=25821860/32770624 swapFree=67108860/67108860
[pid=4436] ppid=4433 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4436/stat : 4436 (xcsp3-exec) S 4433 4436 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154534916 9740288 346 33554432000 4194304 5098028 140733598910048 140733598908152 139890105107068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28327936 140733598917749 140733598917952 140733598917952 140733598920683 0
/proc/4436/statm: 2378 346 289 221 0 87 0
[pid=4438] ppid=4436 vsize=13984976 memory=209388 CPUtime=244.75 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4436 32593 0 -1 1077944320 56521 0 0 0 24461 14 0 0 20 0 15 0 154534916 14320615424 52347 33554432000 4194304 4196468 140735186213872 140735186196416 139712268656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
/proc/4438/statm: 3496244 52347 3251 1 0 3483478 0
[pid=4438/tid=4439] ppid=4436 vsize=13984976 memory=1384 CPUtime=239.97 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4436 32593 0 -1 4202560 11652 0 0 0 23991 6 0 0 20 0 15 0 154534916 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712272895808 139711884613931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4440] ppid=4436 vsize=13984976 memory=209388 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4436 32593 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712206256528 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4441] ppid=4436 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4436 32593 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712205203728 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4442] ppid=4436 vsize=13984976 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4436 32593 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712204151440 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4443] ppid=4436 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4436 32593 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 154534917 14320615424 52347 33554432000 4194304 4196468 140735186213872 139712203098640 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4444] ppid=4436 vsize=13984976 memory=644 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4436 32593 0 -1 1077944384 788 0 0 0 0 0 0 0 20 0 15 0 154534918 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711809964656 139712268667522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4445] ppid=4436 vsize=13984976 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) S 4436 4436 32593 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711808910624 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4446] ppid=4436 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) S 4436 4436 32593 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154534919 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711807858288 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4447] ppid=4436 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711806806608 139712268674971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4448] ppid=4436 vsize=13984976 memory=928 CPUtime=2.07 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) S 4436 4436 32593 0 -1 1077944384 15047 0 0 0 205 2 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711805753456 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4449] ppid=4436 vsize=13984976 memory=1568 CPUtime=2.2 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) S 4436 4436 32593 0 -1 1077944384 18147 0 0 0 218 2 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711804700656 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4450] ppid=4436 vsize=13984976 memory=2240 CPUtime=0.38 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) S 4436 4436 32593 0 -1 1077944384 6745 0 0 0 37 1 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711803648368 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4451] ppid=4436 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) S 4436 4436 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711802595808 139712268666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
[pid=4438/tid=4452] ppid=4436 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) S 4436 4436 32593 0 -1 1077944384 1293 0 0 0 3 4 0 0 20 0 15 0 154534922 14320615424 52347 33554432000 4194304 4196468 140735186213872 139711801543600 139712268667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 25862144 140735186220189 140735186220364 140735186220364 140735186223055 0
Current children cumulated CPU time: 244.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 210772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 4436 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000918 s, system=0.000918 s
[startup+240.022 s]
# the end of solver process 4438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.628 s, system=0.154994 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): 240.022
CPU time (s): 244.783
CPU user time (s): 244.628
CPU system time (s): 0.154994
CPU usage (%): 101.983
Max. virtual memory (cumulated for all children) (KiB): 13996744
Max. memory (cumulated for all children) (KiB): 210772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.628
system time used= 0.154994
maximum resident set size= 209856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7328
involuntary context switches= 144
# summary of solver processes directly reported to runsolver:
# pid: 4436,4438
# total CPU time (s): 244.783
# total CPU user time (s): 244.628
# total CPU system time (s): 0.154994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28909 second user time and 2.25199 second system time
The end