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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283980-1503192229/watcher-4283980-1503192229 -o /tmp/evaluation-result-4283980-1503192229/solver-4283980-1503192229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 563894040 HOME/instance-4283980-1503192229.xml 

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

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

solver pid=13798, runsolver pid=13795

[startup+0.109681 s]*
/proc/loadavg: 1.79 1.57 1.59 3/203 13805
/proc/meminfo: memFree=30372160/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13507920 memory=16216 CPUtime=0.01 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 3860 0 0 0 1 0 0 0 20 0 8 0 121415934 13832110080 4054 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3376980 4054 2049 1 0 3366477 0
[pid=13800/tid=13801] ppid=13798 vsize=13574484 memory=-8023549066454273880 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 2620 0 0 0 1 0 0 0 20 0 9 0 121415934 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670928196200 140670906241072 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121415935 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13574484 memory=140445866600064 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121415935 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121415935 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121415935 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13574484 memory=140445866600064 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121415936 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 121415937 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 121415937 13900271616 4102 18446744073709551615 4194304 4196468 140728696995440 140670399886256 140670923970261 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17596 KiB

[startup+0.209975 s]*
/proc/loadavg: 1.79 1.57 1.59 3/212 13814
/proc/meminfo: memFree=30361700/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13974352 memory=27620 CPUtime=0.1 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 5319 0 0 0 9 1 0 0 20 0 15 0 121415934 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3493588 6905 2752 1 0 3482964 0
[pid=13800/tid=13801] ppid=13798 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 3465 0 0 0 7 0 0 0 20 0 15 0 121415934 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670928156240 140670923981981 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13974352 memory=3473036098698028704 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13974352 memory=140445866600064 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121415936 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121415937 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) S 13798 13798 28892 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 121415939 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415939 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670396730096 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13974352 memory=140445866600064 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) S 13798 13798 28892 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 121415939 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13974352 memory=140445866600064 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415944 14309736448 6905 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29000 KiB

[startup+0.311657 s]*
/proc/loadavg: 1.79 1.57 1.59 4/212 13814
/proc/meminfo: memFree=30351152/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13974352 memory=39712 CPUtime=0.3 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 9106 0 0 0 27 3 0 0 20 0 15 0 121415934 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3493588 9928 3002 1 0 3482964 0
[pid=13800/tid=13801] ppid=13798 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 6254 0 0 0 16 2 0 0 20 0 15 0 121415934 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670928178144 140670923971990 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121415935 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121415936 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121415937 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) S 13798 13798 28892 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 121415939 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) R 13798 13798 28892 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 121415939 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670396730096 140670923971202 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) S 13798 13798 28892 0 -1 1077944384 727 0 0 0 6 0 0 0 20 0 15 0 121415939 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415944 14309736448 9928 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41092 KiB

[startup+0.703153 s]
/proc/loadavg: 1.79 1.57 1.59 5/212 13814
/proc/meminfo: memFree=30331492/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13978684 memory=81696 CPUtime=1.39 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 13116 0 0 0 134 5 0 0 20 0 15 0 121415934 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3494671 20424 3160 1 0 3482964 0
[pid=13800/tid=13801] ppid=13798 vsize=13978684 memory=4612 CPUtime=0.56 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 7865 0 0 0 53 3 0 0 20 0 15 0 121415934 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670928196256 140670923971990 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13978684 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13978684 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13978684 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13978684 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121415935 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121415936 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121415937 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13978684 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) R 13798 13798 28892 0 -1 4202560 1287 0 0 0 27 1 0 0 20 0 15 0 121415939 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670905507476 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13978684 memory=27 CPUtime=0.25 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) R 13798 13798 28892 0 -1 4202560 1179 0 0 0 25 0 0 0 20 0 15 0 121415939 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670396711328 140670908857680 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13978684 memory=79 CPUtime=0.28 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) R 13798 13798 28892 0 -1 1077944384 1478 0 0 0 28 0 0 0 20 0 15 0 121415939 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415944 14314172416 20424 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83076 KiB

[startup+1.50164 s]
/proc/loadavg: 1.79 1.57 1.59 5/212 13814
/proc/meminfo: memFree=30225692/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13980732 memory=208976 CPUtime=3.95 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 17774 0 0 0 386 9 0 0 20 0 15 0 121415934 14316269568 52244 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3495183 52244 3210 1 0 3483476 0
[pid=13800/tid=13801] ppid=13798 vsize=13980732 memory=280891532481792 CPUtime=1.33 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 8630 0 0 0 129 4 0 0 20 0 15 0 121415934 14316269568 52244 18446744073709551615 4194304 4196468 140728696995440 140670928194944 140670535769557 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13980732 memory=4209620164431211530 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52244 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13980732 memory=-7162245592756018337 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52244 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13980732 memory=-6655612599293099984 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52244 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13980732 memory=7449020143593619824 CPUtime=0.01 cores=1,3,5,7

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

/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13980732 memory=208456 CPUtime=10.99 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 24727 0 0 0 1088 11 0 0 20 0 15 0 121415934 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3495183 52114 3223 1 0 3483476 0
[pid=13800/tid=13801] ppid=13798 vsize=13980732 memory=-8774313645642428999 CPUtime=6.23 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 10053 0 0 0 618 5 0 0 20 0 15 0 121415934 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670928196512 140670536190099 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13980732 memory=140445866606801 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13980732 memory=428 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 121415936 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13980732 memory=143 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13980732 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) S 13798 13798 28892 0 -1 1077944384 4416 0 0 0 192 2 0 0 20 0 15 0 121415939 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13980732 memory=1 CPUtime=1.97 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) S 13798 13798 28892 0 -1 1077944384 4765 0 0 0 196 1 0 0 20 0 15 0 121415939 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670396730096 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13980732 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) S 13798 13798 28892 0 -1 1077944384 3705 0 0 0 75 1 0 0 20 0 15 0 121415939 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 121415944 14316269568 52114 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209836 KiB

[startup+7.20081 s]
/proc/loadavg: 1.81 1.58 1.60 4/212 13814
/proc/meminfo: memFree=30219504/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13980732 memory=208508 CPUtime=11.91 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 24996 0 0 0 1180 11 0 0 20 0 15 0 121415934 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3495183 52127 3223 1 0 3483476 0
[pid=13800/tid=13801] ppid=13798 vsize=13980732 memory=15825486446070293 CPUtime=7.03 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 10071 0 0 0 698 5 0 0 20 0 15 0 121415934 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670928197480 140670536827878 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13980732 memory=7228392122155950928 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13980732 memory=6441361776102757987 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13980732 memory=6441361776102757987 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13980732 memory=7228392122155950928 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13980732 memory=6940161746020623185 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 121415936 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13980732 memory=7228392122155950928 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13980732 memory=7228392122155950928 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13980732 memory=6441361776102757735 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13980732 memory=7090988434644886894 CPUtime=2.01 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) S 13798 13798 28892 0 -1 1077944384 4645 0 0 0 199 2 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13980732 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) S 13798 13798 28892 0 -1 1077944384 4786 0 0 0 201 1 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670396730096 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13980732 memory=7649399367035007793 CPUtime=0.76 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) S 13798 13798 28892 0 -1 1077944384 3706 0 0 0 75 1 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 121415944 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 11.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209888 KiB

[startup+7.60078 s]
/proc/loadavg: 1.81 1.58 1.60 4/212 13814
/proc/meminfo: memFree=30219504/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13980732 memory=208508 CPUtime=12.38 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 25035 0 0 0 1227 11 0 0 20 0 15 0 121415934 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3495183 52127 3223 1 0 3483476 0
[pid=13800/tid=13801] ppid=13798 vsize=13980732 memory=1708 CPUtime=7.43 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 10091 0 0 0 738 5 0 0 20 0 15 0 121415934 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670928198504 140670536025835 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13980732 memory=1444 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13980732 memory=1992 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 121415936 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13980732 memory=9136 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13980732 memory=0 CPUtime=2.05 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) S 13798 13798 28892 0 -1 1077944384 4655 0 0 0 203 2 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13980732 memory=3054156605268465310 CPUtime=2.05 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) S 13798 13798 28892 0 -1 1077944384 4795 0 0 0 204 1 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670396730096 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13980732 memory=-8341965534556230502 CPUtime=0.76 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) S 13798 13798 28892 0 -1 1077944384 3706 0 0 0 75 1 0 0 20 0 15 0 121415939 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13980732 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13980732 memory=7822038051842261661 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 121415944 14316269568 52127 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 12.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209888 KiB

[startup+8.00072 s]*
/proc/loadavg: 1.81 1.58 1.60 5/212 13814
/proc/meminfo: memFree=30219592/32770624 swapFree=67108860/67108860
[pid=13798] ppid=13795 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13798/stat : 13798 (xcsp3-exec) S 13795 13798 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121415925 9740288 345 18446744073709551615 4194304 5098028 140728413934960 140728413933064 139761845453436 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8863744 140728413942137 140728413942341 140728413942341 140728413945835 0
/proc/13798/statm: 2378 345 289 221 0 87 0
[pid=13800] ppid=13798 vsize=13980732 memory=208548 CPUtime=12.9 cores=1,3,5,7
/proc/13800/stat : 13800 (java) S 13798 13798 28892 0 -1 1077944320 25274 0 0 0 1278 12 0 0 20 0 15 0 121415934 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140728696977984 140670923960055 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
/proc/13800/statm: 3495183 52137 3223 1 0 3483476 0
[pid=13800/tid=13801] ppid=13798 vsize=13980732 memory=-7677926825137650786 CPUtime=7.84 cores=1,3,5,7
/proc/13800/task/13801/stat : 13801 (java) R 13798 13798 28892 0 -1 4202560 10329 0 0 0 779 5 0 0 20 0 15 0 121415934 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670928198504 140670923981885 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13802] ppid=13798 vsize=13980732 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13802/stat : 13802 (java) S 13798 13798 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670858394768 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13803] ppid=13798 vsize=13980732 memory=6082202987142015319 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13803/stat : 13803 (java) S 13798 13798 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670857341968 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13804] ppid=13798 vsize=13980732 memory=7230638415855315543 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13804/stat : 13804 (java) S 13798 13798 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121415935 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670856289168 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13805] ppid=13798 vsize=13980732 memory=7300986252165475169 CPUtime=0.01 cores=1,3,5,7
/proc/13800/task/13805/stat : 13805 (java) S 13798 13798 28892 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 121415935 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670855236368 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13806] ppid=13798 vsize=13980732 memory=7156871064089619048 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13806/stat : 13806 (java) S 13798 13798 28892 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 121415936 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670401993072 140670923971202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13807] ppid=13798 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13807/stat : 13807 (java) S 13798 13798 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670400939040 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13808] ppid=13798 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13808/stat : 13808 (java) S 13798 13798 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121415937 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670399886192 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13809] ppid=13798 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13809/stat : 13809 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415939 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670398834512 140670923978651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13810] ppid=13798 vsize=13980732 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/13800/task/13810/stat : 13810 (java) R 13798 13798 28892 0 -1 4202560 4686 0 0 0 208 2 0 0 20 0 15 0 121415939 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670397782896 140670905504686 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13811] ppid=13798 vsize=13980732 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/13800/task/13811/stat : 13811 (java) R 13798 13798 28892 0 -1 4202560 4799 0 0 0 209 1 0 0 20 0 15 0 121415939 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670396730096 140670905481301 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13812] ppid=13798 vsize=13980732 memory=2315025976685060331 CPUtime=0.76 cores=1,3,5,7
/proc/13800/task/13812/stat : 13812 (java) R 13798 13798 28892 0 -1 1077944384 3708 0 0 0 75 1 0 0 20 0 15 0 121415939 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670395677296 140670923971202 0 4 1 16800974 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13813] ppid=13798 vsize=13980732 memory=3688508800692924703 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13813/stat : 13813 (java) S 13798 13798 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121415940 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670394624736 140670923970261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
[pid=13800/tid=13814] ppid=13798 vsize=13980732 memory=2322087122232497847 CPUtime=0 cores=1,3,5,7
/proc/13800/task/13814/stat : 13814 (java) S 13798 13798 28892 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 121415944 14316269568 52137 18446744073709551615 4194304 4196468 140728696995440 140670393572016 140670923971202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37597184 140728697000369 140728697000545 140728697000545 140728697003983 0
Current children cumulated CPU time: 12.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209928 KiB

Child status: 0
Real time (s): 8.02902
CPU time (s): 12.927
CPU user time (s): 12.8002
CPU system time (s): 0.126799
CPU usage (%): 161.003
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 214116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8002
system time used= 0.126799
maximum resident set size= 212740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25956
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= 2767
involuntary context switches= 30


# summary of solver processes directly reported to runsolver:
#   pid: 13798
#   total CPU time (s): 12.927
#   total CPU user time (s): 12.8002
#   total CPU system time (s): 0.126799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066934 second user time and 0.133235 second system time

The end