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 (12275 MiB free)
memory of node 1: 16384 MiB (15511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281840-1503126948/watcher-4281840-1503126948 -o /tmp/evaluation-result-4281840-1503126948/solver-4281840-1503126948 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2080266164 HOME/instance-4281840-1503126948.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
Current StackSize limit: 8192 KiB
solver pid=20265, runsolver pid=20262
[startup+0.10094 s]*
/proc/loadavg: 1.98 1.93 1.87 3/202 20267
/proc/meminfo: memFree=28453756/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=11658652 memory=9628 CPUtime=0 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 2185 0 0 0 0 0 0 0 20 0 3 0 101035471 11938459648 2407 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 2914663 2407 1151 1 0 2904633 0
[pid=20267/tid=20268] ppid=20265 vsize=12298740 memory=-6298403292211941730 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 968 0 0 0 0 0 0 0 20 0 6 0 101035471 12593909760 2468 18446744073709551615 4194304 4196468 140729154702832 140029960295736 140029948771738 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13355508 memory=5767614982577592713 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 101035472 13676040192 2468 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13355668 memory=139696169608832 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 101035472 13676204032 2468 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13355668 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 101035472 13676204032 2468 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13356032 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 101035472 13676576768 2468 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11668164 KiB
Current children cumulated memory: 11004 KiB
[startup+0.210067 s]*
/proc/loadavg: 1.98 1.93 1.87 3/216 20281
/proc/meminfo: memFree=28439528/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13974352 memory=27104 CPUtime=0.09 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 5177 0 0 0 8 1 0 0 20 0 15 0 101035471 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3493588 6776 2750 1 0 3482964 0
[pid=20267/tid=20268] ppid=20265 vsize=13974352 memory=7824049360276988061 CPUtime=0.06 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 3323 0 0 0 6 0 0 0 20 0 15 0 101035471 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029960280464 140029940135262 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13974352 memory=5767614982577592713 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13974352 memory=139696169608832 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035473 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101035474 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101035474 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) S 20265 20265 13977 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 101035476 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029497604592 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035476 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029496552048 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13974352 memory=139696169608832 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) R 20265 20265 13977 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 15 0 101035477 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029948291902 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13974352 memory=139696169608832 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035480 14309736448 6776 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28480 KiB
[startup+0.313643 s]*
/proc/loadavg: 1.98 1.93 1.87 6/216 20281
/proc/meminfo: memFree=28425816/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13974352 memory=37276 CPUtime=0.29 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 8873 0 0 0 26 3 0 0 20 0 15 0 101035471 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3493588 9319 2982 1 0 3482964 0
[pid=20267/tid=20268] ppid=20265 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 6127 0 0 0 15 2 0 0 20 0 15 0 101035471 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029960288272 140029956076701 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13974352 memory=139696169608831 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035473 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101035474 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13974352 memory=139696169608832 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101035474 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) S 20265 20265 13977 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 101035476 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029497604592 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) R 20265 20265 13977 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 101035476 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029496552048 140029940954400 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) R 20265 20265 13977 0 -1 1077944384 741 0 0 0 6 0 0 0 20 0 15 0 101035477 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029956065922 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035480 14309736448 9319 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38652 KiB
[startup+0.701773 s]
/proc/loadavg: 1.98 1.93 1.87 5/216 20281
/proc/meminfo: memFree=28411616/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13980732 memory=79036 CPUtime=1.31 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 13427 0 0 0 126 5 0 0 20 0 15 0 101035471 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3495183 19759 3166 1 0 3483476 0
[pid=20267/tid=20268] ppid=20265 vsize=13980732 memory=139 CPUtime=0.54 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 8008 0 0 0 51 3 0 0 20 0 15 0 101035471 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029960275712 140029948732789 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13980732 memory=8443538352883892301 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 101035473 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13980732 memory=288292173013844728 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13980732 memory=288230376152727813 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) R 20265 20265 13977 0 -1 4202560 1299 0 0 0 24 0 0 0 20 0 15 0 101035476 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029497591424 140029956076122 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) R 20265 20265 13977 0 -1 4202560 829 0 0 0 19 0 0 0 20 0 15 0 101035476 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029496542432 140029956076122 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) S 20265 20265 13977 0 -1 1077944384 1982 0 0 0 30 0 0 0 20 0 15 0 101035477 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035480 14316269568 19759 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 80412 KiB
[startup+1.50086 s]
/proc/loadavg: 1.98 1.93 1.87 5/216 20281
/proc/meminfo: memFree=28346152/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13980732 memory=138268 CPUtime=3.67 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 21858 0 0 0 360 7 0 0 20 0 15 0 101035471 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3495183 34567 3196 1 0 3483476 0
[pid=20267/tid=20268] ppid=20265 vsize=13980732 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 9036 0 0 0 130 4 0 0 20 0 15 0 101035471 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029960289344 140029580038117 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13980732 memory=7228385430613878354 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13980732 memory=7013623321951496274 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101035472 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13980732 memory=7301857172715104592 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 101035473 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 34567 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=20267/tid=20273] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.06 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 1456 0 0 0 3 3 0 0 20 0 15 0 101035473 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13980732 memory=260704 CPUtime=1.97 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) S 20265 20265 13977 0 -1 1077944384 21429 0 0 0 195 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029497604592 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13980732 memory=1376 CPUtime=1.45 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) S 20265 20265 13977 0 -1 1077944384 14046 0 0 0 143 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029496552048 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13980732 memory=1376 CPUtime=0.74 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) S 20265 20265 13977 0 -1 1077944384 13644 0 0 0 72 2 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13980732 memory=4120 CPUtime=1.36 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1369 0 0 0 57 79 0 0 20 0 15 0 101035480 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 2447.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262080 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/212 20505
/proc/meminfo: memFree=29624272/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13980732 memory=260704 CPUtime=2507.84 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 78710 0 0 0 250692 92 0 0 20 0 15 0 101035471 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3495183 65176 3240 1 0 3483476 0
[pid=20267/tid=20268] ppid=20265 vsize=13980732 memory=260704 CPUtime=2501.97 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 21863 0 0 0 250190 7 0 0 20 0 15 0 101035471 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029960291392 140029580695384 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 2008 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 181 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 790 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13980732 memory=16240 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 478 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13980732 memory=1376 CPUtime=0.06 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 1459 0 0 0 3 3 0 0 20 0 15 0 101035473 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13980732 memory=1376 CPUtime=1.97 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) S 20265 20265 13977 0 -1 1077944384 21431 0 0 0 195 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029497604592 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13980732 memory=260704 CPUtime=1.45 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) S 20265 20265 13977 0 -1 1077944384 14048 0 0 0 143 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029496552048 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13980732 memory=1728 CPUtime=0.74 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) S 20265 20265 13977 0 -1 1077944384 13691 0 0 0 72 2 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13980732 memory=1996 CPUtime=1.39 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1375 0 0 0 58 81 0 0 20 0 15 0 101035480 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 2507.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 2.00 2.06 2.05 3/212 20505
/proc/meminfo: memFree=29624296/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13980732 memory=260704 CPUtime=2520.03 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 78815 0 0 0 251911 92 0 0 20 0 15 0 101035471 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3495183 65176 3240 1 0 3483476 0
[pid=20267/tid=20268] ppid=20265 vsize=13980732 memory=260704 CPUtime=2514.16 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 21968 0 0 0 251409 7 0 0 20 0 15 0 101035471 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029960291392 140029580316396 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 2008 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 181 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 790 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 478 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13980732 memory=1376 CPUtime=0.06 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 1459 0 0 0 3 3 0 0 20 0 15 0 101035473 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13980732 memory=260704 CPUtime=1.97 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) S 20265 20265 13977 0 -1 1077944384 21431 0 0 0 195 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029497604592 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13980732 memory=1376 CPUtime=1.45 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) S 20265 20265 13977 0 -1 1077944384 14048 0 0 0 143 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029496552048 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.74 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) S 20265 20265 13977 0 -1 1077944384 13691 0 0 0 72 2 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13980732 memory=1376 CPUtime=1.39 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1375 0 0 0 58 81 0 0 20 0 15 0 101035480 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 20265 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.13 s, system=0.934035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.5 s]
/proc/loadavg: 2.00 2.06 2.05 3/212 20505
/proc/meminfo: memFree=29624296/32770624 swapFree=67108860/67108860
[pid=20265] ppid=20262 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20265/stat : 20265 (xcsp3-exec) S 20262 20265 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101035461 9740288 344 18446744073709551615 4194304 5098028 140721817676784 140721817674888 140503006114428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14180352 140721817682296 140721817682501 140721817682501 140721817685995 0
/proc/20265/statm: 2378 344 289 221 0 87 0
[pid=20267] ppid=20265 vsize=13980732 memory=260704 CPUtime=2520.03 cores=1,3,5,7
/proc/20267/stat : 20267 (java) S 20265 20265 13977 0 -1 1077944320 78815 0 0 0 251911 92 0 0 20 0 15 0 101035471 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140729154685376 140029956054775 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
/proc/20267/statm: 3495183 65176 3240 1 0 3483476 0
[pid=20267/tid=20268] ppid=20265 vsize=13980732 memory=260704 CPUtime=2514.16 cores=1,3,5,7
/proc/20267/task/20268/stat : 20268 (java) R 20265 20265 13977 0 -1 4202560 21968 0 0 0 251409 7 0 0 20 0 15 0 101035471 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029960291392 140029580316396 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20269] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20269/stat : 20269 (java) S 20265 20265 13977 0 -1 1077944384 2008 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029898001168 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20270] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20270/stat : 20270 (java) S 20265 20265 13977 0 -1 1077944384 181 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029896948624 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20271] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20271/stat : 20271 (java) S 20265 20265 13977 0 -1 1077944384 790 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029895896080 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20272] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.04 cores=1,3,5,7
/proc/20267/task/20272/stat : 20272 (java) S 20265 20265 13977 0 -1 1077944384 478 0 0 0 3 1 0 0 20 0 15 0 101035472 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029894843536 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20273] ppid=20265 vsize=13980732 memory=1376 CPUtime=0.06 cores=1,3,5,7
/proc/20267/task/20273/stat : 20273 (java) S 20265 20265 13977 0 -1 1077944384 1459 0 0 0 3 3 0 0 20 0 15 0 101035473 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029501814768 140029956065922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20274] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20274/stat : 20274 (java) S 20265 20265 13977 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029500760992 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20275] ppid=20265 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20275/stat : 20275 (java) S 20265 20265 13977 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 101035474 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029499708400 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20276] ppid=20265 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20276/stat : 20276 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029498656976 140029956073371 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20277] ppid=20265 vsize=13980732 memory=260704 CPUtime=1.97 cores=1,3,5,7
/proc/20267/task/20277/stat : 20277 (java) S 20265 20265 13977 0 -1 1077944384 21431 0 0 0 195 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029497604592 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20278] ppid=20265 vsize=13980732 memory=1376 CPUtime=1.45 cores=1,3,5,7
/proc/20267/task/20278/stat : 20278 (java) S 20265 20265 13977 0 -1 1077944384 14048 0 0 0 143 2 0 0 20 0 15 0 101035476 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029496552048 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20279] ppid=20265 vsize=13980732 memory=260704 CPUtime=0.74 cores=1,3,5,7
/proc/20267/task/20279/stat : 20279 (java) S 20265 20265 13977 0 -1 1077944384 13691 0 0 0 72 2 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029495499504 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20280] ppid=20265 vsize=13980732 memory=260704 CPUtime=0 cores=1,3,5,7
/proc/20267/task/20280/stat : 20280 (java) S 20265 20265 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101035477 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029494447200 140029956064981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
[pid=20267/tid=20281] ppid=20265 vsize=13980732 memory=1376 CPUtime=1.39 cores=1,3,5,7
/proc/20267/task/20281/stat : 20281 (java) S 20265 20265 13977 0 -1 1077944384 1375 0 0 0 58 81 0 0 20 0 15 0 101035480 14316269568 65176 18446744073709551615 4194304 4196468 140729154702832 140029493393712 140029956065922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140729154707889 140729154708065 140729154708065 140729154711503 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262080 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2514.51
CPU time (s): 2520.06
CPU user time (s): 2519.13
CPU system time (s): 0.934035
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 262080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.13
system time used= 0.934035
maximum resident set size= 261276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79662
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= 57412
involuntary context switches= 1224
# summary of solver processes directly reported to runsolver:
# pid: 20265
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.13
# total CPU system time (s): 0.934035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0811 second user time and 24.9881 second system time
The end