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 (2714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270055-1502623816/watcher-4270055-1502623816 -o /tmp/evaluation-result-4270055-1502623816/solver-4270055-1502623816 -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 2118690824 HOME/instance-4270055-1502623816.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=11379, runsolver pid=11376
[startup+0.105697 s]*
/proc/loadavg: 2.12 2.08 1.93 4/217 11395
/proc/meminfo: memFree=17069928/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11376 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11376 11379 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95462708 9740288 346 33554432000 4194304 5098028 140726789118416 140726789116520 140237766521468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34844672 140726789121140 140726789121344 140726789121344 140726789124075 0
/proc/11379/statm: 2378 346 289 221 0 87 0
[pid=11381] ppid=11379 vsize=13978596 memory=28404 CPUtime=0.13 cores=0,2,4,6
/proc/11381/stat : 11381 (java) S 11379 11379 6338 0 -1 1077944320 5415 0 0 0 12 1 0 0 20 0 15 0 95462708 14314082304 7101 33554432000 4194304 4196468 140723594286048 140723594268592 140598577483511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
/proc/11381/statm: 3494649 7101 2902 1 0 3482966 0
[pid=11381/tid=11382] ppid=11379 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (java) R 11379 11379 6338 0 -1 4202560 3341 0 0 0 9 0 0 0 20 0 15 0 95462709 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598581718456 140598569720638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11383] ppid=11379 vsize=13978596 memory=3472467815955104976 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598507571728 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11384] ppid=11379 vsize=13978596 memory=139687059953280 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598172105360 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11385] ppid=11379 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11385/stat : 11385 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598171052304 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11386] ppid=11379 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11386/stat : 11386 (java) S 11379 11379 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95462710 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598169999760 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11387] ppid=11379 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11387/stat : 11387 (java) S 11379 11379 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95462711 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598118820592 140598577494658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11388] ppid=11379 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11388/stat : 11388 (java) S 11379 11379 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95462711 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598117766816 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11389] ppid=11379 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11389/stat : 11389 (java) S 11379 11379 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95462712 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598116713712 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11390] ppid=11379 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11390/stat : 11390 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598115662288 140598577502107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11391] ppid=11379 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11391/stat : 11391 (java) S 11379 11379 6338 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 95462714 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598114609392 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11392] ppid=11379 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11392/stat : 11392 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462714 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598113556848 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11393] ppid=11379 vsize=13978596 memory=139687059953280 CPUtime=0.02 cores=0,2,4,6
/proc/11381/task/11393/stat : 11393 (java) R 11379 11379 6338 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 95462714 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598112503792 140598577504858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11394] ppid=11379 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11394/stat : 11394 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598111451488 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11395] ppid=11379 vsize=13978596 memory=139687059953280 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11395/stat : 11395 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462714 14314082304 7101 33554432000 4194304 4196468 140723594286048 140598110399536 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29788 KiB
[startup+0.210741 s]*
/proc/loadavg: 2.12 2.08 1.93 3/217 11395
/proc/meminfo: memFree=17057512/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11376 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11376 11379 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95462708 9740288 346 33554432000 4194304 5098028 140726789118416 140726789116520 140237766521468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34844672 140726789121140 140726789121344 140726789121344 140726789124075 0
/proc/11379/statm: 2378 346 289 221 0 87 0
[pid=11381] ppid=11379 vsize=13982852 memory=40160 CPUtime=0.34 cores=0,2,4,6
/proc/11381/stat : 11381 (java) S 11379 11379 6338 0 -1 1077944320 8110 0 0 0 32 2 0 0 20 0 15 0 95462708 14318440448 10040 33554432000 4194304 4196468 140723594286048 140723594268592 140598577483511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
/proc/11381/statm: 3495713 10040 3021 1 0 3482966 0
[pid=11381/tid=11382] ppid=11379 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (java) R 11379 11379 6338 0 -1 1077944384 5307 0 0 0 18 1 0 0 20 0 15 0 95462709 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598581685200 140598570162733 0 4 0 16800975 18446744072101662244 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11383] ppid=11379 vsize=13982852 memory=3472467815955104976 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598507571728 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11384] ppid=11379 vsize=13982884 memory=139687059953280 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14318473216 10040 33554432000 4194304 4196468 140723594286048 140598172105360 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11385] ppid=11379 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11385/stat : 11385 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14318473216 10040 33554432000 4194304 4196468 140723594286048 140598171052304 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11386] ppid=11379 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11386/stat : 11386 (java) S 11379 11379 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95462710 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598169999760 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11387] ppid=11379 vsize=13982852 memory=139687059953280 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11387/stat : 11387 (java) S 11379 11379 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95462711 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598118820592 140598577494658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11388] ppid=11379 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11388/stat : 11388 (java) S 11379 11379 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95462711 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598117766816 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11389] ppid=11379 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11389/stat : 11389 (java) S 11379 11379 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95462712 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598116713712 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11390] ppid=11379 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11390/stat : 11390 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598115662288 140598577502107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11391] ppid=11379 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11381/task/11391/stat : 11391 (java) S 11379 11379 6338 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 95462714 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598114609392 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11392] ppid=11379 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11381/task/11392/stat : 11392 (java) S 11379 11379 6338 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 95462714 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598113556848 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11393] ppid=11379 vsize=13982884 memory=139687059953280 CPUtime=0.08 cores=0,2,4,6
/proc/11381/task/11393/stat : 11393 (java) S 11379 11379 6338 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 95462714 14318473216 10040 33554432000 4194304 4196468 140723594286048 140598112503792 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11394] ppid=11379 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11394/stat : 11394 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598111451488 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11395] ppid=11379 vsize=13982852 memory=139687059953280 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11395/stat : 11395 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462714 14318440448 10040 33554432000 4194304 4196468 140723594286048 140598110399536 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41544 KiB
[startup+0.315432 s]*
/proc/loadavg: 2.12 2.08 1.93 5/217 11395
/proc/meminfo: memFree=17050440/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11376 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11376 11379 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95462708 9740288 346 33554432000 4194304 5098028 140726789118416 140726789116520 140237766521468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34844672 140726789121140 140726789121344 140726789121344 140726789124075 0
/proc/11379/statm: 2378 346 289 221 0 87 0
[pid=11381] ppid=11379 vsize=13982852 memory=47820 CPUtime=0.53 cores=0,2,4,6
/proc/11381/stat : 11381 (java) S 11379 11379 6338 0 -1 1077944320 9126 0 0 0 51 2 0 0 20 0 15 0 95462708 14318440448 11955 33554432000 4194304 4196468 140723594286048 140723594268592 140598577483511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
/proc/11381/statm: 3495713 11955 3119 1 0 3482966 0
[pid=11381/tid=11382] ppid=11379 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (java) R 11379 11379 6338 0 -1 4202560 5943 0 0 0 28 1 0 0 20 0 15 0 95462709 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598581721776 140598561563998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11383] ppid=11379 vsize=13982852 memory=3472467815955104976 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598507571728 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11384] ppid=11379 vsize=13982852 memory=139687059953280 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598172105360 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11385] ppid=11379 vsize=13982852 memory=8 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11385/stat : 11385 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462710 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598171052304 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11386] ppid=11379 vsize=13982852 memory=139686899230751 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11386/stat : 11386 (java) S 11379 11379 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95462710 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598169999760 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11387] ppid=11379 vsize=13982852 memory=279373798440736 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11387/stat : 11387 (java) S 11379 11379 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95462711 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598118820592 140598577494658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11388] ppid=11379 vsize=13982852 memory=139686899207695 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11388/stat : 11388 (java) S 11379 11379 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95462711 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598117766816 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11389] ppid=11379 vsize=13982852 memory=279373959170144 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11389/stat : 11389 (java) S 11379 11379 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95462712 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598116713712 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11390] ppid=11379 vsize=13982852 memory=139686899212303 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11390/stat : 11390 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598115662288 140598577502107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11391] ppid=11379 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11381/task/11391/stat : 11391 (java) R 11379 11379 6338 0 -1 4202560 635 0 0 0 4 0 0 0 20 0 15 0 95462714 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598114609392 140598559027600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11392] ppid=11379 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11381/task/11392/stat : 11392 (java) R 11379 11379 6338 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 15 0 95462714 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598113556848 140598577494658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11393] ppid=11379 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11381/task/11393/stat : 11393 (java) R 11379 11379 6338 0 -1 4202560 898 0 0 0 13 0 0 0 20 0 15 0 95462714 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598112502976 140598555649491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11394] ppid=11379 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11394/stat : 11394 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598111451488 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11395] ppid=11379 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11395/stat : 11395 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462714 14318440448 11955 33554432000 4194304 4196468 140723594286048 140598110399536 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49204 KiB
[startup+0.701411 s]
/proc/loadavg: 2.12 2.08 1.93 6/217 11395
/proc/meminfo: memFree=17030476/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11376 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11376 11379 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95462708 9740288 346 33554432000 4194304 5098028 140726789118416 140726789116520 140237766521468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34844672 140726789121140 140726789121344 140726789121344 140726789124075 0
/proc/11379/statm: 2378 346 289 221 0 87 0
[pid=11381] ppid=11379 vsize=13984976 memory=287024 CPUtime=1.81 cores=0,2,4,6
/proc/11381/stat : 11381 (java) S 11379 11379 6338 0 -1 1077944320 12401 0 0 0 160 21 0 0 20 0 15 0 95462708 14320615424 71756 33554432000 4194304 4196468 140723594286048 140723594268592 140598577483511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
/proc/11381/statm: 3496244 71756 3210 1 0 3483478 0
[pid=11381/tid=11382] ppid=11379 vsize=13984976 memory=5795117241467496816 CPUtime=0.59 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (java) R 11379 11379 6338 0 -1 4202560 6482 0 0 0 56 3 0 0 20 0 15 0 95462709 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598581716640 140598561563998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11383] ppid=11379 vsize=13984976 memory=5795117241467496816 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (java) S 11379 11379 6338 0 -1 1077944384 63 0 0 0 3 4 0 0 20 0 15 0 95462710 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598507571728 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11384] ppid=11379 vsize=13984976 memory=7588935152971044181 CPUtime=0.06 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (java) S 11379 11379 6338 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 15 0 95462710 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598172105360 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11385] ppid=11379 vsize=13984976 memory=8041645962788481611 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11385/stat : 11385 (java) S 11379 11379 6338 0 -1 1077944384 56 0 0 0 3 4 0 0 20 0 15 0 95462710 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598171052304 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11386] ppid=11379 vsize=13984976 memory=8326441112149131693 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11386/stat : 11386 (java) S 11379 11379 6338 0 -1 1077944384 68 0 0 0 3 4 0 0 20 0 15 0 95462710 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598169999760 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11387] ppid=11379 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11387/stat : 11387 (java) S 11379 11379 6338 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95462711 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598118820592 140598577494658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11388] ppid=11379 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11388/stat : 11388 (java) S 11379 11379 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95462711 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598117766816 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11389] ppid=11379 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11389/stat : 11389 (java) S 11379 11379 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95462712 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598116713712 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11390] ppid=11379 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11390/stat : 11390 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598115662288 140598577502107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11391] ppid=11379 vsize=13984976 memory=28080 CPUtime=0.27 cores=0,2,4,6
/proc/11381/task/11391/stat : 11391 (java) R 11379 11379 6338 0 -1 4202560 1454 0 0 0 27 0 0 0 20 0 15 0 95462714 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598114599776 140598561774661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11392] ppid=11379 vsize=13984976 memory=2428 CPUtime=0.24 cores=0,2,4,6
/proc/11381/task/11392/stat : 11392 (java) S 11379 11379 6338 0 -1 1077944384 1113 0 0 0 24 0 0 0 20 0 15 0 95462714 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598113556848 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11393] ppid=11379 vsize=13984976 memory=1292 CPUtime=0.36 cores=0,2,4,6
/proc/11381/task/11393/stat : 11393 (java) R 11379 11379 6338 0 -1 1077944384 1737 0 0 0 36 0 0 0 20 0 15 0 95462714 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598112503920 140598577493717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11394] ppid=11379 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11394/stat : 11394 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598111451488 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11395] ppid=11379 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11395/stat : 11395 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462714 14320615424 71756 33554432000 4194304 4196468 140723594286048 140598110399536 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 288408 KiB
[startup+1.21278 s]
# the end of solver process 11379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.15054 s, system=0.23973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800968 s]
/proc/loadavg: 2.12 2.08 1.93 6/217 11395
/proc/meminfo: memFree=17030476/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11376 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11376 11379 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95462708 9740288 346 33554432000 4194304 5098028 140726789118416 140726789116520 140237766521468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34844672 140726789121140 140726789121344 140726789121344 140726789124075 0
/proc/11379/statm: 2378 346 289 221 0 87 0
[pid=11381] ppid=11379 vsize=13984976 memory=288324 CPUtime=2.1 cores=0,2,4,6
/proc/11381/stat : 11381 (java) S 11379 11379 6338 0 -1 1077944320 12785 0 0 0 188 22 0 0 20 0 15 0 95462708 14320615424 72081 33554432000 4194304 4196468 140723594286048 140723594268592 140598577483511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
/proc/11381/statm: 3496244 72081 3228 1 0 3483478 0
[pid=11381/tid=11382] ppid=11379 vsize=13984976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (java) R 11379 11379 6338 0 -1 4202560 6727 0 0 0 65 3 0 0 20 0 15 0 95462709 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598581722192 140598191823298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11383] ppid=11379 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (java) S 11379 11379 6338 0 -1 1077944384 63 0 0 0 3 4 0 0 20 0 15 0 95462710 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598507571728 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11384] ppid=11379 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (java) S 11379 11379 6338 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 15 0 95462710 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598172105360 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11385] ppid=11379 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11385/stat : 11385 (java) S 11379 11379 6338 0 -1 1077944384 56 0 0 0 3 4 0 0 20 0 15 0 95462710 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598171052304 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11386] ppid=11379 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11386/stat : 11386 (java) S 11379 11379 6338 0 -1 1077944384 68 0 0 0 3 4 0 0 20 0 15 0 95462710 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598169999760 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11387] ppid=11379 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11387/stat : 11387 (java) S 11379 11379 6338 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95462711 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598118820592 140598577494658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11388] ppid=11379 vsize=13984976 memory=279373798179056 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11388/stat : 11388 (java) S 11379 11379 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95462711 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598117766816 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11389] ppid=11379 vsize=13984976 memory=279373798499408 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11389/stat : 11389 (java) S 11379 11379 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95462712 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598116713712 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11390] ppid=11379 vsize=13984976 memory=279373798258320 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11390/stat : 11390 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598115662288 140598577502107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11391] ppid=11379 vsize=13984976 memory=2110037506508980 CPUtime=0.35 cores=0,2,4,6
/proc/11381/task/11391/stat : 11391 (java) R 11379 11379 6338 0 -1 1077944384 1484 0 0 0 35 0 0 0 20 0 15 0 95462714 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598114609392 140598577494658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11392] ppid=11379 vsize=13984976 memory=70 CPUtime=0.32 cores=0,2,4,6
/proc/11381/task/11392/stat : 11392 (java) R 11379 11379 6338 0 -1 4202560 1140 0 0 0 32 0 0 0 20 0 15 0 95462714 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598113556848 140598555747169 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11393] ppid=11379 vsize=13984976 memory=3 CPUtime=0.4 cores=0,2,4,6
/proc/11381/task/11393/stat : 11393 (java) R 11379 11379 6338 0 -1 4202560 1819 0 0 0 40 0 0 0 20 0 15 0 95462714 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598112503792 140598577495446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11394] ppid=11379 vsize=13984976 memory=5947 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11394/stat : 11394 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95462714 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598111451488 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11395] ppid=11379 vsize=13984976 memory=288 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11395/stat : 11395 (java) S 11379 11379 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95462714 14320615424 72081 33554432000 4194304 4196468 140723594286048 140598110399536 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 289708 KiB
[startup+1.20075 s]
/proc/loadavg: 2.12 2.08 1.93 5/217 11395
/proc/meminfo: memFree=16803396/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11376 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11376 11379 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95462708 9740288 346 33554432000 4194304 5098028 140726789118416 140726789116520 140237766521468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34844672 140726789121140 140726789121344 140726789121344 140726789124075 0
/proc/11379/statm: 2378 346 289 221 0 87 0
[pid=11381] ppid=11379 vsize=13984976 memory=305612 CPUtime=3.37 cores=0,2,4,6
/proc/11381/stat : 11381 (java) S 11379 11379 6338 0 -1 1077944320 17257 0 0 0 314 23 0 0 20 0 14 0 95462708 14320615424 76403 33554432000 4194304 4196468 140723594286048 140723594268592 140598577483511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
/proc/11381/statm: 3496244 76403 3231 1 0 3483478 0
[pid=11381/tid=11382] ppid=11379 vsize=13984976 memory=-6580739564903907265 CPUtime=1.08 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (java) S 11379 11379 6338 0 -1 1077944384 6787 0 0 0 104 4 0 0 20 0 14 0 95462709 14320615424 76403 33554432000 4194304 4196468 140723594286048 140598581726352 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11383] ppid=11379 vsize=13984976 memory=4639930699739322728 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (java) S 11379 11379 6338 0 -1 1077944384 63 0 0 0 3 4 0 0 20 0 14 0 95462710 14320615424 76403 33554432000 4194304 4196468 140723594286048 140598507571728 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11384] ppid=11379 vsize=13984976 memory=4639930699739322728 CPUtime=0.06 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (java) S 11379 11379 6338 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 14 0 95462710 14320615424 76403 33554432000 4194304 4196468 140723594286048 140598172105360 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11385] ppid=11379 vsize=13984976 memory=4639930699739322728 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11385/stat : 11385 (java) S 11379 11379 6338 0 -1 1077944384 56 0 0 0 3 4 0 0 20 0 14 0 95462710 14320615424 76403 33554432000 4194304 4196468 140723594286048 140598171052304 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11386] ppid=11379 vsize=13984976 memory=4639930699739322729 CPUtime=0.07 cores=0,2,4,6
/proc/11381/task/11386/stat : 11386 (java) S 11379 11379 6338 0 -1 1077944384 68 0 0 0 3 4 0 0 20 0 14 0 95462710 14320615424 76403 33554432000 4194304 4196468 140723594286048 140598169999760 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11387] ppid=11379 vsize=13984976 memory=4639930699739322732 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11387/stat : 11387 (java) S 11379 11379 6338 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 14 0 95462711 14320615424 76469 33554432000 4194304 4196468 140723594286048 140598118820800 140598577494658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11388] ppid=11379 vsize=13984976 memory=5788366128452758634 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11388/stat : 11388 (java) S 11379 11379 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 95462711 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598117766816 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11389] ppid=11379 vsize=13984976 memory=5788366128452758121 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11389/stat : 11389 (java) S 11379 11379 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 95462712 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598116713712 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11390] ppid=11379 vsize=13984976 memory=4639930699739322730 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11390/stat : 11390 (java) S 11379 11379 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 95462714 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598115662000 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11391] ppid=11379 vsize=13984976 memory=6081074802245129573 CPUtime=0.72 cores=0,2,4,6
/proc/11381/task/11391/stat : 11391 (java) R 11379 11379 6338 0 -1 4202560 2708 0 0 0 72 0 0 0 20 0 14 0 95462714 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598114595576 140598555310749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11392] ppid=11379 vsize=13984976 memory=5792000001163285866 CPUtime=0.71 cores=0,2,4,6
/proc/11381/task/11392/stat : 11392 (java) R 11379 11379 6338 0 -1 4202560 3612 0 0 0 71 0 0 0 20 0 14 0 95462714 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598113542312 140598569772893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11393] ppid=11379 vsize=13984976 memory=5788366128454004840 CPUtime=0.5 cores=0,2,4,6
/proc/11381/task/11393/stat : 11393 (java) S 11379 11379 6338 0 -1 1077944384 2551 0 0 0 50 0 0 0 20 0 14 0 95462714 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598112503792 140598577494658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
[pid=11381/tid=11394] ppid=11379 vsize=13984976 memory=3472609771204390959 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11394/stat : 11394 (java) S 11379 11379 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95462714 14320615424 76535 33554432000 4194304 4196468 140723594286048 140598111451488 140598577493717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14565376 140723594290333 140723594290508 140723594290508 140723594293199 0
Current children cumulated CPU time: 3.37 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 306996 KiB
Child status: 0
Real time (s): 1.21284
CPU time (s): 3.39026
CPU user time (s): 3.15054
CPU system time (s): 0.23973
CPU usage (%): 279.531
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 306996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.15054
system time used= 0.23973
maximum resident set size= 307376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1727
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 11379
# total CPU time (s): 3.39026
# total CPU user time (s): 3.15054
# total CPU system time (s): 0.23973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030839 second user time and 0.059503 second system time
The end