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 (14185 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-4283975-1503192218/watcher-4283975-1503192218 -o /tmp/evaluation-result-4283975-1503192218/solver-4283975-1503192218 -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 975308055 HOME/instance-4283975-1503192218.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=13640, runsolver pid=13637

[startup+0.100087 s]*
/proc/loadavg: 1.53 1.51 1.58 2/199 13643
/proc/meminfo: memFree=30324944/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13358712 memory=13576 CPUtime=0 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 3132 0 0 0 0 0 0 0 20 0 6 0 121414767 13679321088 3328 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3339678 3328 1747 1 0 3329175 0
[pid=13642/tid=13643] ppid=13640 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 2015 0 0 0 0 0 0 0 20 0 6 0 121414767 13679321088 3460 18446744073709551615 4194304 4196468 140733017423888 139717482758736 139717462603132 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121414768 13679321088 3460 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13358712 memory=140163813385856 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121414768 13679321088 3460 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121414768 13679321088 3460 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121414768 13679321088 3460 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14956 KiB

[startup+0.210121 s]*
/proc/loadavg: 1.53 1.51 1.58 3/212 13656
/proc/meminfo: memFree=30313168/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13974352 memory=26956 CPUtime=0.1 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 5140 0 0 0 9 1 0 0 20 0 15 0 121414767 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3493588 6739 2754 1 0 3482964 0
[pid=13642/tid=13643] ppid=13640 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 3283 0 0 0 7 1 0 0 20 0 15 0 121414767 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139717482751856 139717478534550 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13974352 memory=3473035816644814496 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13974352 memory=140163813385856 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414769 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) S 13640 13640 28892 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716952275568 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716951222768 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13974352 memory=140163813385856 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) R 13640 13640 28892 0 -1 4202560 262 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716950170480 139717478543962 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13974352 memory=140163813385856 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414776 14309736448 6739 18446744073709551615 4194304 4196468 140733017423888 139716948064688 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28336 KiB

[startup+0.316076 s]*
/proc/loadavg: 1.57 1.52 1.58 5/212 13656
/proc/meminfo: memFree=30301504/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13974352 memory=39412 CPUtime=0.31 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 8967 0 0 0 28 3 0 0 20 0 15 0 121414767 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3493588 9853 2998 1 0 3482964 0
[pid=13642/tid=13643] ppid=13640 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 6107 0 0 0 16 2 0 0 20 0 15 0 121414767 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139717482759664 139717462603102 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414768 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414769 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) S 13640 13640 28892 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 121414772 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716952275568 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) S 13640 13640 28892 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 121414772 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716951222768 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13974352 memory=140163813385856 CPUtime=0.06 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) R 13640 13640 28892 0 -1 4202560 814 0 0 0 6 0 0 0 20 0 15 0 121414772 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716950170480 139717478534550 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13974352 memory=140163813385856 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414776 14309736448 9853 18446744073709551615 4194304 4196468 140733017423888 139716948064688 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40792 KiB

[startup+0.700782 s]
/proc/loadavg: 1.57 1.52 1.58 5/212 13656
/proc/meminfo: memFree=30303764/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13978684 memory=82536 CPUtime=1.38 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 13286 0 0 0 132 6 0 0 20 0 15 0 121414767 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3494671 20634 3155 1 0 3482964 0
[pid=13642/tid=13643] ppid=13640 vsize=13978684 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 7823 0 0 0 51 4 0 0 20 0 15 0 121414767 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139717482757424 139717462566245 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13978684 memory=110 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414768 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414768 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13978684 memory=206 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414768 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13978684 memory=399 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414768 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13978684 memory=7 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121414769 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13978684 memory=140163707712753 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13978684 memory=280327415743648 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13978684 memory=140163707706965 CPUtime=0.25 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) R 13640 13640 28892 0 -1 4202560 1280 0 0 0 25 0 0 0 20 0 15 0 121414772 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716952262416 139717478534550 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13978684 memory=280325670603865 CPUtime=0.26 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) R 13640 13640 28892 0 -1 4202560 1192 0 0 0 26 0 0 0 20 0 15 0 121414772 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716951221952 139717478543962 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13978684 memory=6944656592455097440 CPUtime=0.28 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) R 13640 13640 28892 0 -1 1077944384 1682 0 0 0 28 0 0 0 20 0 15 0 121414772 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716950170480 139717478533762 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414776 14314172416 20634 18446744073709551615 4194304 4196468 140733017423888 139716948064688 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83916 KiB

[startup+1.50157 s]
/proc/loadavg: 1.57 1.52 1.58 5/212 13656
/proc/meminfo: memFree=30210244/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13980732 memory=203280 CPUtime=4 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 15877 0 0 0 391 9 0 0 20 0 15 0 121414767 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3495183 50820 3210 1 0 3483476 0
[pid=13642/tid=13643] ppid=13640 vsize=13980732 memory=65048 CPUtime=1.34 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 8562 0 0 0 128 6 0 0 20 0 15 0 121414767 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139717482761000 139717120513640 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13980732 memory=33 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121414768 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13980732 memory=280327415212288 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13980732 memory=110 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121414769 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13980732 memory=206 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 50820 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13980732 memory=399 CPUtime=0 cores=1,3,5,7

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

/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13980732 memory=1693 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13980732 memory=979 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13980732 memory=3472468441947035176 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121414769 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13980732 memory=189 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13980732 memory=187 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13980732 memory=69 CPUtime=1.89 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) S 13640 13640 28892 0 -1 1077944384 3130 0 0 0 189 0 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716952275568 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13980732 memory=0 CPUtime=1.88 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) S 13640 13640 28892 0 -1 1077944384 3277 0 0 0 187 1 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716951222768 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13980732 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) S 13640 13640 28892 0 -1 1077944384 3482 0 0 0 69 1 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716950170480 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) S 13640 13640 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414776 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716948064688 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217624 KiB

[startup+3.76753 s]
# the end of solver process 13640 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.14719 s, system=0.124238 s

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

[startup+3.20101 s]
/proc/loadavg: 1.57 1.52 1.58 3/212 13656
/proc/meminfo: memFree=30148136/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13980732 memory=216244 CPUtime=7.59 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 20660 0 0 0 748 11 0 0 20 0 15 0 121414767 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3495183 54061 3228 1 0 3483476 0
[pid=13642/tid=13643] ppid=13640 vsize=13980732 memory=1708 CPUtime=3.03 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 9326 0 0 0 297 6 0 0 20 0 15 0 121414767 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717482758880 139717121003577 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13980732 memory=1444 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13980732 memory=102276 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13980732 memory=2241 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13980732 memory=2244 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121414769 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13980732 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13980732 memory=0 CPUtime=1.89 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) S 13640 13640 28892 0 -1 1077944384 3130 0 0 0 189 0 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716952275568 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13980732 memory=7307210966322687442 CPUtime=1.88 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) S 13640 13640 28892 0 -1 1077944384 3277 0 0 0 187 1 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716951222768 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13980732 memory=6655300316396806240 CPUtime=0.7 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) D 13640 13640 28892 0 -1 4202560 3482 0 0 0 69 1 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716950170400 139717458446751 0 4 1 16800974 18446744072099675269 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) D 13640 13640 28892 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 121414776 14316269568 54061 18446744073709551615 4194304 4196468 140733017423888 139716948064608 139717463378702 0 4 1 16800974 18446744072099675269 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217624 KiB

[startup+3.60078 s]
/proc/loadavg: 1.57 1.52 1.58 3/212 13656
/proc/meminfo: memFree=30148136/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13980732 memory=216532 CPUtime=8.04 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 22183 0 0 0 793 11 0 0 20 0 15 0 121414767 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3495183 54133 3228 1 0 3483476 0
[pid=13642/tid=13643] ppid=13640 vsize=13980732 memory=1000 CPUtime=3.43 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 9409 0 0 0 337 6 0 0 20 0 15 0 121414767 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139717482758880 139717121003468 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13980732 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13980732 memory=9136 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121414768 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13980732 memory=15880 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13980732 memory=4048 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13980732 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121414769 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13980732 memory=65048 CPUtime=1.91 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) S 13640 13640 28892 0 -1 1077944384 3348 0 0 0 191 0 0 0 20 0 15 0 121414772 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716952275568 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13980732 memory=1296 CPUtime=1.91 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) S 13640 13640 28892 0 -1 1077944384 3883 0 0 0 190 1 0 0 20 0 15 0 121414772 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716951222768 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13980732 memory=2420 CPUtime=0.71 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) S 13640 13640 28892 0 -1 1077944384 4085 0 0 0 70 1 0 0 20 0 15 0 121414772 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716950170480 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414776 14316269568 54133 18446744073709551615 4194304 4196468 140733017423888 139716948064688 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217912 KiB

[startup+3.70078 s]
/proc/loadavg: 1.57 1.52 1.58 3/212 13656
/proc/meminfo: memFree=30148136/32770624 swapFree=67108860/67108860
[pid=13640] ppid=13637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13640/stat : 13640 (xcsp3-exec) S 13637 13640 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121414757 9740288 345 18446744073709551615 4194304 5098028 140736192399328 140736192397432 140108920967804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 31404032 140736192405881 140736192406085 140736192406085 140736192409579 0
/proc/13640/statm: 2378 345 289 221 0 87 0
[pid=13642] ppid=13640 vsize=13980732 memory=216544 CPUtime=8.16 cores=1,3,5,7
/proc/13642/stat : 13642 (java) S 13640 13640 28892 0 -1 1077944320 22265 0 0 0 805 11 0 0 20 0 15 0 121414767 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 140733017406432 139717478522615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
/proc/13642/statm: 3495183 54136 3228 1 0 3483476 0
[pid=13642/tid=13643] ppid=13640 vsize=13980732 memory=2420 CPUtime=3.53 cores=1,3,5,7
/proc/13642/task/13643/stat : 13643 (java) R 13640 13640 28892 0 -1 4202560 9415 0 0 0 347 6 0 0 20 0 15 0 121414767 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139717482758880 139717121046683 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13644] ppid=13640 vsize=13980732 memory=1732 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13644/stat : 13644 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139717435489168 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13645] ppid=13640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13645/stat : 13645 (java) S 13640 13640 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121414768 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139717077297936 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13646] ppid=13640 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13646/stat : 13646 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139717076245648 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13647] ppid=13640 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/13642/task/13647/stat : 13647 (java) S 13640 13640 28892 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 121414768 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139717075192848 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13648] ppid=13640 vsize=13980732 memory=7091877939666510952 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13648/stat : 13648 (java) S 13640 13640 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121414769 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716956485744 139717478533762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13649] ppid=13640 vsize=13980732 memory=7670301315262144873 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13649/stat : 13649 (java) S 13640 13640 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716955431712 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13650] ppid=13640 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13650/stat : 13650 (java) S 13640 13640 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414770 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716954379376 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13651] ppid=13640 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13651/stat : 13651 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716953327696 139717478541211 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13652] ppid=13640 vsize=13980732 memory=-8774313645642428999 CPUtime=1.91 cores=1,3,5,7
/proc/13642/task/13652/stat : 13652 (java) S 13640 13640 28892 0 -1 1077944384 3357 0 0 0 191 0 0 0 20 0 15 0 121414772 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716952275568 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13653] ppid=13640 vsize=13980732 memory=3473155141856866357 CPUtime=1.92 cores=1,3,5,7
/proc/13642/task/13653/stat : 13653 (java) S 13640 13640 28892 0 -1 1077944384 3950 0 0 0 191 1 0 0 20 0 15 0 121414772 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716951222768 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13654] ppid=13640 vsize=13980732 memory=215236 CPUtime=0.71 cores=1,3,5,7
/proc/13642/task/13654/stat : 13654 (java) S 13640 13640 28892 0 -1 1077944384 4085 0 0 0 70 1 0 0 20 0 15 0 121414772 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716950170480 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13655] ppid=13640 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13655/stat : 13655 (java) S 13640 13640 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414772 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716949117920 139717478532821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
[pid=13642/tid=13656] ppid=13640 vsize=13980732 memory=280327415212288 CPUtime=0 cores=1,3,5,7
/proc/13642/task/13656/stat : 13656 (java) S 13640 13640 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414776 14316269568 54136 18446744073709551615 4194304 4196468 140733017423888 139716948064688 139717478533762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 27070464 140733017432497 140733017432673 140733017432673 140733017436111 0
Current children cumulated CPU time: 8.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217924 KiB

Child status: 0
Real time (s): 3.76763
CPU time (s): 8.27143
CPU user time (s): 8.14719
CPU system time (s): 0.124238
CPU usage (%): 219.539
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 217924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.14719
system time used= 0.124238
maximum resident set size= 217324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24162
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= 2351
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 13640
#   total CPU time (s): 8.27143
#   total CPU user time (s): 8.14719
#   total CPU system time (s): 0.124238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050365 second user time and 0.07497 second system time

The end