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 (14945 MiB free)
memory of node 1: 16384 MiB (11648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302128-1532888776/watcher-4302128-1532888776 -o /tmp/evaluation-result-4302128-1532888776/solver-4302128-1532888776 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 464201869 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302128-1532888776.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15200, runsolver pid=15197
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.74 1.87 1.86 4/217 15217
/proc/meminfo: memFree=27214744/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14082940 memory=29356 CPUtime=0.11 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 5201 0 0 0 10 1 0 0 20 0 15 0 106440795 14420930560 7339 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3520735 7339 3018 1 0 3483012 0
[pid=15203/tid=15204] ppid=15200 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 3204 0 0 0 8 1 0 0 20 0 15 0 106440796 14420930560 7339 33554432000 4194304 4196468 140723988076624 140039364506272 140039360286102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14420930560 7339 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14082940 memory=139813162784384 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14420930560 7339 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106440796 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14082940 memory=139813162784384 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106440798 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106440798 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106440798 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 106440801 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 106440801 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14082940 memory=139813162784384 CPUtime=0.01 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) R 15200 15200 7585 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 15 0 106440801 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038895344368 140039353371003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14082940 memory=139813162784384 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440801 14420930560 7339 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30808 KiB
[startup+0.213619 s]*
/proc/loadavg: 1.74 1.87 1.86 3/217 15217
/proc/meminfo: memFree=27203456/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14087196 memory=41224 CPUtime=0.34 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 7852 0 0 0 32 2 0 0 20 0 15 0 106440795 14425288704 10306 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3521799 10306 3199 1 0 3483012 0
[pid=15203/tid=15204] ppid=15200 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 4995 0 0 0 18 2 0 0 20 0 15 0 106440796 14425288704 10306 33554432000 4194304 4196468 140723988076624 140039364497440 140039360295514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14087196 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 10306 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14087196 memory=288370189314496128 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 10306 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14087196 memory=139813162784384 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106440798 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106440798 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106440798 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 695 0 0 0 3 0 0 0 20 0 15 0 106440801 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14087196 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 15 0 106440801 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14087196 memory=139813162784384 CPUtime=0.08 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) R 15200 15200 7585 0 -1 4202560 722 0 0 0 8 0 0 0 20 0 15 0 106440801 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038895344368 140039360286102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440801 14425288704 10306 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42676 KiB
[startup+0.310637 s]*
/proc/loadavg: 1.74 1.87 1.86 4/217 15217
/proc/meminfo: memFree=27196508/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14087196 memory=48268 CPUtime=0.53 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 8747 0 0 0 50 3 0 0 20 0 15 0 106440795 14425288704 12067 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3521799 12067 3239 1 0 3483012 0
[pid=15203/tid=15204] ppid=15200 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 5675 0 0 0 27 2 0 0 20 0 15 0 106440796 14425288704 12075 33554432000 4194304 4196468 140723988076624 140039364507952 140039360296093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 12075 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 12075 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106440796 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106440798 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106440798 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106440798 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 106440801 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 259 0 0 0 4 0 0 0 20 0 15 0 106440801 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) S 15200 15200 7585 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 15 0 106440801 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038895344368 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440801 14425288704 12075 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49720 KiB
[startup+0.705541 s]
/proc/loadavg: 1.74 1.87 1.86 4/217 15217
/proc/meminfo: memFree=27178084/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14089320 memory=78744 CPUtime=1.52 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 11333 0 0 0 147 5 0 0 20 0 15 0 106440795 14427463680 19686 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3522330 19686 3357 1 0 3483524 0
[pid=15203/tid=15204] ppid=15200 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 6427 0 0 0 64 3 0 0 20 0 15 0 106440796 14427463680 19686 33554432000 4194304 4196468 140723988076624 140039364509968 140039360286102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14427463680 19686 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14427463680 19686 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14089320 memory=30288 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440796 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106440796 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14089320 memory=756 CPUtime=0.25 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) R 15200 15200 7585 0 -1 4202560 1305 0 0 0 25 0 0 0 20 0 15 0 106440801 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038897449456 140039360295514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14089320 memory=1616 CPUtime=0.25 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) R 15200 15200 7585 0 -1 4202560 808 0 0 0 25 0 0 0 20 0 15 0 106440801 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038896396912 140039360295514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14089320 memory=1836 CPUtime=0.32 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) R 15200 15200 7585 0 -1 1077944384 1484 0 0 0 32 0 0 0 20 0 15 0 106440801 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038895344368 140039360285314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 19686 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 80196 KiB
[startup+1.50088 s]
/proc/loadavg: 1.74 1.87 1.86 5/217 15217
/proc/meminfo: memFree=27152156/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14089320 memory=65 CPUtime=2 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 12680 0 0 0 199 1 0 0 20 0 15 0 106440801 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14089320 memory=1616 CPUtime=1.82 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 9499 0 0 0 182 0 0 0 20 0 15 0 106440801 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14089320 memory=1836 CPUtime=0.52 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) S 15200 15200 7585 0 -1 1077944384 6269 0 0 0 52 0 0 0 20 0 15 0 106440801 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038895344368 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14089320 memory=6396 CPUtime=0.03 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 466 0 0 0 1 2 0 0 20 0 15 0 106440801 14427463680 47382 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 166.84 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 190980 KiB
[startup+222.301 s]
/proc/loadavg: 1.69 1.77 1.83 3/217 15301
/proc/meminfo: memFree=27040952/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14089320 memory=162856 CPUtime=226.87 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 48805 0 0 0 22670 17 0 0 20 0 15 0 106440795 14427463680 40714 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3522330 40714 3412 1 0 3483524 0
[pid=15203/tid=15204] ppid=15200 vsize=14089320 memory=162856 CPUtime=222.17 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 12067 0 0 0 22212 5 0 0 20 0 15 0 106440796 14427463680 40714 33554432000 4194304 4196468 140723988076624 140039364512800 140038973869633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14089320 memory=175676 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1379 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 40714 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14089320 memory=173112 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 295 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 40714 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14089320 memory=173112 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 2223 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14089320 memory=164908 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 419 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14089320 memory=164908 CPUtime=0.03 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 1463 0 0 0 3 0 0 0 20 0 15 0 106440798 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14089320 memory=162856 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14089320 memory=162856 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14089320 memory=173112 CPUtime=2 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 12680 0 0 0 199 1 0 0 20 0 15 0 106440801 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14089320 memory=162856 CPUtime=1.82 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 9499 0 0 0 182 0 0 0 20 0 15 0 106440801 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14089320 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) S 15200 15200 7585 0 -1 1077944384 6957 0 0 0 53 0 0 0 20 0 15 0 106440801 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038895344368 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14089320 memory=30296 CPUtime=0.04 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 471 0 0 0 2 2 0 0 20 0 15 0 106440801 14427463680 40714 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 226.87 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 164308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.501 s]
/proc/loadavg: 1.79 1.79 1.83 3/217 15309
/proc/meminfo: memFree=27053340/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14089320 memory=150556 CPUtime=252.09 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 49239 0 0 0 25192 17 0 0 20 0 15 0 106440795 14427463680 37639 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3522330 37639 3412 1 0 3483524 0
[pid=15203/tid=15204] ppid=15200 vsize=14089320 memory=150556 CPUtime=247.36 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 12271 0 0 0 24731 5 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140039364513680 140038973996517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14089320 memory=162856 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1379 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14089320 memory=173112 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 295 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14089320 memory=173112 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 2224 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14089320 memory=164908 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 419 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14089320 memory=160804 CPUtime=0.03 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 1468 0 0 0 3 0 0 0 20 0 15 0 106440798 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14089320 memory=152608 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14089320 memory=150556 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14089320 memory=1452 CPUtime=2 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 12680 0 0 0 199 1 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14089320 memory=150556 CPUtime=1.82 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 9499 0 0 0 182 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14089320 memory=152608 CPUtime=0.53 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) S 15200 15200 7585 0 -1 1077944384 7157 0 0 0 53 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038895344368 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14089320 memory=30304 CPUtime=0.04 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 495 0 0 0 2 2 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 152008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.51 s]
# the end of solver process 15200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002237 s, system=0 s
[startup+247.512 s]
# the end of solver process 15203 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.931 s, system=0.179075 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+247.501 s]
/proc/loadavg: 1.79 1.79 1.83 3/217 15309
/proc/meminfo: memFree=27053340/32770624 swapFree=67108496/67108860
[pid=15200] ppid=15197 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (xcsp3-exec) S 15197 15200 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106440795 115843072 363 33554432000 4194304 5098028 140726183859120 140726183857224 139938959303292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33738752 140726183867457 140726183867657 140726183867657 140726183870410 0
/proc/15200/statm: 28282 363 305 221 0 87 0
[pid=15203] ppid=15200 vsize=14089320 memory=150556 CPUtime=252.09 cores=1,3,5,7
/proc/15203/stat : 15203 (java) S 15200 15200 7585 0 -1 1077944320 49239 0 0 0 25192 17 0 0 20 0 15 0 106440795 14427463680 37639 33554432000 4194304 4196468 140723988076624 140723988059168 140039360274167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
/proc/15203/statm: 3522330 37639 3412 1 0 3483524 0
[pid=15203/tid=15204] ppid=15200 vsize=14089320 memory=150556 CPUtime=247.36 cores=1,3,5,7
/proc/15203/task/15204/stat : 15204 (java) R 15200 15200 7585 0 -1 4202560 12271 0 0 0 24731 5 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140039364513680 140038973996517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15205] ppid=15200 vsize=14089320 memory=162856 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15205/stat : 15205 (java) S 15200 15200 7585 0 -1 1077944384 1379 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140039290362640 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15206] ppid=15200 vsize=14089320 memory=173112 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15206/stat : 15206 (java) S 15200 15200 7585 0 -1 1077944384 295 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140039289310096 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15207] ppid=15200 vsize=14089320 memory=173112 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15207/stat : 15207 (java) S 15200 15200 7585 0 -1 1077944384 2224 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038953942032 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15208] ppid=15200 vsize=14089320 memory=164908 CPUtime=0.05 cores=1,3,5,7
/proc/15203/task/15208/stat : 15208 (java) S 15200 15200 7585 0 -1 1077944384 419 0 0 0 4 1 0 0 20 0 15 0 106440796 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038952889488 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15209] ppid=15200 vsize=14089320 memory=160804 CPUtime=0.03 cores=1,3,5,7
/proc/15203/task/15209/stat : 15209 (java) S 15200 15200 7585 0 -1 1077944384 1468 0 0 0 3 0 0 0 20 0 15 0 106440798 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038901659632 140039360285314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15210] ppid=15200 vsize=14089320 memory=152608 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15210/stat : 15210 (java) S 15200 15200 7585 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038900605856 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15211] ppid=15200 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15211/stat : 15211 (java) S 15200 15200 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106440798 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038899553264 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15212] ppid=15200 vsize=14089320 memory=150556 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15212/stat : 15212 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038898501840 140039360292763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15213] ppid=15200 vsize=14089320 memory=1452 CPUtime=2 cores=1,3,5,7
/proc/15203/task/15213/stat : 15213 (java) S 15200 15200 7585 0 -1 1077944384 12680 0 0 0 199 1 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038897449456 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15214] ppid=15200 vsize=14089320 memory=150556 CPUtime=1.82 cores=1,3,5,7
/proc/15203/task/15214/stat : 15214 (java) S 15200 15200 7585 0 -1 1077944384 9499 0 0 0 182 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038896396912 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15215] ppid=15200 vsize=14089320 memory=152608 CPUtime=0.53 cores=1,3,5,7
/proc/15203/task/15215/stat : 15215 (java) S 15200 15200 7585 0 -1 1077944384 7157 0 0 0 53 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038895344368 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15216] ppid=15200 vsize=14089320 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/15203/task/15216/stat : 15216 (java) S 15200 15200 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038894292064 140039360284373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
[pid=15203/tid=15217] ppid=15200 vsize=14089320 memory=30304 CPUtime=0.04 cores=1,3,5,7
/proc/15203/task/15217/stat : 15217 (java) S 15200 15200 7585 0 -1 1077944384 495 0 0 0 2 2 0 0 20 0 15 0 106440801 14427463680 37639 33554432000 4194304 4196468 140723988076624 140038893238576 140039360285314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 7671808 140723988083852 140723988084022 140723988084022 140723988086735 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 152008 KiB
Child status: 143
Real time (s): 247.512
CPU time (s): 252.11
CPU user time (s): 251.931
CPU system time (s): 0.179075
CPU usage (%): 101.858
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 222236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.931
system time used= 0.179075
maximum resident set size= 222316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8547
involuntary context switches= 184
# summary of solver processes directly reported to runsolver:
# pid: 15200,15203
# total CPU time (s): 252.11
# total CPU user time (s): 251.931
# total CPU system time (s): 0.179075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55578 second user time and 2.16551 second system time
The end