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-4284025-1503204470/watcher-4284025-1503204470 -o /tmp/evaluation-result-4284025-1503204470/solver-4284025-1503204470 -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 41809292 HOME/instance-4284025-1503204470.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1683, runsolver pid=1680
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 1.99 2.02 2.17 3/198 1685
/proc/meminfo: memFree=30742240/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=356952 memory=7524 CPUtime=0 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 1673 0 0 0 0 0 0 0 20 0 2 0 108787670 365518848 1881 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 89238 1881 1035 1 0 79208 0
[pid=1685/tid=1686] ppid=1683 vsize=11657624 memory=1404226546352693642 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 803 0 0 0 0 0 0 0 20 0 2 0 108787670 11937406976 2275 18446744073709551615 4194304 4196468 140730436367456 140652514011552 140652502058912 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 8904 KiB

[startup+0.209685 s]*
/proc/loadavg: 1.99 2.02 2.17 2/211 1698
/proc/meminfo: memFree=30730972/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13907304 memory=21716 CPUtime=0.05 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 4888 0 0 0 5 0 0 0 20 0 14 0 108787670 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3476826 5429 2551 1 0 3466323 0
[pid=1685/tid=1686] ppid=1683 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) D 1683 1683 13977 0 -1 4202560 3055 0 0 0 4 0 0 0 20 0 14 0 108787670 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140652514006944 140652509791485 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13907304 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 108787671 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13907304 memory=3545092694806283936 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 108787671 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 108787671 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 108787671 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13907304 memory=140556021712512 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 108787672 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 108787673 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651986392736 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 108787673 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651985339632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 108787675 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) S 1683 1683 13977 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 108787675 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651983235312 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) S 1683 1683 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 108787675 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651982182768 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13907304 memory=140556021712512 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) S 1683 1683 13977 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 14 0 108787675 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 108787675 14241079296 5429 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23096 KiB

[startup+0.317373 s]*
/proc/loadavg: 1.99 2.02 2.17 5/212 1699
/proc/meminfo: memFree=30722456/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13974352 memory=31576 CPUtime=0.21 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 6356 0 0 0 20 1 0 0 20 0 15 0 108787670 14309736448 7894 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3493588 7894 2971 1 0 3482964 0
[pid=1685/tid=1686] ppid=1683 vsize=13974352 memory=7022364594140610616 CPUtime=0.13 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 3604 0 0 0 12 1 0 0 20 0 15 0 108787670 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140652514008208 140652509781398 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13974352 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787671 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13974352 memory=3545092694806283936 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787671 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787671 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108787671 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13974352 memory=8392726431779010785 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108787672 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108787673 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651986392736 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108787673 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651985339632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) S 1683 1683 13977 0 -1 1077944384 693 0 0 0 1 0 0 0 20 0 15 0 108787675 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651983235312 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) S 1683 1683 13977 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 108787675 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651982182768 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13974352 memory=140556021712512 CPUtime=0.05 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) S 1683 1683 13977 0 -1 1077944384 724 0 0 0 5 0 0 0 20 0 15 0 108787675 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1699] ppid=1683 vsize=13974352 memory=140556021712512 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1699/stat : 1699 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787684 14309736448 7959 18446744073709551615 4194304 4196468 140730436367456 140651979025456 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32956 KiB

[startup+0.701413 s]
/proc/loadavg: 1.99 2.02 2.17 5/212 1699
/proc/meminfo: memFree=30706848/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13978684 memory=73344 CPUtime=1.21 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 13572 0 0 0 117 4 0 0 20 0 15 0 108787670 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3494671 18336 3153 1 0 3482964 0
[pid=1685/tid=1686] ppid=1683 vsize=13978684 memory=288230621803970871 CPUtime=0.5 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 7866 0 0 0 47 3 0 0 20 0 15 0 108787670 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140652514005472 140652493849950 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13978684 memory=14975568235988571 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787671 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787671 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787671 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108787671 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108787672 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108787673 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651986392736 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108787673 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651985339632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) R 1683 1683 13977 0 -1 4202560 1964 0 0 0 21 0 0 0 20 0 15 0 108787675 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651983221376 140652494884547 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) R 1683 1683 13977 0 -1 4202560 774 0 0 0 21 0 0 0 20 0 15 0 108787675 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651982164336 140652494668838 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) R 1683 1683 13977 0 -1 4202560 1661 0 0 0 26 0 0 0 20 0 15 0 108787675 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652488725715 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1699] ppid=1683 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1699/stat : 1699 (java) S 1683 1683 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108787684 14314172416 18336 18446744073709551615 4194304 4196468 140730436367456 140651979025456 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 74724 KiB

[startup+1.50081 s]
/proc/loadavg: 2.23 2.07 2.18 5/212 1699
/proc/meminfo: memFree=30587312/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13980732 memory=203128 CPUtime=3.75 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 16865 0 0 0 366 9 0 0 20 0 15 0 108787670 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3495183 50782 3207 1 0 3483476 0
[pid=1685/tid=1686] ppid=1683 vsize=13980732 memory=281111783694112 CPUtime=1.28 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 8523 0 0 0 124 4 0 0 20 0 15 0 108787670 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140652514004592 140652148626401 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13980732 memory=11582318840308 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 108787671 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13980732 memory=281111783554696 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 108787671 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13980732 memory=281111783538928 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 108787671 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 108787671 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13980732 memory=5787213857246504025 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 108787672 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13980732 memory=7018415139672316015 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651986392736 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13980732 memory=7523078903316310896 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651985339632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13980732 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) R 1683 1683 13977 0 -1 4202560 2744 0 0 0 94 1 0 0 20 0 15 0 108787675 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651983225024 140652493676162 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13980732 memory=281111783823728 CPUtime=0.93 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) R 1683 1683 13977 0 -1 4202560 1755 0 0 0 93 0 0 0 20 0 15 0 108787675 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651982172032 140652509790810 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13980732 memory=281111783951424 CPUtime=0.5 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) S 1683 1683 13977 0 -1 1077944384 2373 0 0 0 50 0 0 0 20 0 15 0 108787675 14316269568 50782 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13980732 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7

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

/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13980732 memory=308848 CPUtime=10.29 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 35564 0 0 0 1013 16 0 0 20 0 15 0 108787670 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3495183 77212 3236 1 0 3483476 0
[pid=1685/tid=1686] ppid=1683 vsize=13980732 memory=7022364594140610616 CPUtime=3.77 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 10194 0 0 0 371 6 0 0 20 0 15 0 108787670 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140652514008480 140652509781398 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13980732 memory=301741390705197410 CPUtime=0.02 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 15 0 108787671 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13980732 memory=13852988439539955 CPUtime=0.03 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 108 0 0 0 2 1 0 0 20 0 15 0 108787671 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13980732 memory=7524512692651257697 CPUtime=0.03 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 108787671 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 15 0 108787671 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 108787672 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651986392736 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651985339632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13980732 memory=140555891966208 CPUtime=2.78 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) S 1683 1683 13977 0 -1 1077944384 10482 0 0 0 276 2 0 0 20 0 15 0 108787675 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651983235312 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13980732 memory=-1 CPUtime=2.77 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) S 1683 1683 13977 0 -1 1077944384 9286 0 0 0 276 1 0 0 20 0 15 0 108787675 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651982182768 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13980732 memory=7589561558795631076 CPUtime=0.81 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) R 1683 1683 13977 0 -1 4202560 3864 0 0 0 80 1 0 0 20 0 15 0 108787675 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652488664766 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13980732 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1699] ppid=1683 vsize=13980732 memory=140556021712512 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1699/stat : 1699 (java) S 1683 1683 13977 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 108787684 14316269568 77212 18446744073709551615 4194304 4196468 140730436367456 140651979025456 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 10.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 310228 KiB

[startup+4.80083 s]
/proc/loadavg: 2.23 2.07 2.18 4/212 1699
/proc/meminfo: memFree=30447224/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13980732 memory=363024 CPUtime=12.31 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 37243 0 0 0 1214 17 0 0 20 0 15 0 108787670 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3495183 90756 3238 1 0 3483476 0
[pid=1685/tid=1686] ppid=1683 vsize=13980732 memory=0 CPUtime=4.55 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 10266 0 0 0 449 6 0 0 20 0 15 0 108787670 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140652514006144 140652150313028 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13980732 memory=7680170660397595203 CPUtime=0.02 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 15 0 108787671 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 108 0 0 0 2 1 0 0 20 0 15 0 108787671 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13980732 memory=239064 CPUtime=0.03 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 108787671 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13980732 memory=2244 CPUtime=0.02 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 15 0 108787671 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13980732 memory=4284 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 108787672 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651986392736 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13980732 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651985339632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13980732 memory=2168 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13980732 memory=836 CPUtime=3.39 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) S 1683 1683 13977 0 -1 1077944384 11187 0 0 0 337 2 0 0 20 0 15 0 108787675 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651983235312 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13980732 memory=3916 CPUtime=3.35 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) R 1683 1683 13977 0 -1 4202560 9805 0 0 0 334 1 0 0 20 0 15 0 108787675 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651982182768 140652494166322 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13980732 memory=3056 CPUtime=0.84 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) S 1683 1683 13977 0 -1 1077944384 4123 0 0 0 83 1 0 0 20 0 15 0 108787675 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13980732 memory=2852 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1699] ppid=1683 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1699/stat : 1699 (java) S 1683 1683 13977 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 108787684 14316269568 90756 18446744073709551615 4194304 4196468 140730436367456 140651979025456 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 364404 KiB

[startup+5.00342 s]*
/proc/loadavg: 2.23 2.07 2.18 5/212 1699
/proc/meminfo: memFree=30344888/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13980732 memory=409016 CPUtime=12.92 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 38143 0 0 0 1272 20 0 0 20 0 15 0 108787670 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3495183 102254 3244 1 0 3483476 0
[pid=1685/tid=1686] ppid=1683 vsize=13980732 memory=7022364594140610616 CPUtime=4.71 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 10308 0 0 0 465 6 0 0 20 0 15 0 108787670 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652514006392 140652151073067 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13980732 memory=4294968654 CPUtime=0.04 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 187 0 0 0 3 1 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13980732 memory=3545092694806283936 CPUtime=0.08 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 311 0 0 0 6 2 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13980732 memory=9620 CPUtime=0.07 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 227 0 0 0 5 2 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13980732 memory=35 CPUtime=0.04 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 113 0 0 0 3 1 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13980732 memory=140556021726672 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 108787672 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13980732 memory=35 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651986392800 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13980732 memory=4798184714280132705 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651985339648 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13980732 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13980732 memory=0 CPUtime=3.46 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) S 1683 1683 13977 0 -1 1077944384 11204 0 0 0 344 2 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651983235312 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13980732 memory=8388367118360672371 CPUtime=3.57 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) R 1683 1683 13977 0 -1 4202560 9806 0 0 0 356 1 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651982173600 140652509783312 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13980732 memory=140556021719328 CPUtime=0.86 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) R 1683 1683 13977 0 -1 1077944384 4169 0 0 0 85 1 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652509780610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13980732 memory=35 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1699] ppid=1683 vsize=13980732 memory=140556021714720 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1699/stat : 1699 (java) R 1683 1683 13977 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 108787684 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651979025456 140652509780610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 12.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 410396 KiB

[startup+5.11038 s]
/proc/loadavg: 2.23 2.07 2.18 5/212 1699
/proc/meminfo: memFree=30344888/32770624 swapFree=67108860/67108860
[pid=1683] ppid=1680 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1683/stat : 1683 (xcsp3-exec) S 1680 1683 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 108787660 9740288 345 18446744073709551615 4194304 5098028 140729478112208 140729478110312 139671348826748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28155904 140729478115706 140729478115909 140729478115909 140729478119403 0
/proc/1683/statm: 2378 345 289 221 0 87 0
[pid=1685] ppid=1683 vsize=13980732 memory=409016 CPUtime=13.22 cores=1,3,5,7
/proc/1685/stat : 1685 (java) S 1683 1683 13977 0 -1 1077944320 38157 0 0 0 1302 20 0 0 20 0 15 0 108787670 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140730436350000 140652509769463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
/proc/1685/statm: 3495183 102254 3244 1 0 3483476 0
[pid=1685/tid=1686] ppid=1683 vsize=13980732 memory=1380 CPUtime=4.81 cores=1,3,5,7
/proc/1685/task/1686/stat : 1686 (java) R 1683 1683 13977 0 -1 4202560 10308 0 0 0 475 6 0 0 20 0 15 0 108787670 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652514007912 140652150073935 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1687] ppid=1683 vsize=13980732 memory=295856 CPUtime=0.04 cores=1,3,5,7
/proc/1685/task/1687/stat : 1687 (java) S 1683 1683 13977 0 -1 1077944384 187 0 0 0 3 1 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652466735632 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1688] ppid=1683 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1685/task/1688/stat : 1688 (java) S 1683 1683 13977 0 -1 1077944384 311 0 0 0 6 2 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652465683088 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1689] ppid=1683 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/1685/task/1689/stat : 1689 (java) S 1683 1683 13977 0 -1 1077944384 227 0 0 0 5 2 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652464630032 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1690] ppid=1683 vsize=13980732 memory=264048 CPUtime=0.04 cores=1,3,5,7
/proc/1685/task/1690/stat : 1690 (java) S 1683 1683 13977 0 -1 1077944384 113 0 0 0 3 1 0 0 20 0 15 0 108787671 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140652463577488 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1691] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1691/stat : 1691 (java) S 1683 1683 13977 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 108787672 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651987446512 140652509780610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1692] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1692/stat : 1692 (java) S 1683 1683 13977 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651986392800 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1693] ppid=1683 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1693/stat : 1693 (java) S 1683 1683 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 108787673 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651985339648 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1694] ppid=1683 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1694/stat : 1694 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651984288208 140652509788059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1695] ppid=1683 vsize=13980732 memory=0 CPUtime=3.56 cores=1,3,5,7
/proc/1685/task/1695/stat : 1695 (java) R 1683 1683 13977 0 -1 4202560 11215 0 0 0 354 2 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651983221856 140652491297644 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1696] ppid=1683 vsize=13980732 memory=0 CPUtime=3.66 cores=1,3,5,7
/proc/1685/task/1696/stat : 1696 (java) R 1683 1683 13977 0 -1 4202560 9806 0 0 0 365 1 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651982168112 140652491313722 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1697] ppid=1683 vsize=13980732 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/1685/task/1697/stat : 1697 (java) S 1683 1683 13977 0 -1 1077944384 4172 0 0 0 85 1 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651981129712 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1698] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1698/stat : 1698 (java) S 1683 1683 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108787675 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651980077408 140652509779669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
[pid=1685/tid=1699] ppid=1683 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1685/task/1699/stat : 1699 (java) S 1683 1683 13977 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 108787684 14316269568 102254 18446744073709551615 4194304 4196468 140730436367456 140651979025456 140652509780610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140730436374961 140730436375137 140730436375137 140730436378575 0
Current children cumulated CPU time: 13.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 410396 KiB

Child status: 0
Real time (s): 5.19703
CPU time (s): 13.4301
CPU user time (s): 13.2125
CPU system time (s): 0.217566
CPU usage (%): 258.419
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 410396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.2125
system time used= 0.217566
maximum resident set size= 410228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2798
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 1683
#   total CPU time (s): 13.4301
#   total CPU user time (s): 13.2125
#   total CPU system time (s): 0.217566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065101 second user time and 0.086802 second system time

The end