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 (15075 MiB free)
memory of node 1: 16384 MiB (15571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269679-1502812453/watcher-4269679-1502812453 -o /tmp/evaluation-result-4269679-1502812453/solver-4269679-1502812453 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1787003789 HOME/instance-4269679-1502812453.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10196, runsolver pid=10193
Current StackSize limit: 8192 KiB
[startup+0.100236 s]*
/proc/loadavg: 1.54 1.59 1.65 3/197 10198
/proc/meminfo: memFree=31381692/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=356952 memory=7780 CPUtime=0 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 1677 0 0 0 0 0 0 0 20 0 2 0 69585912 365518848 1881 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 89238 1945 1088 1 0 79208 0
[pid=10198/tid=10199] ppid=10196 vsize=11657624 memory=4206751525541405026 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 834 0 0 0 0 0 0 0 20 0 2 0 69585913 11937406976 2322 18446744073709551615 4194304 4196468 140721334612560 140285591042464 140285579089824 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 9160 KiB
[startup+0.209561 s]*
/proc/loadavg: 1.57 1.59 1.65 3/211 10212
/proc/meminfo: memFree=31369792/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13974352 memory=25032 CPUtime=0.08 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 5165 0 0 0 7 1 0 0 20 0 15 0 69585912 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3493588 6258 2727 1 0 3482964 0
[pid=10198/tid=10199] ppid=10196 vsize=13974352 memory=-6153504281267117510 CPUtime=0.06 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 3319 0 0 0 6 0 0 0 20 0 15 0 69585913 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140285591026064 140285586822301 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13974352 memory=6055707664168806735 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13974352 memory=139710985758336 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13974352 memory=139710985758336 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69585915 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69585915 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140284502172960 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13974352 memory=139710985758336 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69585915 14309736448 6258 18446744073709551615 4194304 4196468 140721334612560 140284501120624 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 6274 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) S 10196 10196 11586 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 6274 18446744073709551615 4194304 4196468 140721334612560 140284499015792 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 6274 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) S 10196 10196 11586 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 6274 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 6274 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585922 14309736448 6274 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26412 KiB
[startup+0.310116 s]*
/proc/loadavg: 1.57 1.59 1.65 4/211 10212
/proc/meminfo: memFree=31354648/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13974352 memory=36928 CPUtime=0.27 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 8769 0 0 0 24 3 0 0 20 0 15 0 69585912 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3493588 9232 2988 1 0 3482964 0
[pid=10198/tid=10199] ppid=10196 vsize=13974352 memory=279421714162720 CPUtime=0.16 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 6084 0 0 0 14 2 0 0 20 0 15 0 69585913 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140285591033296 140285586822301 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13974352 memory=139710985758336 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13974352 memory=139710985758336 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69585913 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69585915 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69585915 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284502172960 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13974352 memory=139710985758336 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69585915 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284501120624 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) S 10196 10196 11586 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 69585918 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284499015792 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) R 10196 10196 11586 0 -1 4202560 154 0 0 0 1 0 0 0 20 0 15 0 69585918 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285568344853 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) S 10196 10196 11586 0 -1 1077944384 704 0 0 0 5 0 0 0 20 0 15 0 69585918 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585922 14309736448 9232 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38308 KiB
[startup+0.705747 s]
/proc/loadavg: 1.57 1.59 1.65 6/211 10212
/proc/meminfo: memFree=31342716/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13980732 memory=92004 CPUtime=1.18 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 12955 0 0 0 112 6 0 0 20 0 15 0 69585912 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3495183 23001 3177 1 0 3483476 0
[pid=10198/tid=10199] ppid=10196 vsize=13980732 memory=4644 CPUtime=0.54 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 8489 0 0 0 50 4 0 0 20 0 15 0 69585913 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140285591036248 140285194551728 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13980732 memory=139710856965680 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284502172960 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284501120624 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13980732 memory=139710856983440 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13980732 memory=25092 CPUtime=0.19 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) R 10196 10196 11586 0 -1 4202560 1137 0 0 0 19 0 0 0 20 0 15 0 69585918 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284499004224 140285566047142 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13980732 memory=4449 CPUtime=0.17 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) S 10196 10196 11586 0 -1 1077944384 728 0 0 0 17 0 0 0 20 0 15 0 69585918 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13980732 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) R 10196 10196 11586 0 -1 4202560 1294 0 0 0 24 1 0 0 20 0 15 0 69585918 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285579897211 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13980732 memory=5332 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13980732 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585922 14316269568 23001 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 93384 KiB
[startup+1.50086 s]
/proc/loadavg: 1.57 1.59 1.65 6/211 10212
/proc/meminfo: memFree=31206532/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13980732 memory=199528 CPUtime=3.56 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 18455 0 0 0 347 9 0 0 20 0 15 0 69585912 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3495183 49882 3192 1 0 3483476 0
[pid=10198/tid=10199] ppid=10196 vsize=13980732 memory=1380 CPUtime=1.32 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 8628 0 0 0 127 5 0 0 20 0 15 0 69585913 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140285591039472 140285195483113 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13980732 memory=197644 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13980732 memory=180204 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13980732 memory=4715969797518358058 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13980732 memory=8940607980112075893 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140284502172960 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140284501120624 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13980732 memory=38908 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13980732 memory=2384 CPUtime=0.89 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) R 10196 10196 11586 0 -1 4202560 3761 0 0 0 88 1 0 0 20 0 15 0 69585918 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140284499002360 140285571907392 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13980732 memory=1296 CPUtime=0.89 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) R 10196 10196 11586 0 -1 4202560 2838 0 0 0 89 0 0 0 20 0 15 0 69585918 14316269568 49882 18446744073709551615 4194304 4196468 140721334612560 140284497962176 140285571917542 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13980732 memory=1728 CPUtime=0.41 cores=1,3,5,7
################
# More data... #
################
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 680 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13980732 memory=203748 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1575 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 69585913 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13980732 memory=279421714488640 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 987 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13980732 memory=14379322370 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284502173024 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13980732 memory=203748 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284501120640 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13980732 memory=56 CPUtime=1.49 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) S 10196 10196 11586 0 -1 1077944384 7323 0 0 0 148 1 0 0 20 0 15 0 69585918 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284499015792 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13980732 memory=7595725831727968097 CPUtime=1.65 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) S 10196 10196 11586 0 -1 1077944384 6772 0 0 0 164 1 0 0 20 0 15 0 69585918 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.5 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) S 10196 10196 11586 0 -1 1077944384 6015 0 0 0 49 1 0 0 20 0 15 0 69585918 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13980732 memory=203748 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 595 0 0 0 1 1 0 0 20 0 15 0 69585922 14316269568 50937 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 165.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205128 KiB
[startup+222.301 s]
/proc/loadavg: 1.92 1.78 1.71 3/211 10311
/proc/meminfo: memFree=31158276/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13980732 memory=208432 CPUtime=225.93 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 40676 0 0 0 22578 15 0 0 20 0 15 0 69585912 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3495183 52108 3231 1 0 3483476 0
[pid=10198/tid=10199] ppid=10196 vsize=13980732 memory=208432 CPUtime=222.1 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 13498 0 0 0 22204 6 0 0 20 0 15 0 69585913 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140285591039008 140285195617029 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13980732 memory=4120 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1656 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 1029 0 0 0 1 0 0 0 20 0 15 0 69585915 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284502173024 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284501120640 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13980732 memory=38928 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13980732 memory=2384 CPUtime=1.49 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) S 10196 10196 11586 0 -1 1077944384 7485 0 0 0 148 1 0 0 20 0 15 0 69585918 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284499015792 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13980732 memory=1296 CPUtime=1.66 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) S 10196 10196 11586 0 -1 1077944384 7241 0 0 0 165 1 0 0 20 0 15 0 69585918 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.5 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) S 10196 10196 11586 0 -1 1077944384 6113 0 0 0 49 1 0 0 20 0 15 0 69585918 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13980732 memory=208432 CPUtime=0.04 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 628 0 0 0 2 2 0 0 20 0 15 0 69585922 14316269568 52108 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 225.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209812 KiB
[startup+282.301 s]
/proc/loadavg: 1.93 1.81 1.72 3/211 10313
/proc/meminfo: memFree=31158120/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13980732 memory=208428 CPUtime=285.98 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 42894 0 0 0 28583 15 0 0 20 0 15 0 69585912 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3495183 52107 3231 1 0 3483476 0
[pid=10198/tid=10199] ppid=10196 vsize=13980732 memory=208428 CPUtime=282.1 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 13870 0 0 0 28204 6 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285591039072 140285191526336 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13980732 memory=208428 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 724 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1663 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 578 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13980732 memory=208428 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 1206 0 0 0 1 0 0 0 20 0 15 0 69585915 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284502173024 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284501120640 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13980732 memory=208428 CPUtime=1.51 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) S 10196 10196 11586 0 -1 1077944384 8474 0 0 0 150 1 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284499015792 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13980732 memory=208428 CPUtime=1.68 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) S 10196 10196 11586 0 -1 1077944384 7807 0 0 0 167 1 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13980732 memory=1716 CPUtime=0.5 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) S 10196 10196 11586 0 -1 1077944384 6139 0 0 0 49 1 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 637 0 0 0 2 2 0 0 20 0 15 0 69585922 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 285.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209808 KiB
[startup+282.308 s]
# the end of solver process 10196 was just reported to runsolver
# cumulated CPU time of all completed processes: user=285.839 s, system=0.164038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+282.301 s]
/proc/loadavg: 1.93 1.81 1.72 3/211 10313
/proc/meminfo: memFree=31158120/32770624 swapFree=67108860/67108860
[pid=10196] ppid=10193 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10196/stat : 10196 (xcsp3-exec) S 10193 10196 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69585902 9740288 345 18446744073709551615 4194304 5098028 140723743201776 140723743199880 140642008871548 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23019520 140723743203704 140723743203909 140723743203909 140723743207403 0
/proc/10196/statm: 2378 345 289 221 0 87 0
[pid=10198] ppid=10196 vsize=13980732 memory=208428 CPUtime=285.98 cores=1,3,5,7
/proc/10198/stat : 10198 (java) S 10196 10196 11586 0 -1 1077944320 42894 0 0 0 28583 15 0 0 20 0 15 0 69585912 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140721334595104 140285586800375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
/proc/10198/statm: 3495183 52107 3231 1 0 3483476 0
[pid=10198/tid=10199] ppid=10196 vsize=13980732 memory=208428 CPUtime=282.1 cores=1,3,5,7
/proc/10198/task/10199/stat : 10199 (java) R 10196 10196 11586 0 -1 4202560 13870 0 0 0 28204 6 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285591039072 140285191526336 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10200] ppid=10196 vsize=13980732 memory=208428 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10200/stat : 10200 (java) S 10196 10196 11586 0 -1 1077944384 724 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285521234320 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10201] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10201/stat : 10201 (java) S 10196 10196 11586 0 -1 1077944384 1663 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285520181520 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10202] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10202/stat : 10202 (java) S 10196 10196 11586 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285519129232 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10203] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10203/stat : 10203 (java) S 10196 10196 11586 0 -1 1077944384 578 0 0 0 1 0 0 0 20 0 15 0 69585913 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140285518076432 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10204] ppid=10196 vsize=13980732 memory=208428 CPUtime=0.01 cores=1,3,5,7
/proc/10198/task/10204/stat : 10204 (java) S 10196 10196 11586 0 -1 1077944384 1206 0 0 0 1 0 0 0 20 0 15 0 69585915 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284503226992 140285586811522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10205] ppid=10196 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10205/stat : 10205 (java) S 10196 10196 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284502173024 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10206] ppid=10196 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10206/stat : 10206 (java) S 10196 10196 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 69585915 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284501120640 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10207] ppid=10196 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10207/stat : 10207 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284500068944 140285586818971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10208] ppid=10196 vsize=13980732 memory=208428 CPUtime=1.51 cores=1,3,5,7
/proc/10198/task/10208/stat : 10208 (java) S 10196 10196 11586 0 -1 1077944384 8474 0 0 0 150 1 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284499015792 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10209] ppid=10196 vsize=13980732 memory=208428 CPUtime=1.68 cores=1,3,5,7
/proc/10198/task/10209/stat : 10209 (java) S 10196 10196 11586 0 -1 1077944384 7807 0 0 0 167 1 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284497962992 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10210] ppid=10196 vsize=13980732 memory=1716 CPUtime=0.5 cores=1,3,5,7
/proc/10198/task/10210/stat : 10210 (java) S 10196 10196 11586 0 -1 1077944384 6139 0 0 0 49 1 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284496910704 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10211] ppid=10196 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/10198/task/10211/stat : 10211 (java) S 10196 10196 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69585918 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284495858144 140285586810581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
[pid=10198/tid=10212] ppid=10196 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/10198/task/10212/stat : 10212 (java) S 10196 10196 11586 0 -1 1077944384 637 0 0 0 2 2 0 0 20 0 15 0 69585922 14316269568 52107 18446744073709551615 4194304 4196468 140721334612560 140284494805936 140285586811522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39153664 140721334616497 140721334616673 140721334616673 140721334620111 0
Current children cumulated CPU time: 285.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209808 KiB
Child status: 0
Real time (s): 282.308
CPU time (s): 286.003
CPU user time (s): 285.839
CPU system time (s): 0.164038
CPU usage (%): 101.309
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 211864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.839
system time used= 0.164038
maximum resident set size= 212532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8803
involuntary context switches= 126
# summary of solver processes directly reported to runsolver:
# pid: 10196
# total CPU time (s): 286.003
# total CPU user time (s): 285.839
# total CPU system time (s): 0.164038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48673 second user time and 2.55397 second system time
The end