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 (14862 MiB free)
memory of node 1: 16384 MiB (15488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394332-1568325534/watcher-4394332-1568325534 -o /tmp/evaluation-result-4394332-1568325534/solver-4394332-1568325534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1707483705 HOME/instance-4394332-1568325534.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27633, runsolver pid=27630
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 6.07 6.28 6.34 4/233 27649
/proc/meminfo: memFree=31061980/32770624 swapFree=66933556/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
[pid=27635] ppid=27633 vsize=15144768 memory=28872 CPUtime=0.13 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 5712 0 0 0 12 1 0 0 20 0 15 0 408824893 15508242432 7218 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3786192 7218 3158 1 0 3748377 0
[pid=27635/tid=27636] ppid=27633 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27633 25300 0 -1 4202560 3569 0 0 0 9 0 0 0 20 0 15 0 408824893 15508242432 7218 33554432000 4194304 4196468 140725448883040 139854523186768 139854518967702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15144768 memory=3472467884452336848 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 7218 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 7218 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 7218 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 7218 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824895 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408824896 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853986468768 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408824896 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853985416176 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27633 25300 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 408824898 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853983312368 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27633 25300 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 408824898 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853982259824 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0.02 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) R 27633 27633 25300 0 -1 4202560 388 0 0 0 2 0 0 0 20 0 15 0 408824898 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853981207280 139854518967702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824899 15508242432 7218 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30320 KiB
[startup+0.210807 s]*
/proc/loadavg: 6.07 6.28 6.34 5/233 27649
/proc/meminfo: memFree=31047984/32770624 swapFree=66933556/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
[pid=27635] ppid=27633 vsize=15144768 memory=40856 CPUtime=0.34 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 9452 0 0 0 31 3 0 0 20 0 15 0 408824893 15508242432 10214 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3786192 10214 3276 1 0 3748377 0
[pid=27635/tid=27636] ppid=27633 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27633 25300 0 -1 4202560 6600 0 0 0 18 2 0 0 20 0 15 0 408824893 15508242432 10214 33554432000 4194304 4196468 140725448883040 139854523194768 139854503036254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15144768 memory=3472467884452336848 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 10214 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 10214 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 10214 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15508242432 10214 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408824895 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408824896 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853986468768 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408824896 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853985416176 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27633 25300 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 15 0 408824898 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853983312368 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27633 25300 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 408824898 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853982259824 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0.08 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27633 25300 0 -1 1077944384 801 0 0 0 8 0 0 0 20 0 15 0 408824898 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853981207280 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15144768 memory=139755557185152 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824899 15508242432 10214 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42304 KiB
[startup+0.320628 s]*
/proc/loadavg: 6.07 6.28 6.34 3/233 27649
/proc/meminfo: memFree=31040456/32770624 swapFree=66933556/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
[pid=27635] ppid=27633 vsize=15149024 memory=50464 CPUtime=0.54 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 10980 0 0 0 51 3 0 0 20 0 15 0 408824893 15512600576 12616 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3787256 12616 3351 1 0 3748377 0
[pid=27635/tid=27636] ppid=27633 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27633 25300 0 -1 4202560 7918 0 0 0 28 2 0 0 20 0 15 0 408824893 15512600576 12616 33554432000 4194304 4196468 140725448883040 139854523188160 139854503036254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15149024 memory=3472467884452336848 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15512600576 12616 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15149024 memory=139755557185152 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15512600576 12616 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15512600576 12616 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15149024 memory=139755417380895 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15512600576 12616 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15149024 memory=279510834741024 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408824895 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15149024 memory=139755417357839 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408824896 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853986468768 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15149024 memory=279510974552160 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408824896 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853985416176 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15149024 memory=139755417362447 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27633 25300 0 -1 1077944384 732 0 0 0 5 0 0 0 20 0 15 0 408824898 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853983312368 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) R 27633 27633 25300 0 -1 4202560 113 0 0 0 3 0 0 0 20 0 15 0 408824898 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853982259824 139854498137137 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15149024 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27633 25300 0 -1 1077944384 911 0 0 0 13 0 0 0 20 0 15 0 408824898 15512600576 12616 33554432000 4194304 4196468 140725448883040 139853981207280 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15512600576 12681 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824899 15512600576 12681 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51912 KiB
[startup+0.708588 s]
/proc/loadavg: 6.07 6.28 6.34 4/233 27649
/proc/meminfo: memFree=31029352/32770624 swapFree=66933556/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
[pid=27635] ppid=27633 vsize=15151148 memory=83772 CPUtime=1.56 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 14601 0 0 0 151 5 0 0 20 0 15 0 408824893 15514775552 20943 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3787787 20943 3449 1 0 3748889 0
[pid=27635/tid=27636] ppid=27633 vsize=15151148 memory=7236547281622689387 CPUtime=0.69 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27633 25300 0 -1 4202560 9339 0 0 0 65 4 0 0 20 0 15 0 408824893 15514775552 20943 33554432000 4194304 4196468 140725448883040 139854523192688 139854155411903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15151148 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15514775552 20943 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15151148 memory=6298373484264312918 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15514775552 20943 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15151148 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408824894 15514775552 20943 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15151148 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824894 15514775552 20943 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15151148 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408824895 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408824896 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853986468768 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408824896 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853985416176 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15151148 memory=20060 CPUtime=0.22 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) R 27633 27633 25300 0 -1 4202560 1181 0 0 0 22 0 0 0 20 0 15 0 408824898 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853983300400 139854502441717 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15151148 memory=984 CPUtime=0.2 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) R 27633 27633 25300 0 -1 4202560 632 0 0 0 20 0 0 0 20 0 15 0 408824898 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853982239856 139854498194224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15151148 memory=2032 CPUtime=0.42 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) R 27633 27633 25300 0 -1 4202560 2141 0 0 0 42 0 0 0 20 0 15 0 408824898 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853981205072 139854498354431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15151148 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408824898 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15151148 memory=7013348624500549744 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408824899 15514775552 20943 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85220 KiB
[startup+1.50159 s]
/proc/loadavg: 6.07 6.28 6.34 9/237 27653
/proc/meminfo: memFree=30969124/32770624 swapFree=66933556/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 243046 0 0 0 222709 186 0 0 20 0 19 0 408824893 15790571520 112873 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3855120 112873 3528 1 0 3816222 0
[pid=27635/tid=27636] ppid=27633 vsize=15420480 memory=452520 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) S 27633 27633 25300 0 -1 1077944384 13830 0 0 0 81 5 0 0 20 0 19 0 408824893 15790571520 112873 33554432000 4194304 4196468 140725448883040 139854523196544 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15420480 memory=1448 CPUtime=0.71 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 15534 0 0 0 63 8 0 0 20 0 19 0 408824894 15790571520 112873 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15420480 memory=1448 CPUtime=0.72 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 18655 0 0 0 64 8 0 0 20 0 19 0 408824894 15790571520 112873 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15420480 memory=451492 CPUtime=0.72 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 18032 0 0 0 64 8 0 0 20 0 19 0 408824894 15790571520 112873 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15420480 memory=1448 CPUtime=0.72 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 17937 0 0 0 64 8 0 0 20 0 19 0 408824894 15790571520 112873 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15420480 memory=519119255 CPUtime=1.79 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 20676 0 0 0 57 122 0 0 20 0 19 0 408824895 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15420480 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408824896 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853986468832 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15420480 memory=451492 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408824896 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853985416192 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15420480 memory=451492 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408824898 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15420480 memory=1448 CPUtime=3.84 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27633 25300 0 -1 1077944384 27939 0 0 0 382 2 0 0 20 0 19 0 408824898 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853983312368 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15420480 memory=1448 CPUtime=3.8 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27633 25300 0 -1 1077944384 22919 0 0 0 378 2 0 0 20 0 19 0 408824898 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853982259824 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15420480 memory=1448 CPUtime=0.95 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27633 25300 0 -1 1077944384 17091 0 0 0 93 2 0 0 20 0 19 0 408824898 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853981207280 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15420480 memory=504 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408824898 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15420480 memory=1564 CPUtime=0.59 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 3956 0 0 0 29 30 0 0 20 0 19 0 408824899 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28940] ppid=27633 vsize=15420480 memory=1448 CPUtime=16.48 cores=1,3,5,7
/proc/27635/task/28940/stat : 28940 (java) R 27633 27633 25300 0 -1 4202560 601 0 0 0 1648 0 0 0 20 0 19 0 408905450 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853967795728 139854158139719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28941] ppid=27633 vsize=15420480 memory=3620 CPUtime=16.47 cores=1,3,5,7
/proc/27635/task/28941/stat : 28941 (java) R 27633 27633 25300 0 -1 4202560 814 0 0 0 1647 0 0 0 20 0 19 0 408905450 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853966741832 139854159326911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28942] ppid=27633 vsize=15420480 memory=139755557183969 CPUtime=16.5 cores=1,3,5,7
/proc/27635/task/28942/stat : 28942 (java) R 27633 27633 25300 0 -1 4202560 472 0 0 0 1650 0 0 0 20 0 19 0 408905450 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853964636616 139854500362066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28943] ppid=27633 vsize=15420480 memory=33 CPUtime=16.49 cores=1,3,5,7
/proc/27635/task/28943/stat : 28943 (java) R 27633 27633 25300 0 -1 4202560 511 0 0 0 1649 0 0 0 20 0 19 0 408905450 15790571520 112873 33554432000 4194304 4196468 140725448883040 139853963583504 139854158469475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 2228.95 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 452940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+865.502 s]
/proc/loadavg: 6.11 4.69 5.16 6/238 28951
/proc/meminfo: memFree=30718376/32770624 swapFree=66933604/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
[pid=27635] ppid=27633 vsize=15420480 memory=342196 CPUtime=2400.03 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 248309 0 0 0 239792 211 0 0 20 0 19 0 408824893 15790571520 85549 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3855120 85549 3544 1 0 3816222 0
[pid=27635/tid=27636] ppid=27633 vsize=15420480 memory=342196 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) S 27633 27633 25300 0 -1 1077944384 13830 0 0 0 81 5 0 0 20 0 19 0 408824893 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854523196544 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15420480 memory=341896 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 16291 0 0 0 77 9 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15420480 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 19367 0 0 0 78 8 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15420480 memory=342020 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 18691 0 0 0 78 8 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15420480 memory=342196 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 18718 0 0 0 78 8 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15420480 memory=342196 CPUtime=2.15 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 22279 0 0 0 69 146 0 0 20 0 19 0 408824895 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408824896 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853986468832 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15420480 memory=342196 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408824896 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853985416192 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15420480 memory=342196 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15420480 memory=342196 CPUtime=3.84 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27633 25300 0 -1 1077944384 27943 0 0 0 382 2 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853983312368 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15420480 memory=1448 CPUtime=3.8 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27633 25300 0 -1 1077944384 22923 0 0 0 378 2 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853982259824 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15420480 memory=519119255 CPUtime=0.95 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27633 25300 0 -1 1077944384 17095 0 0 0 93 2 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853981207280 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15420480 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15420480 memory=342196 CPUtime=0.63 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 3969 0 0 0 31 32 0 0 20 0 19 0 408824899 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28940] ppid=27633 vsize=15420480 memory=1448 CPUtime=58.85 cores=1,3,5,7
/proc/27635/task/28940/stat : 28940 (java) R 27633 27633 25300 0 -1 4202560 716 0 0 0 5885 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853967793608 139854159952214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28941] ppid=27633 vsize=15420480 memory=6791534058613427641 CPUtime=58.96 cores=1,3,5,7
/proc/27635/task/28941/stat : 28941 (java) R 27633 27633 25300 0 -1 4202560 1099 0 0 0 5896 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853966741232 139854158469468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28942] ppid=27633 vsize=15420480 memory=20156 CPUtime=59.03 cores=1,3,5,7
/proc/27635/task/28942/stat : 28942 (java) R 27633 27633 25300 0 -1 4202560 653 0 0 0 5903 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853964638736 140725449382088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28943] ppid=27633 vsize=15420480 memory=984 CPUtime=59.22 cores=1,3,5,7
/proc/27635/task/28943/stat : 28943 (java) R 27633 27633 25300 0 -1 4202560 656 0 0 0 5922 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853963583504 139854158469879 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 343644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+865.536 s]
# the end of solver process 27633 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001115 s, system=0.001115 s
[startup+865.589 s]
# the end of solver process 27635 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.25 s, system=2.1207 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+865.502 s]
/proc/loadavg: 6.11 4.69 5.16 6/238 28951
/proc/meminfo: memFree=30718376/32770624 swapFree=66933604/67108860
[pid=27633] ppid=27630 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27633/stat : 27633 (xcsp3-exec) S 27630 27633 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408824893 115843072 362 33554432000 4194304 5098028 140725747712080 140725747710184 140590286664316 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37810176 140725747721082 140725747721325 140725747721325 140725747724234 0
/proc/27633/statm: 28282 362 304 221 0 87 0
[pid=27635] ppid=27633 vsize=15420480 memory=342196 CPUtime=2400.03 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27633 25300 0 -1 1077944320 248309 0 0 0 239792 211 0 0 20 0 19 0 408824893 15790571520 85549 33554432000 4194304 4196468 140725448883040 140725448865584 139854518955767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
/proc/27635/statm: 3855120 85549 3544 1 0 3816222 0
[pid=27635/tid=27636] ppid=27633 vsize=15420480 memory=342196 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) S 27633 27633 25300 0 -1 1077944384 13830 0 0 0 81 5 0 0 20 0 19 0 408824893 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854523196544 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27637] ppid=27633 vsize=15420480 memory=341896 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27637/stat : 27637 (java) S 27633 27633 25300 0 -1 1077944384 16291 0 0 0 77 9 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854471576336 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27638] ppid=27633 vsize=15420480 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27633 25300 0 -1 1077944384 19367 0 0 0 78 8 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854110186384 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27639] ppid=27633 vsize=15420480 memory=342020 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27633 25300 0 -1 1077944384 18691 0 0 0 78 8 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854109133840 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27640] ppid=27633 vsize=15420480 memory=342196 CPUtime=0.86 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27633 25300 0 -1 1077944384 18718 0 0 0 78 8 0 0 20 0 19 0 408824894 15790571520 85549 33554432000 4194304 4196468 140725448883040 139854108081296 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27641] ppid=27633 vsize=15420480 memory=342196 CPUtime=2.15 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27633 25300 0 -1 1077944384 22279 0 0 0 69 146 0 0 20 0 19 0 408824895 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853987522544 139854518966914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27642] ppid=27633 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27633 25300 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408824896 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853986468832 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27643] ppid=27633 vsize=15420480 memory=342196 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27633 25300 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408824896 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853985416192 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27644] ppid=27633 vsize=15420480 memory=342196 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853984364752 139854518974363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27645] ppid=27633 vsize=15420480 memory=342196 CPUtime=3.84 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27633 25300 0 -1 1077944384 27943 0 0 0 382 2 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853983312368 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27646] ppid=27633 vsize=15420480 memory=1448 CPUtime=3.8 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27633 25300 0 -1 1077944384 22923 0 0 0 378 2 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853982259824 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27647] ppid=27633 vsize=15420480 memory=519119255 CPUtime=0.95 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27633 25300 0 -1 1077944384 17095 0 0 0 93 2 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853981207280 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27648] ppid=27633 vsize=15420480 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27633 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408824898 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853980154976 139854518965973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=27649] ppid=27633 vsize=15420480 memory=342196 CPUtime=0.63 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27633 25300 0 -1 1077944384 3969 0 0 0 31 32 0 0 20 0 19 0 408824899 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853979101488 139854518966914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28940] ppid=27633 vsize=15420480 memory=1448 CPUtime=58.85 cores=1,3,5,7
/proc/27635/task/28940/stat : 28940 (java) R 27633 27633 25300 0 -1 4202560 716 0 0 0 5885 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853967793608 139854159952214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28941] ppid=27633 vsize=15420480 memory=6791534058613427641 CPUtime=58.96 cores=1,3,5,7
/proc/27635/task/28941/stat : 28941 (java) R 27633 27633 25300 0 -1 4202560 1099 0 0 0 5896 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853966741232 139854158469468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28942] ppid=27633 vsize=15420480 memory=20156 CPUtime=59.03 cores=1,3,5,7
/proc/27635/task/28942/stat : 28942 (java) R 27633 27633 25300 0 -1 4202560 653 0 0 0 5903 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853964638736 140725449382088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
[pid=27635/tid=28943] ppid=27633 vsize=15420480 memory=984 CPUtime=59.22 cores=1,3,5,7
/proc/27635/task/28943/stat : 28943 (java) R 27633 27633 25300 0 -1 4202560 656 0 0 0 5922 0 0 0 20 0 19 0 408905450 15790571520 85549 33554432000 4194304 4196468 140725448883040 139853963583504 139854158469879 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140725448889327 140725448889498 140725448889498 140725448892367 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 343644 KiB
Child status: 143
Real time (s): 865.589
CPU time (s): 2400.37
CPU user time (s): 2398.25
CPU system time (s): 2.1207
CPU usage (%): 277.311
Max. virtual memory (cumulated for all children) (KiB): 15534792
Max. memory (cumulated for all children) (KiB): 498108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.25
system time used= 2.1207
maximum resident set size= 496884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35145
involuntary context switches= 26453
# summary of solver processes directly reported to runsolver:
# pid: 27633,27635
# total CPU time (s): 2400.37
# total CPU user time (s): 2398.25
# total CPU system time (s): 2.1207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71586 second user time and 9.72977 second system time
The end