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 (13167 MiB free)
memory of node 1: 16384 MiB (13404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301240-1532876488/watcher-4301240-1532876488 -o /tmp/evaluation-result-4301240-1532876488/solver-4301240-1532876488 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10017 --watchdog 312 HOME/xcsp3-exec -seed 1198468912 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301240-1532876488.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=10927, runsolver pid=10924
[startup+0.100175 s]*
/proc/loadavg: 1.85 1.79 1.69 5/223 10943
/proc/meminfo: memFree=27192360/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14082940 memory=28824 CPUtime=0.12 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 5638 0 0 0 11 1 0 0 20 0 15 0 105211959 14420930560 7206 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3520735 7206 2993 1 0 3483012 0
[pid=10929/tid=10930] ppid=10927 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 3651 0 0 0 8 1 0 0 20 0 15 0 105211960 14420930560 7206 33554432000 4194304 4196468 140735305758960 140125112025264 140125107821974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14082940 memory=3472468648344241360 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 7206 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 7206 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 7206 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 7206 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105211962 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105211962 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105211962 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0.01 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) R 10927 10927 5155 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 105211965 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 7206 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30276 KiB
[startup+0.211058 s]*
/proc/loadavg: 1.85 1.79 1.69 4/223 10943
/proc/meminfo: memFree=27182128/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14082940 memory=41288 CPUtime=0.34 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 8302 0 0 0 32 2 0 0 20 0 15 0 105211959 14420930560 10322 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3520735 10322 3214 1 0 3483012 0
[pid=10929/tid=10930] ppid=10927 vsize=14082940 memory=5854518564242424225 CPUtime=0.19 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 5445 0 0 0 18 1 0 0 20 0 15 0 105211960 14420930560 10322 33554432000 4194304 4196468 140735305758960 140125112045024 140125091853669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14082940 memory=3472468648344241360 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 10322 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 10322 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 10322 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14420930560 10322 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105211962 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105211962 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105211962 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 617 0 0 0 2 0 0 0 20 0 15 0 105211965 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 105211965 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) R 10927 10927 5155 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 15 0 105211965 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124102806000 140125107831386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14082940 memory=140519449089664 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211965 14420930560 10322 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42740 KiB
[startup+0.313404 s]*
/proc/loadavg: 1.85 1.79 1.69 4/223 10943
/proc/meminfo: memFree=27175676/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14087196 memory=48084 CPUtime=0.53 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 9211 0 0 0 50 3 0 0 20 0 15 0 105211959 14425288704 12021 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3521799 12021 3250 1 0 3483012 0
[pid=10929/tid=10930] ppid=10927 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 6176 0 0 0 27 2 0 0 20 0 15 0 105211960 14425288704 12021 33554432000 4194304 4196468 140735305758960 140125112041152 140125091890526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14087196 memory=3472468648344241360 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105211960 14425288704 12021 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14087196 memory=140519449089664 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14425288704 12021 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14087196 memory=18 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14425288704 12021 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14087196 memory=140519317579807 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14425288704 12021 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14087196 memory=281038635138848 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105211962 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14087196 memory=140519317556751 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105211962 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14087196 memory=281038766655584 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105211962 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14087196 memory=140519317561359 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 634 0 0 0 4 0 0 0 20 0 15 0 105211965 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 306 0 0 0 4 0 0 0 20 0 15 0 105211965 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) S 10927 10927 5155 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 105211965 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211965 14425288704 12021 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49536 KiB
[startup+0.701098 s]
/proc/loadavg: 1.85 1.79 1.69 5/223 10943
/proc/meminfo: memFree=27161780/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14089320 memory=82780 CPUtime=1.54 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 11862 0 0 0 149 5 0 0 20 0 15 0 105211959 14427463680 20695 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3522330 20695 3363 1 0 3483524 0
[pid=10929/tid=10930] ppid=10927 vsize=14089320 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 7072 0 0 0 63 4 0 0 20 0 15 0 105211960 14427463680 20695 33554432000 4194304 4196468 140735305758960 140125112045040 140125107821974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105211960 14427463680 20695 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14089320 memory=4638778402628129104 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14427463680 20695 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14427463680 20695 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211960 14427463680 20695 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105211962 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105211962 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105211962 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14089320 memory=30500 CPUtime=0.23 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) R 10927 10927 5155 0 -1 4202560 1125 0 0 0 23 0 0 0 20 0 15 0 105211965 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124104902192 140125088509572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14089320 memory=1244 CPUtime=0.23 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 642 0 0 0 23 0 0 0 20 0 15 0 105211965 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14089320 memory=2268 CPUtime=0.38 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) R 10927 10927 5155 0 -1 1077944384 1715 0 0 0 38 0 0 0 20 0 15 0 105211965 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105211965 14427463680 20695 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 84232 KiB
[startup+1.5008 s]
/proc/loadavg: 1.94 1.81 1.69 5/223 10943
/proc/meminfo: memFree=27125428/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14091368 memory=1452 CPUtime=2.25 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 16070 0 0 0 223 2 0 0 20 0 15 0 105211965 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14091368 memory=1452 CPUtime=2.39 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 14435 0 0 0 238 1 0 0 20 0 15 0 105211965 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14091368 memory=177548 CPUtime=0.65 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) S 10927 10927 5155 0 -1 1077944384 7149 0 0 0 64 1 0 0 20 0 15 0 105211965 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14091368 memory=183704 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14091368 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 343 0 0 0 1 3 0 0 20 0 15 0 105211965 14429560832 44387 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 167.83 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 179000 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.82 1.72 3/223 11027
/proc/meminfo: memFree=27131172/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14091368 memory=150376 CPUtime=227.88 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 59993 0 0 0 22767 21 0 0 20 0 15 0 105211959 14429560832 37594 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3522842 37594 3420 1 0 3484036 0
[pid=10929/tid=10930] ppid=10927 vsize=14091368 memory=150376 CPUtime=222.09 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 13133 0 0 0 22204 5 0 0 20 0 15 0 105211960 14429560832 37594 33554432000 4194304 4196468 140735305758960 140125112049664 140124740030053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14091368 memory=153948 CPUtime=0.07 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 956 0 0 0 6 1 0 0 20 0 15 0 105211960 14429560832 37594 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14091368 memory=151404 CPUtime=0.07 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1686 0 0 0 6 1 0 0 20 0 15 0 105211960 14429560832 37594 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14091368 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1054 0 0 0 6 1 0 0 20 0 15 0 105211960 14429560832 37594 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14091368 memory=150376 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1971 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 37594 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14091368 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 1687 0 0 0 4 1 0 0 20 0 15 0 105211962 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14091368 memory=150376 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14091368 memory=7593440977778992742 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14091368 memory=1452 CPUtime=2.25 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 16072 0 0 0 223 2 0 0 20 0 15 0 105211965 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14091368 memory=150376 CPUtime=2.39 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 14437 0 0 0 238 1 0 0 20 0 15 0 105211965 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14091368 memory=1452 CPUtime=0.65 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) S 10927 10927 5155 0 -1 1077944384 7249 0 0 0 64 1 0 0 20 0 15 0 105211965 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14091368 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14091368 memory=4036 CPUtime=0.05 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 373 0 0 0 2 3 0 0 20 0 15 0 105211965 14429560832 37594 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 227.88 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 151828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.501 s]
/proc/loadavg: 1.85 1.83 1.73 3/223 11027
/proc/meminfo: memFree=27157968/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14091368 memory=147824 CPUtime=252.09 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 60095 0 0 0 25188 21 0 0 20 0 15 0 105211959 14429560832 36956 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3522842 36956 3420 1 0 3484036 0
[pid=10929/tid=10930] ppid=10927 vsize=14091368 memory=148336 CPUtime=246.28 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 13216 0 0 0 24623 5 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125112048736 140124739713994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14091368 memory=148336 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 958 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14091368 memory=149352 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1689 0 0 0 6 2 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14091368 memory=147824 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1056 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14091368 memory=147824 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1971 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14091368 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 1697 0 0 0 4 1 0 0 20 0 15 0 105211962 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14091368 memory=150376 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14091368 memory=148336 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14091368 memory=1452 CPUtime=2.25 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 16072 0 0 0 223 2 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14091368 memory=151404 CPUtime=2.39 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 14437 0 0 0 238 1 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14091368 memory=148324 CPUtime=0.65 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) S 10927 10927 5155 0 -1 1077944384 7249 0 0 0 64 1 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14091368 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14091368 memory=30500 CPUtime=0.06 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 375 0 0 0 2 4 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 149276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.51 s]
# the end of solver process 10927 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000773 s, system=0.001547 s
[startup+246.515 s]
# the end of solver process 10929 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.89 s, system=0.226659 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+246.501 s]
/proc/loadavg: 1.85 1.83 1.73 3/223 11027
/proc/meminfo: memFree=27157968/32770624 swapFree=67108856/67108860
[pid=10927] ppid=10924 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (xcsp3-exec) S 10924 10927 5155 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105211959 115843072 363 33554432000 4194304 5098028 140725765233920 140725765232024 140197702570620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20545536 140725765235776 140725765235977 140725765235977 140725765238730 0
/proc/10927/statm: 28282 363 306 221 0 87 0
[pid=10929] ppid=10927 vsize=14091368 memory=147824 CPUtime=252.09 cores=0,2,4,6
/proc/10929/stat : 10929 (java) S 10927 10927 5155 0 -1 1077944320 60095 0 0 0 25188 21 0 0 20 0 15 0 105211959 14429560832 36956 33554432000 4194304 4196468 140735305758960 140735305741504 140125107810039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
/proc/10929/statm: 3522842 36956 3420 1 0 3484036 0
[pid=10929/tid=10930] ppid=10927 vsize=14091368 memory=148336 CPUtime=246.28 cores=0,2,4,6
/proc/10929/task/10930/stat : 10930 (java) R 10927 10927 5155 0 -1 4202560 13216 0 0 0 24623 5 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125112048736 140124739713994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10931] ppid=10927 vsize=14091368 memory=148336 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10931/stat : 10931 (java) S 10927 10927 5155 0 -1 1077944384 958 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125060430864 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10932] ppid=10927 vsize=14091368 memory=149352 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10932/stat : 10932 (java) S 10927 10927 5155 0 -1 1077944384 1689 0 0 0 6 2 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125059378320 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10933] ppid=10927 vsize=14091368 memory=147824 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10933/stat : 10933 (java) S 10927 10927 5155 0 -1 1077944384 1056 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125058325264 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10934] ppid=10927 vsize=14091368 memory=147824 CPUtime=0.08 cores=0,2,4,6
/proc/10929/task/10934/stat : 10934 (java) S 10927 10927 5155 0 -1 1077944384 1971 0 0 0 7 1 0 0 20 0 15 0 105211960 14429560832 36956 33554432000 4194304 4196468 140735305758960 140125057272720 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10935] ppid=10927 vsize=14091368 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/10929/task/10935/stat : 10935 (java) S 10927 10927 5155 0 -1 1077944384 1697 0 0 0 4 1 0 0 20 0 15 0 105211962 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124109121776 140125107821186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10936] ppid=10927 vsize=14091368 memory=150376 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10936/stat : 10936 (java) S 10927 10927 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124108068000 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10937] ppid=10927 vsize=14091368 memory=148336 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10937/stat : 10937 (java) S 10927 10927 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105211962 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124107014896 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10938] ppid=10927 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10938/stat : 10938 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124105963472 140125107828635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10939] ppid=10927 vsize=14091368 memory=1452 CPUtime=2.25 cores=0,2,4,6
/proc/10929/task/10939/stat : 10939 (java) S 10927 10927 5155 0 -1 1077944384 16072 0 0 0 223 2 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124104911600 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10940] ppid=10927 vsize=14091368 memory=151404 CPUtime=2.39 cores=0,2,4,6
/proc/10929/task/10940/stat : 10940 (java) S 10927 10927 5155 0 -1 1077944384 14437 0 0 0 238 1 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124103859056 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10941] ppid=10927 vsize=14091368 memory=148324 CPUtime=0.65 cores=0,2,4,6
/proc/10929/task/10941/stat : 10941 (java) S 10927 10927 5155 0 -1 1077944384 7249 0 0 0 64 1 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124102806000 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10942] ppid=10927 vsize=14091368 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/10929/task/10942/stat : 10942 (java) S 10927 10927 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124101753696 140125107820245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
[pid=10929/tid=10943] ppid=10927 vsize=14091368 memory=30500 CPUtime=0.06 cores=0,2,4,6
/proc/10929/task/10943/stat : 10943 (java) S 10927 10927 5155 0 -1 1077944384 375 0 0 0 2 4 0 0 20 0 15 0 105211965 14429560832 36956 33554432000 4194304 4196468 140735305758960 140124100700720 140125107821186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140735305761932 140735305762102 140735305762102 140735305764815 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 149276 KiB
Child status: 143
Real time (s): 246.515
CPU time (s): 252.116
CPU user time (s): 251.89
CPU system time (s): 0.226659
CPU usage (%): 102.272
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 244464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.89
system time used= 0.226659
maximum resident set size= 243012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9213
involuntary context switches= 307
# summary of solver processes directly reported to runsolver:
# pid: 10927,10929
# total CPU time (s): 252.116
# total CPU user time (s): 251.89
# total CPU system time (s): 0.226659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39521 second user time and 2.46242 second system time
The end