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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272697-1502736981/watcher-4272697-1502736981 -o /tmp/evaluation-result-4272697-1502736981/solver-4272697-1502736981 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1625812560 HOME/instance-4272697-1502736981.xml 

running on 4 cores: 0,2,4,6

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=24491, runsolver pid=24488

[startup+0.100108 s]*
/proc/loadavg: 1.93 1.89 1.78 3/202 24498
/proc/meminfo: memFree=30391464/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13507920 memory=16224 CPUtime=0.02 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 3860 0 0 0 1 1 0 0 20 0 8 0 75918725 13832110080 4056 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3376980 4056 2050 1 0 3366477 0
[pid=24493/tid=24494] ppid=24491 vsize=13507920 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 2589 0 0 0 1 0 0 0 20 0 8 0 75918725 13832110080 4056 18446744073709551615 4194304 4196468 140725748263520 139738284904880 139738272901950 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13508948 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75918726 13833162752 4056 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13508948 memory=139788862255219 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75918726 13833162752 4056 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13508948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75918726 13833162752 4056 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13508948 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75918726 13833162752 4056 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13508948 memory=139788862232192 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75918728 13833162752 4056 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13508948 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 75918728 13833162752 4056 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13574488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) R 24491 24491 897 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 75918728 13900275712 4056 18446744073709551615 4194304 4196468 140725748263520 139737195301768 139737918605138 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17604 KiB

[startup+0.21298 s]*
/proc/loadavg: 1.93 1.89 1.78 4/211 24507
/proc/meminfo: memFree=30382420/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13974352 memory=27464 CPUtime=0.1 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 5286 0 0 0 9 1 0 0 20 0 15 0 75918725 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3493588 6866 2756 1 0 3482964 0
[pid=24493/tid=24494] ppid=24491 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 3430 0 0 0 7 1 0 0 20 0 15 0 75918725 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139738284893056 139738264745310 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13974352 memory=139788862255219 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13974352 memory=139788862232192 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75918728 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75918728 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75918728 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737193195760 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) R 24491 24491 897 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737192143216 139738261981328 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13974352 memory=139788862232192 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 897 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13974352 memory=139788862232192 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918736 14309736448 6866 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28844 KiB

[startup+0.310119 s]*
/proc/loadavg: 1.93 1.89 1.78 4/211 24507
/proc/meminfo: memFree=30382864/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13974352 memory=38984 CPUtime=0.3 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 8839 0 0 0 27 3 0 0 20 0 15 0 75918725 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3493588 9746 2992 1 0 3482964 0
[pid=24493/tid=24494] ppid=24491 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 6120 0 0 0 16 2 0 0 20 0 15 0 75918725 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139738284895008 139738280686749 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75918726 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75918728 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75918728 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75918728 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) R 24491 24491 897 0 -1 4202560 448 0 0 0 2 0 0 0 20 0 15 0 75918731 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737193195760 139738259917382 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 897 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 75918731 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737192143216 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) R 24491 24491 897 0 -1 4202560 745 0 0 0 6 0 0 0 20 0 15 0 75918731 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738259153872 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918736 14309736448 9746 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40364 KiB

[startup+0.701629 s]
/proc/loadavg: 1.93 1.89 1.78 5/211 24507
/proc/meminfo: memFree=30360612/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13978684 memory=82112 CPUtime=1.38 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 13197 0 0 0 133 5 0 0 20 0 15 0 75918725 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3494671 20528 3159 1 0 3482964 0
[pid=24493/tid=24494] ppid=24491 vsize=13978684 memory=6935649255759568960 CPUtime=0.56 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 7831 0 0 0 52 4 0 0 20 0 15 0 75918725 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139738284901168 139737918634713 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13978684 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13978684 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13978684 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918726 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13978684 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75918726 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) R 24491 24491 897 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 75918728 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738273381975 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75918728 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75918728 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13978684 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) R 24491 24491 897 0 -1 4202560 1126 0 0 0 27 0 0 0 20 0 15 0 75918731 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737193195760 139738259903296 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) R 24491 24491 897 0 -1 4202560 1328 0 0 0 25 0 0 0 20 0 15 0 75918731 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737192129184 139738265824998 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13978684 memory=2529 CPUtime=0.27 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 897 0 -1 1077944384 1604 0 0 0 27 0 0 0 20 0 15 0 75918731 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75918736 14314172416 20528 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83492 KiB

[startup+1.50161 s]
/proc/loadavg: 1.93 1.89 1.78 5/211 24507
/proc/meminfo: memFree=30266596/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13980732 memory=209688 CPUtime=4 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 21436 0 0 0 391 9 0 0 20 0 15 0 75918725 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3495183 52422 3222 1 0 3483476 0
[pid=24493/tid=24494] ppid=24491 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 8709 0 0 0 128 5 0 0 20 0 15 0 75918725 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139738284903344 139737924108200 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13980732 memory=82112 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13980732 memory=210453397552998 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13980732 memory=279577406494432 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13980732 memory=279577406513664 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13980732 memory=6944656592455097440 CPUtime=1.03 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) R 24491 24491 897 0 -1 4202560 3957 0 0 0 103 0 0 0 20 0 15 0 75918731 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737193176776 139738264571536 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13980732 memory=6944656592455359545 CPUtime=1.04 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) R 24491 24491 897 0 -1 4202560 4010 0 0 0 104 0 0 0 20 0 15 0 75918731 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737192124120 139738264165029 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13980732 memory=-2026666227646604569 CPUtime=0.51 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 897 0 -1 1077944384 2819 0 0 0 50 1 0 0 20 0 15 0 75918731 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13980732 memory=5457 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13980732 memory=4279353494052561728 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918736 14316269568 52422 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211068 KiB

[startup+3.10989 s]
/proc/loadavg: 1.93 1.89 1.78 3/211 24508
/proc/meminfo: memFree=30203996/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13980732 memory=213592 CPUtime=7.15 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 24024 0 0 0 705 10 0 0 20 0 15 0 75918725 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3495183 53398 3232 1 0 3483476 0
[pid=24493/tid=24494] ppid=24491 vsize=13980732 memory=0 CPUtime=2.95 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 9153 0 0 0 289 6 0 0 20 0 15 0 75918725 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139738284903112 139737924505761 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13980732 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13980732 memory=4955585388230777962 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13980732 memory=7812452810567870804 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13980732 memory=279577406690800 CPUtime=1.73 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 897 0 -1 1077944384 4793 0 0 0 173 0 0 0 20 0 15 0 75918731 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737193195760 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13980732 memory=7301858164987948385 CPUtime=1.69 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 897 0 -1 1077944384 4649 0 0 0 169 0 0 0 20 0 15 0 75918731 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737192143216 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13980732 memory=6010143108112601173 CPUtime=0.69 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 897 0 -1 1077944384 3447 0 0 0 68 1 0 0 20 0 15 0 75918731 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 75918736 14316269568 53398 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214972 KiB

[startup+3.68162 s]
# the end of solver process 24491 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.7383 s, system=0.1161 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20092 s]
/proc/loadavg: 1.93 1.89 1.78 3/211 24508
/proc/meminfo: memFree=30203996/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13980732 memory=213684 CPUtime=7.25 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 24033 0 0 0 715 10 0 0 20 0 15 0 75918725 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3495183 53421 3232 1 0 3483476 0
[pid=24493/tid=24494] ppid=24491 vsize=13980732 memory=-8774313645642428999 CPUtime=3.04 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 9154 0 0 0 298 6 0 0 20 0 15 0 75918725 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139738284903112 139737924456872 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13980732 memory=15536310592997909 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13980732 memory=1792 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13980732 memory=960 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13980732 memory=4304 CPUtime=1.73 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 897 0 -1 1077944384 4793 0 0 0 173 0 0 0 20 0 15 0 75918731 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737193195760 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13980732 memory=1624 CPUtime=1.69 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 897 0 -1 1077944384 4651 0 0 0 169 0 0 0 20 0 15 0 75918731 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737192143216 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13980732 memory=1380 CPUtime=0.69 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 897 0 -1 1077944384 3453 0 0 0 68 1 0 0 20 0 15 0 75918731 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13980732 memory=213504 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 75918736 14316269568 53421 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215064 KiB

[startup+3.60071 s]
/proc/loadavg: 1.93 1.89 1.78 3/211 24508
/proc/meminfo: memFree=30203996/32770624 swapFree=67108860/67108860
[pid=24491] ppid=24488 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75918717 9740288 345 18446744073709551615 4194304 5098028 140736302978912 140736302977016 140051224429180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 25960448 140736302981496 140736302981701 140736302981701 140736302985195 0
/proc/24491/statm: 2378 345 289 221 0 87 0
[pid=24493] ppid=24491 vsize=13980732 memory=213900 CPUtime=7.73 cores=0,2,4,6
/proc/24493/stat : 24493 (java) S 24491 24491 897 0 -1 1077944320 24100 0 0 0 762 11 0 0 20 0 15 0 75918725 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 140725748246064 139738280664823 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
/proc/24493/statm: 3495183 53475 3232 1 0 3483476 0
[pid=24493/tid=24494] ppid=24491 vsize=13980732 memory=16436 CPUtime=3.43 cores=0,2,4,6
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 897 0 -1 4202560 9171 0 0 0 337 6 0 0 20 0 15 0 75918725 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139738284902888 139737925619021 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24495] ppid=24491 vsize=13980732 memory=2900 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 897 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737881045520 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24496] ppid=24491 vsize=13980732 memory=2824 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 897 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737879992976 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24497] ppid=24491 vsize=13980732 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 897 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 75918726 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737878939920 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24498] ppid=24491 vsize=13980732 memory=1152 CPUtime=0.01 cores=0,2,4,6
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 897 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 75918726 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737877887376 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24499] ppid=24491 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 897 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737197406960 139738280675970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24500] ppid=24491 vsize=13980732 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737196353184 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24501] ppid=24491 vsize=13980732 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 75918728 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737195300080 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24502] ppid=24491 vsize=13980732 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737194248656 139738280683419 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24503] ppid=24491 vsize=13980732 memory=19876 CPUtime=1.77 cores=0,2,4,6
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 897 0 -1 1077944384 4808 0 0 0 177 0 0 0 20 0 15 0 75918731 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737193195760 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24504] ppid=24491 vsize=13980732 memory=22084 CPUtime=1.72 cores=0,2,4,6
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 897 0 -1 1077944384 4654 0 0 0 172 0 0 0 20 0 15 0 75918731 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737192143216 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24505] ppid=24491 vsize=13980732 memory=24292 CPUtime=0.7 cores=0,2,4,6
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 897 0 -1 1077944384 3485 0 0 0 69 1 0 0 20 0 15 0 75918731 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737191090160 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24506] ppid=24491 vsize=13980732 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75918731 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737190037856 139738280675029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
[pid=24493/tid=24507] ppid=24491 vsize=13980732 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 75918736 14316269568 53475 18446744073709551615 4194304 4196468 140725748263520 139737188985904 139738280675970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140725748269489 140725748269665 140725748269665 140725748273103 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215280 KiB

Child status: 0
Real time (s): 3.68167
CPU time (s): 7.8544
CPU user time (s): 7.7383
CPU system time (s): 0.1161
CPU usage (%): 213.338
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 215280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.7383
system time used= 0.1161
maximum resident set size= 214356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25069
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= 2372
involuntary context switches= 38


# summary of solver processes directly reported to runsolver:
#   pid: 24491
#   total CPU time (s): 7.8544
#   total CPU user time (s): 7.7383
#   total CPU system time (s): 0.1161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033398 second user time and 0.086083 second system time

The end