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 (13971 MiB free)
memory of node 1: 16384 MiB (14178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270430-1502624388/watcher-4270430-1502624388 -o /tmp/evaluation-result-4270430-1502624388/solver-4270430-1502624388 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 303142946 HOME/instance-4270430-1502624388.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=12104, runsolver pid=12101
[startup+0.101145 s]*
/proc/loadavg: 1.87 2.00 1.96 3/217 12120
/proc/meminfo: memFree=28808372/32770624 swapFree=67108860/67108860
[pid=12104] ppid=12101 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12104/stat : 12104 (xcsp3-exec) S 12101 12104 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519884 9740288 346 33554432000 4194304 5098028 140728329299872 140728329297976 139674174907004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22491136 140728329303157 140728329303360 140728329303360 140728329306091 0
/proc/12104/statm: 2378 346 289 221 0 87 0
[pid=12106] ppid=12104 vsize=13978596 memory=28508 CPUtime=0.12 cores=0,2,4,6
/proc/12106/stat : 12106 (java) S 12104 12104 6338 0 -1 1077944320 5510 0 0 0 11 1 0 0 20 0 15 0 95519884 14314082304 7127 33554432000 4194304 4196468 140734558476096 140734558458640 139626165022455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
/proc/12106/statm: 3494649 7127 2864 1 0 3482966 0
[pid=12106/tid=12107] ppid=12104 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/12106/task/12107/stat : 12107 (java) R 12104 12104 6338 0 -1 4202560 3504 0 0 0 8 1 0 0 20 0 15 0 95519885 14314082304 7127 33554432000 4194304 4196468 140734558476096 139626169255728 139625779784400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12108] ppid=12104 vsize=13978596 memory=3472468007290619088 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12108/stat : 12108 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14314082304 7127 33554432000 4194304 4196468 140734558476096 139626102623120 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12109] ppid=12104 vsize=13978596 memory=139878395467392 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12109/stat : 12109 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14314082304 7127 33554432000 4194304 4196468 140734558476096 139626101570320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12110] ppid=12104 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12110/stat : 12110 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14314082304 7127 33554432000 4194304 4196468 140734558476096 139626100518032 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12111] ppid=12104 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12111/stat : 12111 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625757154320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12112] ppid=12104 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12112/stat : 12112 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519887 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625144191088 139626165033602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12113] ppid=12104 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12113/stat : 12113 (java) S 12104 12104 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519887 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625143137056 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12114] ppid=12104 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12114/stat : 12114 (java) S 12104 12104 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519888 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625142084720 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12115] ppid=12104 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12115/stat : 12115 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625141033040 139626165041051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12116] ppid=12104 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12116/stat : 12116 (java) S 12104 12104 6338 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 95519890 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625139980912 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12117] ppid=12104 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12117/stat : 12117 (java) S 12104 12104 6338 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 95519890 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625138928112 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12118] ppid=12104 vsize=13978596 memory=139878395467392 CPUtime=0.01 cores=0,2,4,6
/proc/12106/task/12118/stat : 12118 (java) R 12104 12104 6338 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 95519890 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625137875824 139626143964038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12119] ppid=12104 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12119/stat : 12119 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625136823264 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12120] ppid=12104 vsize=13978596 memory=139878395467392 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12120/stat : 12120 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519891 14314082304 7127 33554432000 4194304 4196468 140734558476096 139625135770032 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29892 KiB
[startup+0.210689 s]*
/proc/loadavg: 1.87 2.00 1.96 3/217 12120
/proc/meminfo: memFree=28797324/32770624 swapFree=67108860/67108860
[pid=12104] ppid=12101 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12104/stat : 12104 (xcsp3-exec) S 12101 12104 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519884 9740288 346 33554432000 4194304 5098028 140728329299872 140728329297976 139674174907004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22491136 140728329303157 140728329303360 140728329303360 140728329306091 0
/proc/12104/statm: 2378 346 289 221 0 87 0
[pid=12106] ppid=12104 vsize=13982852 memory=40432 CPUtime=0.33 cores=0,2,4,6
/proc/12106/stat : 12106 (java) S 12104 12104 6338 0 -1 1077944320 8190 0 0 0 31 2 0 0 20 0 15 0 95519884 14318440448 10108 33554432000 4194304 4196468 140734558476096 140734558458640 139626165022455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
/proc/12106/statm: 3495713 10108 3057 1 0 3482966 0
[pid=12106/tid=12107] ppid=12104 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/12106/task/12107/stat : 12107 (java) D 12104 12104 6338 0 -1 1077944384 5313 0 0 0 18 1 0 0 20 0 15 0 95519885 14318440448 10108 33554432000 4194304 4196468 140734558476096 139626169224144 139626157701677 0 4 0 16800975 18446744072101662244 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12108] ppid=12104 vsize=13982852 memory=3472468007290619088 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12108/stat : 12108 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 10108 33554432000 4194304 4196468 140734558476096 139626102623120 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12109] ppid=12104 vsize=13982852 memory=139878395467392 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12109/stat : 12109 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 10108 33554432000 4194304 4196468 140734558476096 139626101570320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12110] ppid=12104 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12110/stat : 12110 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 10108 33554432000 4194304 4196468 140734558476096 139626100518032 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12111] ppid=12104 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12111/stat : 12111 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625757154320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12112] ppid=12104 vsize=13982884 memory=139878395467392 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12112/stat : 12112 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519887 14318473216 10108 33554432000 4194304 4196468 140734558476096 139625144191088 139626165033602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12113] ppid=12104 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12113/stat : 12113 (java) S 12104 12104 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519887 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625143137056 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12114] ppid=12104 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12114/stat : 12114 (java) S 12104 12104 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519888 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625142084720 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12115] ppid=12104 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12115/stat : 12115 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625141033040 139626165041051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12116] ppid=12104 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12106/task/12116/stat : 12116 (java) S 12104 12104 6338 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 95519890 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625139980912 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12117] ppid=12104 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12106/task/12117/stat : 12117 (java) S 12104 12104 6338 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 95519890 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625138928112 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12118] ppid=12104 vsize=13982852 memory=139878395467392 CPUtime=0.07 cores=0,2,4,6
/proc/12106/task/12118/stat : 12118 (java) S 12104 12104 6338 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 15 0 95519890 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625137875824 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12119] ppid=12104 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12119/stat : 12119 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14318473216 10108 33554432000 4194304 4196468 140734558476096 139625136823264 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12120] ppid=12104 vsize=13982852 memory=139878395467392 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12120/stat : 12120 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519891 14318440448 10108 33554432000 4194304 4196468 140734558476096 139625135770032 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41816 KiB
[startup+0.310476 s]*
/proc/loadavg: 1.87 2.00 1.96 4/217 12120
/proc/meminfo: memFree=28790996/32770624 swapFree=67108860/67108860
[pid=12104] ppid=12101 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12104/stat : 12104 (xcsp3-exec) S 12101 12104 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519884 9740288 346 33554432000 4194304 5098028 140728329299872 140728329297976 139674174907004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22491136 140728329303157 140728329303360 140728329303360 140728329306091 0
/proc/12104/statm: 2378 346 289 221 0 87 0
[pid=12106] ppid=12104 vsize=13982852 memory=47036 CPUtime=0.5 cores=0,2,4,6
/proc/12106/stat : 12106 (java) S 12104 12104 6338 0 -1 1077944320 9028 0 0 0 47 3 0 0 20 0 15 0 95519884 14318440448 11759 33554432000 4194304 4196468 140734558476096 140734558458640 139626165022455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
/proc/12106/statm: 3495713 11759 3073 1 0 3482966 0
[pid=12106/tid=12107] ppid=12104 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/12106/task/12107/stat : 12107 (java) R 12104 12104 6338 0 -1 4202560 5986 0 0 0 27 2 0 0 20 0 15 0 95519885 14318440448 11759 33554432000 4194304 4196468 140734558476096 139626169254880 139626149102942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12108] ppid=12104 vsize=13982852 memory=3472468007290619088 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12108/stat : 12108 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 11824 33554432000 4194304 4196468 140734558476096 139626102623120 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12109] ppid=12104 vsize=13982852 memory=139878395467392 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12109/stat : 12109 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 11824 33554432000 4194304 4196468 140734558476096 139626101570320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12110] ppid=12104 vsize=13982852 memory=8 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12110/stat : 12110 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 11824 33554432000 4194304 4196468 140734558476096 139626100518032 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12111] ppid=12104 vsize=13982852 memory=139878293710879 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12111/stat : 12111 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625757154320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12112] ppid=12104 vsize=13982852 memory=279756587382528 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12112/stat : 12112 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519887 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625144191088 139626165033602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12113] ppid=12104 vsize=13982852 memory=139878293687823 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12113/stat : 12113 (java) S 12104 12104 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519887 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625143137056 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12114] ppid=12104 vsize=13982852 memory=279756689164384 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12114/stat : 12114 (java) S 12104 12104 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519888 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625142084720 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12115] ppid=12104 vsize=13982852 memory=139878293692431 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12115/stat : 12115 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625141033040 139626165041051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12116] ppid=12104 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12106/task/12116/stat : 12116 (java) S 12104 12104 6338 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 15 0 95519890 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625139980912 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12117] ppid=12104 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12106/task/12117/stat : 12117 (java) S 12104 12104 6338 0 -1 1077944384 457 0 0 0 3 0 0 0 20 0 15 0 95519890 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625138928112 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12118] ppid=12104 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12106/task/12118/stat : 12118 (java) S 12104 12104 6338 0 -1 1077944384 851 0 0 0 13 0 0 0 20 0 15 0 95519890 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625137875824 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12119] ppid=12104 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12119/stat : 12119 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625136823264 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12120] ppid=12104 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12120/stat : 12120 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519891 14318440448 11824 33554432000 4194304 4196468 140734558476096 139625135770032 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48420 KiB
[startup+0.701061 s]
/proc/loadavg: 1.87 2.00 1.96 5/217 12120
/proc/meminfo: memFree=28775416/32770624 swapFree=67108860/67108860
[pid=12104] ppid=12101 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12104/stat : 12104 (xcsp3-exec) S 12101 12104 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519884 9740288 346 33554432000 4194304 5098028 140728329299872 140728329297976 139674174907004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22491136 140728329303157 140728329303360 140728329303360 140728329306091 0
/proc/12104/statm: 2378 346 289 221 0 87 0
[pid=12106] ppid=12104 vsize=13984976 memory=68220 CPUtime=1.68 cores=0,2,4,6
/proc/12106/stat : 12106 (java) S 12104 12104 6338 0 -1 1077944320 12316 0 0 0 163 5 0 0 20 0 15 0 95519884 14320615424 17055 33554432000 4194304 4196468 140734558476096 140734558458640 139626165022455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
/proc/12106/statm: 3496244 17055 3209 1 0 3483478 0
[pid=12106/tid=12107] ppid=12104 vsize=13984976 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/12106/task/12107/stat : 12107 (java) R 12104 12104 6338 0 -1 4202560 6653 0 0 0 64 3 0 0 20 0 15 0 95519885 14320615424 17055 33554432000 4194304 4196468 140734558476096 139626169261904 139625783747776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12108] ppid=12104 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12108/stat : 12108 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17055 33554432000 4194304 4196468 140734558476096 139626102623120 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12109] ppid=12104 vsize=13984976 memory=7588935152971043413 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12109/stat : 12109 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17055 33554432000 4194304 4196468 140734558476096 139626101570320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12110] ppid=12104 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12110/stat : 12110 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17055 33554432000 4194304 4196468 140734558476096 139626100518032 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12111] ppid=12104 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12111/stat : 12111 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625757154320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12112] ppid=12104 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12112/stat : 12112 (java) S 12104 12104 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95519887 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625144191088 139626165033602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12113] ppid=12104 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12113/stat : 12113 (java) S 12104 12104 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519887 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625143137056 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12114] ppid=12104 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12114/stat : 12114 (java) S 12104 12104 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519888 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625142084720 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12115] ppid=12104 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12115/stat : 12115 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625141033040 139626165041051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12116] ppid=12104 vsize=13984976 memory=28096 CPUtime=0.31 cores=0,2,4,6
/proc/12106/task/12116/stat : 12116 (java) R 12104 12104 6338 0 -1 4202560 1237 0 0 0 31 0 0 0 20 0 15 0 95519890 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625139961928 139626151086448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12117] ppid=12104 vsize=13984976 memory=2428 CPUtime=0.33 cores=0,2,4,6
/proc/12106/task/12117/stat : 12117 (java) R 12104 12104 6338 0 -1 4202560 1388 0 0 0 33 0 0 0 20 0 15 0 95519890 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625138918704 139626146566944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12118] ppid=12104 vsize=13984976 memory=1292 CPUtime=0.34 cores=0,2,4,6
/proc/12106/task/12118/stat : 12118 (java) S 12104 12104 6338 0 -1 1077944384 1730 0 0 0 34 0 0 0 20 0 15 0 95519890 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625137875824 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12119] ppid=12104 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12119/stat : 12119 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625136823264 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12120] ppid=12104 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12120/stat : 12120 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519891 14320615424 17055 33554432000 4194304 4196468 140734558476096 139625135770032 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 69604 KiB
[startup+0.892459 s]
# the end of solver process 12104 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.17837 s, system=0.06193 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801061 s]
/proc/loadavg: 1.87 2.00 1.96 5/217 12120
/proc/meminfo: memFree=28775416/32770624 swapFree=67108860/67108860
[pid=12104] ppid=12101 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12104/stat : 12104 (xcsp3-exec) S 12101 12104 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519884 9740288 346 33554432000 4194304 5098028 140728329299872 140728329297976 139674174907004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22491136 140728329303157 140728329303360 140728329303360 140728329306091 0
/proc/12104/statm: 2378 346 289 221 0 87 0
[pid=12106] ppid=12104 vsize=13984976 memory=70164 CPUtime=1.99 cores=0,2,4,6
/proc/12106/stat : 12106 (java) S 12104 12104 6338 0 -1 1077944320 12801 0 0 0 194 5 0 0 20 0 15 0 95519884 14320615424 17541 33554432000 4194304 4196468 140734558476096 140734558458640 139626165022455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
/proc/12106/statm: 3496244 17541 3209 1 0 3483478 0
[pid=12106/tid=12107] ppid=12104 vsize=13984976 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/12106/task/12107/stat : 12107 (java) R 12104 12104 6338 0 -1 4202560 6653 0 0 0 74 3 0 0 20 0 15 0 95519885 14320615424 17541 33554432000 4194304 4196468 140734558476096 139626169261904 139625783748316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12108] ppid=12104 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12108/stat : 12108 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17541 33554432000 4194304 4196468 140734558476096 139626102623120 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12109] ppid=12104 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12109/stat : 12109 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17541 33554432000 4194304 4196468 140734558476096 139626101570320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12110] ppid=12104 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12110/stat : 12110 (java) S 12104 12104 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17541 33554432000 4194304 4196468 140734558476096 139626100518032 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12111] ppid=12104 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12111/stat : 12111 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519886 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625757154320 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12112] ppid=12104 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12112/stat : 12112 (java) S 12104 12104 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95519887 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625144191088 139626165033602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12113] ppid=12104 vsize=13984976 memory=279756587139312 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12113/stat : 12113 (java) S 12104 12104 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519887 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625143137056 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12114] ppid=12104 vsize=13984976 memory=279756587459664 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12114/stat : 12114 (java) S 12104 12104 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519888 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625142084720 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12115] ppid=12104 vsize=13984976 memory=279756587218576 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12115/stat : 12115 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625141033040 139626165041051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12116] ppid=12104 vsize=13984976 memory=2110228900989108 CPUtime=0.4 cores=0,2,4,6
/proc/12106/task/12116/stat : 12116 (java) R 12104 12104 6338 0 -1 4202560 1559 0 0 0 40 0 0 0 20 0 15 0 95519890 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625139966880 139626146543846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12117] ppid=12104 vsize=13984976 memory=70 CPUtime=0.43 cores=0,2,4,6
/proc/12106/task/12117/stat : 12117 (java) R 12104 12104 6338 0 -1 4202560 1546 0 0 0 43 0 0 0 20 0 15 0 95519890 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625138918704 139626150130467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12118] ppid=12104 vsize=13984976 memory=3 CPUtime=0.35 cores=0,2,4,6
/proc/12106/task/12118/stat : 12118 (java) S 12104 12104 6338 0 -1 1077944384 1735 0 0 0 35 0 0 0 20 0 15 0 95519890 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625137875824 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12119] ppid=12104 vsize=13984976 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12119/stat : 12119 (java) S 12104 12104 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519890 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625136823264 139626165032661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
[pid=12106/tid=12120] ppid=12104 vsize=13984976 memory=288 CPUtime=0 cores=0,2,4,6
/proc/12106/task/12120/stat : 12120 (java) S 12104 12104 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519891 14320615424 17541 33554432000 4194304 4196468 140734558476096 139625135770032 139626165033602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6737920 140734558479517 140734558479692 140734558479692 140734558482383 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 71548 KiB
Child status: 0
Real time (s): 0.892495
CPU time (s): 2.2403
CPU user time (s): 2.17837
CPU system time (s): 0.06193
CPU usage (%): 251.015
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 71548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.17837
system time used= 0.06193
maximum resident set size= 72052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1681
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 12104
# total CPU time (s): 2.2403
# total CPU user time (s): 2.17837
# total CPU system time (s): 0.06193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033359 second user time and 0.043784 second system time
The end