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 (14526 MiB free)
  memory of node 1: 16384 MiB (15495 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284024-1503204478/watcher-4284024-1503204478 -o /tmp/evaluation-result-4284024-1503204478/solver-4284024-1503204478 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 16964042 HOME/instance-4284024-1503204478.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=1759, runsolver pid=1756

[startup+0.100093 s]*
/proc/loadavg: 2.37 2.11 2.19 2/199 1762
/proc/meminfo: memFree=30738840/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13358712 memory=11728 CPUtime=0 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 2733 0 0 0 0 0 0 0 20 0 6 0 108788451 13679321088 2932 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3339678 2932 1407 1 0 3329175 0
[pid=1761/tid=1762] ppid=1759 vsize=13358712 memory=1404226546352693642 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 1982 0 0 0 0 0 0 0 20 0 6 0 108788452 13679321088 3460 18446744073709551615 4194304 4196468 140735271513360 139673750651472 139673730495838 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 108788452 13679321088 3460 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13358712 memory=140318567507584 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 108788453 13679321088 3460 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 108788453 13679321088 3460 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 108788453 13679321088 3460 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 13108 KiB

[startup+0.209968 s]*
/proc/loadavg: 2.37 2.11 2.19 3/212 1775
/proc/meminfo: memFree=30727608/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13974352 memory=27684 CPUtime=0.08 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 5383 0 0 0 8 0 0 0 20 0 15 0 108788451 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3493588 6921 2721 1 0 3482964 0
[pid=1761/tid=1762] ppid=1759 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 3524 0 0 0 7 0 0 0 20 0 15 0 108788452 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673750641040 139673730495838 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13974352 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788452 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13974352 memory=3545092457352079008 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788453 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108788453 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788453 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13974352 memory=140318567507584 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108788454 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108788454 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108788455 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673288923088 139673746433947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) S 1759 1759 13977 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673287871216 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673286818672 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13974352 memory=140318567507584 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) S 1759 1759 13977 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1775] ppid=1759 vsize=13974352 memory=140318567507584 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1775/stat : 1775 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788461 14309736448 6921 18446744073709551615 4194304 4196468 140735271513360 139673283660336 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29064 KiB

[startup+0.314613 s]*
/proc/loadavg: 2.37 2.11 2.19 4/212 1775
/proc/meminfo: memFree=30715076/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13974352 memory=37584 CPUtime=0.28 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 8949 0 0 0 26 2 0 0 20 0 15 0 108788451 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3493588 9396 2982 1 0 3482964 0
[pid=1761/tid=1762] ppid=1759 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 6154 0 0 0 16 1 0 0 20 0 15 0 108788452 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673750645088 139673732483470 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788452 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788453 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108788453 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788453 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108788454 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108788454 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108788455 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 9396 18446744073709551615 4194304 4196468 140735271513360 139673288923088 139673746433947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) S 1759 1759 13977 0 -1 1077944384 671 0 0 0 2 0 0 0 20 0 15 0 108788457 14309736448 9908 18446744073709551615 4194304 4196468 140735271513360 139673287871216 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) R 1759 1759 13977 0 -1 4202560 89 0 0 0 1 0 0 0 20 0 15 0 108788457 14309736448 9908 18446744073709551615 4194304 4196468 140735271513360 139673286818672 139673731326936 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13974352 memory=140318567507584 CPUtime=0.06 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) S 1759 1759 13977 0 -1 1077944384 741 0 0 0 6 0 0 0 20 0 15 0 108788457 14309736448 9908 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14309736448 9908 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1775] ppid=1759 vsize=13974352 memory=140318567507584 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1775/stat : 1775 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788461 14309736448 9908 18446744073709551615 4194304 4196468 140735271513360 139673283660336 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38964 KiB

[startup+0.700784 s]
/proc/loadavg: 2.37 2.11 2.19 6/212 1775
/proc/meminfo: memFree=30696644/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13978684 memory=89492 CPUtime=1.38 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 13479 0 0 0 133 5 0 0 20 0 15 0 108788451 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3494671 22373 3169 1 0 3482964 0
[pid=1761/tid=1762] ppid=1759 vsize=13978684 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 7885 0 0 0 52 3 0 0 20 0 15 0 108788452 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673750649536 139673362928353 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13978684 memory=95 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788452 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13978684 memory=280636921292112 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788453 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13978684 memory=2110669067752068 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108788453 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788453 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13978684 memory=1397 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108788454 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13978684 memory=186 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108788454 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13978684 memory=502 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108788455 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13978684 memory=708 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673288923088 139673746433947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) R 1759 1759 13977 0 -1 4202560 1739 0 0 0 25 0 0 0 20 0 15 0 108788457 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673287864240 139673729912121 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13978684 memory=3630 CPUtime=0.28 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) R 1759 1759 13977 0 -1 4202560 974 0 0 0 28 0 0 0 20 0 15 0 108788457 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673286809056 139673729912303 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13978684 memory=368 CPUtime=0.27 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) S 1759 1759 13977 0 -1 1077944384 1573 0 0 0 27 0 0 0 20 0 15 0 108788457 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13978684 memory=38 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1775] ppid=1759 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1775/stat : 1775 (java) S 1759 1759 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108788461 14314172416 22373 18446744073709551615 4194304 4196468 140735271513360 139673283660336 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 90872 KiB

[startup+1.50081 s]
/proc/loadavg: 2.37 2.11 2.19 6/212 1775
/proc/meminfo: memFree=30620388/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13980732 memory=201312 CPUtime=3.91 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 21957 0 0 0 382 9 0 0 20 0 15 0 108788451 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3495183 50328 3231 1 0 3483476 0
[pid=1761/tid=1762] ppid=1759 vsize=13980732 memory=89492 CPUtime=1.33 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 9931 0 0 0 128 5 0 0 20 0 15 0 108788452 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673750655584 139673366413408 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 108788452 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13980732 memory=95 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13980732 memory=280636921292112 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13980732 memory=280636921296480 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13980732 memory=280636921491080 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13980732 memory=6944656592452807320 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 50328 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13980732 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

/proc/meminfo: memFree=30620388/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13980732 memory=202060 CPUtime=4.25 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 22230 0 0 0 416 9 0 0 20 0 15 0 108788451 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3495183 50515 3234 1 0 3483476 0
[pid=1761/tid=1762] ppid=1759 vsize=13980732 memory=2244 CPUtime=1.43 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 9974 0 0 0 138 5 0 0 20 0 15 0 108788452 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673750651680 139673359953178 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13980732 memory=3630 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 108788452 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13980732 memory=368 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13980732 memory=38 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13980732 memory=58964 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 108788455 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673288923088 139673746433947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13980732 memory=1996 CPUtime=1.04 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) R 1759 1759 13977 0 -1 4202560 3595 0 0 0 104 0 0 0 20 0 15 0 108788457 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673287871216 139673730838337 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13980732 memory=796 CPUtime=1.05 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) R 1759 1759 13977 0 -1 4202560 2850 0 0 0 105 0 0 0 20 0 15 0 108788457 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673286810000 139673729826152 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13980732 memory=10096 CPUtime=0.65 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) R 1759 1759 13977 0 -1 1077944384 3093 0 0 0 64 1 0 0 20 0 15 0 108788457 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1775] ppid=1759 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1775/stat : 1775 (java) S 1759 1759 13977 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 108788461 14316269568 50515 18446744073709551615 4194304 4196468 140735271513360 139673283660336 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203440 KiB

[startup+2.40077 s]
/proc/loadavg: 2.37 2.11 2.19 6/212 1775
/proc/meminfo: memFree=30539920/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13980732 memory=219260 CPUtime=6.74 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 28233 0 0 0 664 10 0 0 20 0 15 0 108788451 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3495183 54815 3240 1 0 3483476 0
[pid=1761/tid=1762] ppid=1759 vsize=13980732 memory=6442213893620720734 CPUtime=2.22 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 10012 0 0 0 217 5 0 0 20 0 15 0 108788452 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673750653912 139673360011523 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13980732 memory=7518875397819362923 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 108788452 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13980732 memory=7236275732365334626 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13980732 memory=5787213840066634841 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13980732 memory=7086241834508968297 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13980732 memory=280636921274336 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13980732 memory=280636921486912 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 108788455 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13980732 memory=142676397684063 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673288923088 139673746433947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13980732 memory=-7812193691855986592 CPUtime=1.84 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) R 1759 1759 13977 0 -1 4202560 5768 0 0 0 183 1 0 0 20 0 15 0 108788457 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673287858528 139673724651737 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13980732 memory=280636921287520 CPUtime=1.85 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) R 1759 1759 13977 0 -1 4202560 6099 0 0 0 184 1 0 0 20 0 15 0 108788457 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673286817848 139673729826245 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13980732 memory=6944656592455097440 CPUtime=0.75 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) S 1759 1759 13977 0 -1 1077944384 3634 0 0 0 74 1 0 0 20 0 15 0 108788457 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1775] ppid=1759 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1775/stat : 1775 (java) S 1759 1759 13977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 108788461 14316269568 54815 18446744073709551615 4194304 4196468 140735271513360 139673283660336 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 6.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 220640 KiB

[startup+2.60074 s]
/proc/loadavg: 2.37 2.11 2.19 6/212 1775
/proc/meminfo: memFree=30539920/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13980732 memory=223608 CPUtime=7.35 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 32935 0 0 0 724 11 0 0 20 0 15 0 108788451 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3495183 55902 3240 1 0 3483476 0
[pid=1761/tid=1762] ppid=1759 vsize=13980732 memory=1073185 CPUtime=2.42 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) R 1759 1759 13977 0 -1 4202560 10013 0 0 0 237 5 0 0 20 0 15 0 108788452 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673750653912 139673366029208 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 108788452 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13980732 memory=2110669067814308 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 108788453 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13980732 memory=280636921433808 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673292081392 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 108788454 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 108788455 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673288923088 139673746433947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13980732 memory=2870864495469928 CPUtime=2.04 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) R 1759 1759 13977 0 -1 4202560 5796 0 0 0 203 1 0 0 20 0 15 0 108788457 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673287858528 139673730662359 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13980732 memory=-9174445032661854264 CPUtime=2.04 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) R 1759 1759 13977 0 -1 4202560 10763 0 0 0 203 1 0 0 20 0 15 0 108788457 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673286817848 139673729627581 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13980732 memory=-3253322038155611931 CPUtime=0.76 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) S 1759 1759 13977 0 -1 1077944384 3643 0 0 0 75 1 0 0 20 0 15 0 108788457 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13980732 memory=140318460850831 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108788457 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1775] ppid=1759 vsize=13980732 memory=43719505 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1775/stat : 1775 (java) S 1759 1759 13977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 108788461 14316269568 55902 18446744073709551615 4194304 4196468 140735271513360 139673283660336 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224988 KiB

[startup+2.70078 s]
/proc/loadavg: 2.37 2.11 2.19 6/212 1775
/proc/meminfo: memFree=30539920/32770624 swapFree=67108860/67108860
[pid=1759] ppid=1756 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1759/stat : 1759 (xcsp3-exec) S 1756 1759 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108788442 9740288 345 18446744073709551615 4194304 5098028 140727484851008 140727484849112 140033638527612 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17690624 140727484858746 140727484858949 140727484858949 140727484862443 0
/proc/1759/statm: 2378 345 289 221 0 87 0
[pid=1761] ppid=1759 vsize=13980732 memory=224720 CPUtime=7.6 cores=1,3,5,7
/proc/1761/stat : 1761 (java) S 1759 1759 13977 0 -1 1077944320 33304 0 0 0 749 11 0 0 20 0 14 0 108788451 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 140735271495904 139673746415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
/proc/1761/statm: 3495183 56180 3242 1 0 3483476 0
[pid=1761/tid=1762] ppid=1759 vsize=13980732 memory=140318460652768 CPUtime=2.49 cores=1,3,5,7
/proc/1761/task/1762/stat : 1762 (java) S 1759 1759 13977 0 -1 1077944384 10043 0 0 0 244 5 0 0 20 0 14 0 108788452 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673750658192 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1763] ppid=1759 vsize=13980732 memory=140318460692640 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1763/stat : 1763 (java) S 1759 1759 13977 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 14 0 108788452 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673680849936 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1764] ppid=1759 vsize=13980732 memory=3472468613879958965 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1764/stat : 1764 (java) S 1759 1759 13977 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 14 0 108788453 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673679797392 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1765] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1765/stat : 1765 (java) S 1759 1759 13977 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 14 0 108788453 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673344850704 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1766] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1766/stat : 1766 (java) S 1759 1759 13977 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 14 0 108788453 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673343798160 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1767] ppid=1759 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1767/stat : 1767 (java) S 1759 1759 13977 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 108788454 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673292081600 139673746426498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1768] ppid=1759 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1768/stat : 1768 (java) S 1759 1759 13977 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 14 0 108788454 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673291027616 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1769] ppid=1759 vsize=13980732 memory=9024 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1769/stat : 1769 (java) S 1759 1759 13977 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 14 0 108788455 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673289974512 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1770] ppid=1759 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1770/stat : 1770 (java) S 1759 1759 13977 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 108788457 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673288921856 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1771] ppid=1759 vsize=13980732 memory=1440 CPUtime=2.11 cores=1,3,5,7
/proc/1761/task/1771/stat : 1771 (java) S 1759 1759 13977 0 -1 1077944384 5804 0 0 0 210 1 0 0 20 0 14 0 108788457 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673287855760 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1772] ppid=1759 vsize=13980732 memory=280636921592688 CPUtime=2.14 cores=1,3,5,7
/proc/1761/task/1772/stat : 1772 (java) R 1759 1759 13977 0 -1 4202560 11054 0 0 0 213 1 0 0 20 0 14 0 108788457 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673286817848 139673729802136 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1773] ppid=1759 vsize=13980732 memory=6944656425123094137 CPUtime=0.76 cores=1,3,5,7
/proc/1761/task/1773/stat : 1773 (java) S 1759 1759 13977 0 -1 1077944384 3650 0 0 0 75 1 0 0 20 0 14 0 108788457 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673285765616 139673746426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
[pid=1761/tid=1774] ppid=1759 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1761/task/1774/stat : 1774 (java) S 1759 1759 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 108788457 14316269568 56180 18446744073709551615 4194304 4196468 140735271513360 139673284713312 139673746425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140735271514545 140735271514721 140735271514721 140735271518159 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226100 KiB

Child status: 0
Real time (s): 2.72852
CPU time (s): 7.6364
CPU user time (s): 7.51254
CPU system time (s): 0.123857
CPU usage (%): 279.873
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 226100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.51254
system time used= 0.123857
maximum resident set size= 225460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2170
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 1759
#   total CPU time (s): 7.6364
#   total CPU user time (s): 7.51254
#   total CPU system time (s): 0.123857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039776 second user time and 0.06762 second system time

The end