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 (15246 MiB free)
memory of node 1: 16384 MiB (15440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281769-1503156288/watcher-4281769-1503156288 -o /tmp/evaluation-result-4281769-1503156288/solver-4281769-1503156288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1848156222 HOME/instance-4281769-1503156288.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=31314, runsolver pid=31311
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.01 1.97 1.95 2/200 31315
/proc/meminfo: memFree=31423084/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (runsolver) D 31311 31314 18108 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 14035901 34791424 114 18446744073709551615 4194304 4346622 140730236636832 140730236633464 140289706742487 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 13189120 140730236641335 140730236641829 140730236641829 140730236645322 0
/proc/31314/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209385 s]*
/proc/loadavg: 2.01 1.97 1.95 2/200 31315
/proc/meminfo: memFree=31423084/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (runsolver) D 31311 31314 18108 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 14035901 34791424 114 18446744073709551615 4194304 4346622 140730236636832 140730236633464 140289706742487 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 13189120 140730236641335 140730236641829 140730236641829 140730236645322 0
/proc/31314/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.309129 s]*
/proc/loadavg: 2.01 1.97 1.95 2/214 31329
/proc/meminfo: memFree=31411500/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13907304 memory=21720 CPUtime=0.05 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 4883 0 0 0 4 1 0 0 20 0 14 0 14035924 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3476826 5430 2536 1 0 3466323 0
[pid=31316/tid=31317] ppid=31314 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) D 31314 31314 18108 0 -1 4202560 3052 0 0 0 4 0 0 0 20 0 14 0 14035924 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549568063392 140549563847933 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13907304 memory=288230583233163505 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13907304 memory=140289709722840 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13907304 memory=140289709692544 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14035926 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 14035927 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549041395232 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 14035927 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549040342384 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13907304 memory=140289709692544 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14035930 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23100 KiB
[startup+0.700695 s]
/proc/loadavg: 2.01 1.97 1.95 2/214 31329
/proc/meminfo: memFree=31411128/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13907304 memory=21720 CPUtime=0.05 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 4883 0 0 0 4 1 0 0 20 0 14 0 14035924 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3476826 5430 2536 1 0 3466323 0
[pid=31316/tid=31317] ppid=31314 vsize=13907304 memory=2436 CPUtime=0.04 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) D 31314 31314 18108 0 -1 4202560 3052 0 0 0 4 0 0 0 20 0 14 0 14035924 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549568063392 140549563847933 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13907304 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13907304 memory=16024522984493 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13907304 memory=301741420686094542 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13907304 memory=14418102955827425 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13907304 memory=5787236921420959830 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14035926 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13907304 memory=7374451229660244832 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 14035927 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549041395232 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13907304 memory=6935649255827990097 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 14035927 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549040342384 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13907304 memory=7379241883444800087 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13907304 memory=7230359054035936618 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13907304 memory=5787213844526950487 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13907304 memory=5787243518440722512 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13907304 memory=5938089994145456744 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14035930 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23100 KiB
[startup+1.50067 s]
/proc/loadavg: 2.01 1.97 1.95 2/214 31329
/proc/meminfo: memFree=31411128/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13907304 memory=21720 CPUtime=0.05 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 4883 0 0 0 4 1 0 0 20 0 14 0 14035924 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3476826 5430 2536 1 0 3466323 0
[pid=31316/tid=31317] ppid=31314 vsize=13907304 memory=2388 CPUtime=0.04 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) D 31314 31314 18108 0 -1 4202560 3052 0 0 0 4 0 0 0 20 0 14 0 14035924 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549568063392 140549563847933 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13907304 memory=4638778424471928935 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13907304 memory=24337 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13907304 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13907304 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14035925 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13907304 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14035926 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13907304 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 14035927 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549041395232 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13907304 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 14035927 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549040342384 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13907304 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13907304 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13907304 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13907304 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 14035929 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13907304 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14035930 14241079296 5430 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23100 KiB
[startup+3.11035 s]
/proc/loadavg: 2.01 1.97 1.95 3/215 31330
/proc/meminfo: memFree=30955448/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13978684 memory=892832 CPUtime=1.31 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 12264 0 0 0 100 31 0 0 20 0 15 0 14035924 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3494671 223208 3125 1 0 3482964 0
[pid=31316/tid=31317] ppid=31314 vsize=13978684 memory=12716 CPUtime=0.73 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) R 31314 31314 18108 0 -1 4202560 8659 0 0 0 58 15 0 0 20 0 15 0 14035924 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549568059312 140549197996830 0 4 1 16800974 0 0 0 -1 1 0 0 203 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13978684 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 14035925 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13978684 memory=21720 CPUtime=0.06 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 15 0 14035925 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13978684 memory=6 CPUtime=0.06 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 15 0 14035925 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13978684 memory=6 CPUtime=0.06 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 14035925 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13978684 memory=6 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 14035926 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13978684 memory=280579207705632 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 14035927 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549041395232 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13978684 memory=7234303152781525078 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 14035927 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549040342384 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13978684 memory=288292155850752807 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035929 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 421 0 0 0 6 0 0 0 20 0 15 0 14035929 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 517 0 0 0 6 0 0 0 20 0 15 0 14035929 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13978684 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 1027 0 0 0 17 0 0 0 20 0 15 0 14035929 14314172416 223208 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
################
# More data... #
################
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549040342400 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13980732 memory=10646396 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13980732 memory=1380 CPUtime=2.11 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 18048 0 0 0 208 3 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2.56 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 26648 0 0 0 252 4 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 9641 0 0 0 54 1 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035930 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31330] ppid=31314 vsize=13980732 memory=4128 CPUtime=1.51 cores=1,3,5,7
/proc/31316/task/31330/stat : 31330 (java) S 31314 31314 18108 0 -1 1077944384 2092 0 0 0 66 85 0 0 20 0 15 0 14036136 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549034028208 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 2411.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10647776 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/212 31789
/proc/meminfo: memFree=20611760/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2471.21 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 2041182 0 0 0 246035 1086 0 0 20 0 15 0 14035924 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3495183 2661599 3239 1 0 3483476 0
[pid=31316/tid=31317] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2428.62 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) R 31314 31314 18108 0 -1 4202560 1575582 0 0 0 242755 107 0 0 20 0 15 0 14035924 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549568062448 140549202358938 0 4 1 16800974 0 0 0 -1 5 0 0 203 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.4 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 94467 0 0 0 617 223 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.33 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 101090 0 0 0 615 218 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.37 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 88864 0 0 0 620 217 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.36 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 105183 0 0 0 618 218 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2.25 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 18146 0 0 0 216 9 0 0 20 0 15 0 14035926 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549041395296 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13980732 memory=10646396 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549040342400 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13980732 memory=11588 CPUtime=2.11 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 18056 0 0 0 208 3 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13980732 memory=1380 CPUtime=2.56 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 26651 0 0 0 252 4 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 9644 0 0 0 54 1 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13980732 memory=10646396 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035930 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31330] ppid=31314 vsize=13980732 memory=1380 CPUtime=1.55 cores=1,3,5,7
/proc/31316/task/31330/stat : 31330 (java) S 31314 31314 18108 0 -1 1077944384 2132 0 0 0 68 87 0 0 20 0 15 0 14036136 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549034028208 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 2471.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10647776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.11 s]
/proc/loadavg: 2.02 2.02 2.01 3/212 31791
/proc/meminfo: memFree=20611760/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2520.04 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 2048328 0 0 0 250917 1087 0 0 20 0 15 0 14035924 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3495183 2661599 3239 1 0 3483476 0
[pid=31316/tid=31317] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2477.43 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) R 31314 31314 18108 0 -1 4202560 1582291 0 0 0 247636 107 0 0 20 0 15 0 14035924 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549568063032 140549203105950 0 4 1 16800974 0 0 0 -1 5 0 0 203 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.4 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 94467 0 0 0 617 223 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.33 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 101090 0 0 0 615 218 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.37 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 88864 0 0 0 620 217 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13980732 memory=1380 CPUtime=8.36 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 105183 0 0 0 618 218 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13980732 memory=5937829435727638632 CPUtime=2.26 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 18155 0 0 0 217 9 0 0 20 0 15 0 14035926 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13980732 memory=3192 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549041395296 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549040342400 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13980732 memory=11588 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13980732 memory=1292 CPUtime=2.11 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 18437 0 0 0 208 3 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13980732 memory=1380 CPUtime=2.56 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 26654 0 0 0 252 4 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13980732 memory=10646396 CPUtime=0.55 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 9647 0 0 0 54 1 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035930 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31330] ppid=31314 vsize=13980732 memory=1380 CPUtime=1.58 cores=1,3,5,7
/proc/31316/task/31330/stat : 31330 (java) S 31314 31314 18108 0 -1 1077944384 2173 0 0 0 70 88 0 0 20 0 15 0 14036136 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549034028208 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10647776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.12 s]
# the end of solver process 31314 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001862 s, system=0.000123 s
[startup+2491.17 s]
# the end of solver process 31316 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.19 s, system=10.9289 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+2491.11 s]
/proc/loadavg: 2.02 2.02 2.01 3/212 31791
/proc/meminfo: memFree=20611760/32770624 swapFree=67108860/67108860
[pid=31314] ppid=31311 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31314/stat : 31314 (xcsp3-exec) S 31311 31314 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14035901 9740288 345 18446744073709551615 4194304 5098028 140733936206624 140733936204728 139970024305276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 23 0 0 7196144 7232144 18444288 140733936210297 140733936210502 140733936210502 140733936213995 0
/proc/31314/statm: 2378 345 289 221 0 87 0
[pid=31316] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2520.04 cores=1,3,5,7
/proc/31316/stat : 31316 (java) S 31314 31314 18108 0 -1 1077944320 2048328 0 0 0 250917 1087 0 0 20 0 15 0 14035924 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140737124449840 140549563825911 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
/proc/31316/statm: 3495183 2661599 3239 1 0 3483476 0
[pid=31316/tid=31317] ppid=31314 vsize=13980732 memory=10646396 CPUtime=2477.43 cores=1,3,5,7
/proc/31316/task/31317/stat : 31317 (java) R 31314 31314 18108 0 -1 4202560 1582291 0 0 0 247636 107 0 0 20 0 15 0 14035924 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549568063032 140549203105950 0 4 1 16800974 0 0 0 -1 5 0 0 203 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31318] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.4 cores=1,3,5,7
/proc/31316/task/31318/stat : 31318 (java) S 31314 31314 18108 0 -1 1077944384 94467 0 0 0 617 223 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549520792208 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31319] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.33 cores=1,3,5,7
/proc/31316/task/31319/stat : 31319 (java) S 31314 31314 18108 0 -1 1077944384 101090 0 0 0 615 218 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549519739408 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31320] ppid=31314 vsize=13980732 memory=10646396 CPUtime=8.37 cores=1,3,5,7
/proc/31316/task/31320/stat : 31320 (java) S 31314 31314 18108 0 -1 1077944384 88864 0 0 0 620 217 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549518686608 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31321] ppid=31314 vsize=13980732 memory=1380 CPUtime=8.36 cores=1,3,5,7
/proc/31316/task/31321/stat : 31321 (java) S 31314 31314 18108 0 -1 1077944384 105183 0 0 0 618 218 0 0 20 0 15 0 14035925 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549517633808 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31322] ppid=31314 vsize=13980732 memory=5937829435727638632 CPUtime=2.26 cores=1,3,5,7
/proc/31316/task/31322/stat : 31322 (java) S 31314 31314 18108 0 -1 1077944384 18155 0 0 0 217 9 0 0 20 0 15 0 14035926 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549042449264 140549563837058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31323] ppid=31314 vsize=13980732 memory=3192 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31323/stat : 31323 (java) S 31314 31314 18108 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549041395296 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31324] ppid=31314 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31324/stat : 31324 (java) S 31314 31314 18108 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 14035927 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549040342400 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31325] ppid=31314 vsize=13980732 memory=11588 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31325/stat : 31325 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549039290704 140549563844507 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31326] ppid=31314 vsize=13980732 memory=1292 CPUtime=2.11 cores=1,3,5,7
/proc/31316/task/31326/stat : 31326 (java) S 31314 31314 18108 0 -1 1077944384 18437 0 0 0 208 3 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549038238064 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31327] ppid=31314 vsize=13980732 memory=1380 CPUtime=2.56 cores=1,3,5,7
/proc/31316/task/31327/stat : 31327 (java) S 31314 31314 18108 0 -1 1077944384 26654 0 0 0 252 4 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549037185264 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31328] ppid=31314 vsize=13980732 memory=10646396 CPUtime=0.55 cores=1,3,5,7
/proc/31316/task/31328/stat : 31328 (java) S 31314 31314 18108 0 -1 1077944384 9647 0 0 0 54 1 0 0 20 0 15 0 14035929 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549036132464 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31329] ppid=31314 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31316/task/31329/stat : 31329 (java) S 31314 31314 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14035930 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549035079904 140549563836117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
[pid=31316/tid=31330] ppid=31314 vsize=13980732 memory=1380 CPUtime=1.58 cores=1,3,5,7
/proc/31316/task/31330/stat : 31330 (java) S 31314 31314 18108 0 -1 1077944384 2173 0 0 0 70 88 0 0 20 0 15 0 14036136 14316269568 2661599 18446744073709551615 4194304 4196468 140737124467296 140549034028208 140549563837058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 19988480 140737124475314 140737124475490 140737124475490 140737124478927 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10647776 KiB
Child status: 143
Real time (s): 2491.17
CPU time (s): 2520.12
CPU user time (s): 2509.19
CPU system time (s): 10.9289
CPU usage (%): 101.162
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 10650740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.19
system time used= 10.9289
maximum resident set size= 10649360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2049441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73264
involuntary context switches= 2056
# summary of solver processes directly reported to runsolver:
# pid: 31314,31316
# total CPU time (s): 2520.12
# total CPU user time (s): 2509.19
# total CPU system time (s): 10.9289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4726 second user time and 24.8649 second system time
The end