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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283994-1503192280/watcher-4283994-1503192280 -o /tmp/evaluation-result-4283994-1503192280/solver-4283994-1503192280 -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 111501723 HOME/instance-4283994-1503192280.xml 

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

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


[startup+0.100102 s]*
/proc/loadavg: 2.15 1.72 1.64 3/207 14367
/proc/meminfo: memFree=30368672/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13358712 memory=14632 CPUtime=0.01 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 3438 0 0 0 1 0 0 0 20 0 6 0 121420987 13679321088 3658 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3339678 3658 1905 1 0 3329175 0
[pid=14362/tid=14363] ppid=14360 vsize=13358712 memory=4206751525541407381 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 2224 0 0 0 0 0 0 0 20 0 6 0 121420987 13679321088 3658 18446744073709551615 4194304 4196468 140727910942176 140617617125968 140617596970334 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13358712 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121420988 13679321088 3724 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13358712 memory=140671948310144 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121420988 13679321088 3724 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121420988 13679321088 3724 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13358712 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121420988 13679321088 3724 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB

[startup+0.210274 s]*
/proc/loadavg: 2.15 1.72 1.64 3/216 14376
/proc/meminfo: memFree=30361768/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13974352 memory=27164 CPUtime=0.08 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 5225 0 0 0 7 1 0 0 20 0 15 0 121420987 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3493588 6791 2731 1 0 3482964 0
[pid=14362/tid=14363] ppid=14360 vsize=13974352 memory=8390339637985935414 CPUtime=0.07 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 3380 0 0 0 6 1 0 0 20 0 15 0 121420987 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617617115536 140617596933477 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13974352 memory=288230604708001210 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13974352 memory=3473036324779738784 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14368] ppid=14360 vsize=13974352 memory=140671948310144 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14368/stat : 14368 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420989 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617090836592 140617612900994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14369] ppid=14360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14369/stat : 14369 (java) S 14360 14360 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121420989 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617089782560 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14370] ppid=14360 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14370/stat : 14370 (java) S 14360 14360 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121420990 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617088730224 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14371] ppid=14360 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14371/stat : 14371 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617087678544 140617612908443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14372] ppid=14360 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14372/stat : 14372 (java) R 14360 14360 28892 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617086626416 140617612900994 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14373] ppid=14360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14373/stat : 14373 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617085573616 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14374] ppid=14360 vsize=13974352 memory=140671948310144 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14374/stat : 14374 (java) S 14360 14360 28892 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617084521328 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14375] ppid=14360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14375/stat : 14375 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617083468768 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14376] ppid=14360 vsize=13974352 memory=140671948310144 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14376/stat : 14376 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420997 14309736448 6791 18446744073709551615 4194304 4196468 140727910942176 140617082415536 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28544 KiB

[startup+0.310563 s]*
/proc/loadavg: 2.15 1.72 1.64 3/216 14376
/proc/meminfo: memFree=30344584/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13974352 memory=36872 CPUtime=0.26 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 8794 0 0 0 24 2 0 0 20 0 15 0 121420987 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3493588 9218 2976 1 0 3482964 0
[pid=14362/tid=14363] ppid=14360 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 6075 0 0 0 14 2 0 0 20 0 15 0 121420987 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617617124832 140617612901782 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13974352 memory=301741403590112698 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13974352 memory=3473036324779738784 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13974352 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420988 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14368] ppid=14360 vsize=13974352 memory=7813734767147372722 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14368/stat : 14368 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420989 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617090836592 140617612900994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14369] ppid=14360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14369/stat : 14369 (java) S 14360 14360 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121420989 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617089782560 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14370] ppid=14360 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14370/stat : 14370 (java) S 14360 14360 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121420990 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617088730224 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14371] ppid=14360 vsize=13974352 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14371/stat : 14371 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617087678544 140617612908443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14372] ppid=14360 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14372/stat : 14372 (java) S 14360 14360 28892 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 15 0 121420992 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617086626416 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14373] ppid=14360 vsize=13974352 memory=3472328296227680303 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14373/stat : 14373 (java) S 14360 14360 28892 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 121420992 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617085573616 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14374] ppid=14360 vsize=13974352 memory=140671948310144 CPUtime=0.05 cores=1,3,5,7
/proc/14362/task/14374/stat : 14374 (java) R 14360 14360 28892 0 -1 4202560 699 0 0 0 5 0 0 0 20 0 15 0 121420992 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617084521328 140617605126974 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14375] ppid=14360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14375/stat : 14375 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617083468768 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14376] ppid=14360 vsize=13974352 memory=140671948310144 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14376/stat : 14376 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420997 14309736448 9218 18446744073709551615 4194304 4196468 140727910942176 140617082415536 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38252 KiB

[startup+0.705222 s]
/proc/loadavg: 2.15 1.72 1.64 5/216 14376
/proc/meminfo: memFree=30293856/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13978684 memory=77084 CPUtime=1.36 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 13997 0 0 0 131 5 0 0 20 0 15 0 121420987 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3494671 19271 3150 1 0 3482964 0
[pid=14362/tid=14363] ppid=14360 vsize=13978684 memory=2464036161281 CPUtime=0.55 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 7853 0 0 0 51 4 0 0 20 0 15 0 121420987 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617617126576 140617596970334 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13978684 memory=2481216030465 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420988 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13978684 memory=2485510997505 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420988 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13978684 memory=2494100932097 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420988 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13978684 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121420988 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14368] ppid=14360 vsize=13978684 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14368/stat : 14368 (java) S 14360 14360 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121420989 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617090836592 140617612900994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14369] ppid=14360 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14369/stat : 14369 (java) S 14360 14360 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121420989 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617089782560 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14370] ppid=14360 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14370/stat : 14370 (java) S 14360 14360 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121420990 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617088730224 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14371] ppid=14360 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14371/stat : 14371 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617087678544 140617612908443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14372] ppid=14360 vsize=13978684 memory=6656426216303648864 CPUtime=0.26 cores=1,3,5,7
/proc/14362/task/14372/stat : 14372 (java) S 14360 14360 28892 0 -1 1077944384 1588 0 0 0 26 0 0 0 20 0 15 0 121420992 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617086626416 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14373] ppid=14360 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/14362/task/14373/stat : 14373 (java) R 14360 14360 28892 0 -1 4202560 1500 0 0 0 25 0 0 0 20 0 15 0 121420992 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617085573616 140617596421411 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14374] ppid=14360 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/14362/task/14374/stat : 14374 (java) R 14360 14360 28892 0 -1 1077944384 1748 0 0 0 27 0 0 0 20 0 15 0 121420992 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617084517056 140617612900053 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14375] ppid=14360 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14375/stat : 14375 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617083468768 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14376] ppid=14360 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14376/stat : 14376 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420997 14314172416 19271 18446744073709551615 4194304 4196468 140727910942176 140617082415536 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78464 KiB

[startup+1.50088 s]
/proc/loadavg: 2.15 1.72 1.64 5/216 14376
/proc/meminfo: memFree=30216076/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13980732 memory=208080 CPUtime=3.95 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 16056 0 0 0 385 10 0 0 20 0 15 0 121420987 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3495183 52020 3208 1 0 3483476 0
[pid=14362/tid=14363] ppid=14360 vsize=13980732 memory=6944656591646896172 CPUtime=1.32 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 8438 0 0 0 126 6 0 0 20 0 15 0 121420987 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617617124048 140617252203307 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14368] ppid=14360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14368/stat : 14368 (java) S 14360 14360 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121420989 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617090836592 140617612900994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14369] ppid=14360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14369/stat : 14369 (java) S 14360 14360 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121420989 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617089782560 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14370] ppid=14360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14370/stat : 14370 (java) S 14360 14360 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121420990 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617088730224 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14371] ppid=14360 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14371/stat : 14371 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617087678544 140617612908443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14372] ppid=14360 vsize=13980732 memory=2420 CPUtime=1 cores=1,3,5,7
/proc/14362/task/14372/stat : 14372 (java) R 14360 14360 28892 0 -1 4202560 1741 0 0 0 100 0 0 0 20 0 15 0 121420992 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617086616208 140617592553456 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14373] ppid=14360 vsize=13980732 memory=1732 CPUtime=1 cores=1,3,5,7
/proc/14362/task/14373/stat : 14373 (java) R 14360 14360 28892 0 -1 4202560 1904 0 0 0 100 0 0 0 20 0 15 0 121420992 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617085565568 140617596386460 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14374] ppid=14360 vsize=13980732 memory=5788 CPUtime=0.52 cores=1,3,5,7
/proc/14362/task/14374/stat : 14374 (java) S 14360 14360 28892 0 -1 1077944384 2490 0 0 0 52 0 0 0 20 0 15 0 121420992 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617084521328 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14375] ppid=14360 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14375/stat : 14375 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617083468768 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14376] ppid=14360 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14376/stat : 14376 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420997 14316269568 52020 18446744073709551615 4194304 4196468 140727910942176 140617082415536 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209460 KiB

[startup+1.84715 s]
# the end of solver process 14360 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.8496 s, system=0.121125 s

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

[startup+1.60102 s]
/proc/loadavg: 2.15 1.72 1.64 5/216 14376
/proc/meminfo: memFree=30216076/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13980732 memory=210796 CPUtime=4.32 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 16763 0 0 0 421 11 0 0 20 0 15 0 121420987 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3495183 52699 3213 1 0 3483476 0
[pid=14362/tid=14363] ppid=14360 vsize=13980732 memory=-8774313645642428999 CPUtime=1.42 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 8521 0 0 0 136 6 0 0 20 0 15 0 121420987 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617617129920 140617246184095 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13980732 memory=7378978030701662821 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13980732 memory=7595436676930033250 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13980732 memory=6368745600025973328 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13980732 memory=7955450843273777769 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14368] ppid=14360 vsize=13980732 memory=4641364493268773738 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14368/stat : 14368 (java) S 14360 14360 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121420989 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617090836592 140617612900994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14369] ppid=14360 vsize=13980732 memory=7518593896953438546 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14369/stat : 14369 (java) S 14360 14360 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121420989 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617089782560 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14370] ppid=14360 vsize=13980732 memory=7590651490941034834 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14370/stat : 14370 (java) S 14360 14360 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121420990 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617088730224 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14371] ppid=14360 vsize=13980732 memory=281343577819616 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14371/stat : 14371 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617087678544 140617612908443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14372] ppid=14360 vsize=13980732 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/14362/task/14372/stat : 14372 (java) R 14360 14360 28892 0 -1 4202560 1783 0 0 0 110 0 0 0 20 0 15 0 121420992 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617086612976 140617594412888 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14373] ppid=14360 vsize=13980732 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/14362/task/14373/stat : 14373 (java) R 14360 14360 28892 0 -1 4202560 2211 0 0 0 110 0 0 0 20 0 15 0 121420992 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617085565568 140617598015746 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14374] ppid=14360 vsize=13980732 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/14362/task/14374/stat : 14374 (java) S 14360 14360 28892 0 -1 1077944384 2765 0 0 0 58 0 0 0 20 0 15 0 121420992 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617084521328 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14375] ppid=14360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14375/stat : 14375 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617083468768 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14376] ppid=14360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14376/stat : 14376 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420997 14316269568 52699 18446744073709551615 4194304 4196468 140727910942176 140617082415536 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212176 KiB

[startup+1.80079 s]
/proc/loadavg: 2.15 1.72 1.64 5/216 14376
/proc/meminfo: memFree=30216076/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14360/stat : 14360 (xcsp3-exec) S 14357 14360 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121420978 9740288 345 18446744073709551615 4194304 5098028 140722454326592 140722454324696 139875678892668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 37830656 140722454331769 140722454331973 140722454331973 140722454335467 0
/proc/14360/statm: 2378 345 289 221 0 87 0
[pid=14362] ppid=14360 vsize=13980732 memory=212352 CPUtime=4.87 cores=1,3,5,7
/proc/14362/stat : 14362 (java) S 14360 14360 28892 0 -1 1077944320 17144 0 0 0 476 11 0 0 20 0 15 0 121420987 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140727910924720 140617612889847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
/proc/14362/statm: 3495183 53088 3214 1 0 3483476 0
[pid=14362/tid=14363] ppid=14360 vsize=13980732 memory=6944656592455348278 CPUtime=1.61 cores=1,3,5,7
/proc/14362/task/14363/stat : 14363 (java) R 14360 14360 28892 0 -1 4202560 8685 0 0 0 155 6 0 0 20 0 15 0 121420987 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617617129312 140617253441966 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14364] ppid=14360 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (java) S 14360 14360 28892 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617569856400 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14365] ppid=14360 vsize=13980732 memory=4638778398332764256 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (java) S 14360 14360 28892 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617568803600 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14366] ppid=14360 vsize=13980732 memory=281343577844128 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (java) S 14360 14360 28892 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617567751312 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14367] ppid=14360 vsize=13980732 memory=5450874560983370026 CPUtime=0.01 cores=1,3,5,7
/proc/14362/task/14367/stat : 14367 (java) S 14360 14360 28892 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 121420988 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617566698512 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14368] ppid=14360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14368/stat : 14368 (java) S 14360 14360 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121420989 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617090836592 140617612900994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14369] ppid=14360 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14369/stat : 14369 (java) S 14360 14360 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121420989 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617089782560 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14370] ppid=14360 vsize=13980732 memory=281343577640816 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14370/stat : 14370 (java) S 14360 14360 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121420990 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617088730224 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14371] ppid=14360 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14371/stat : 14371 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617087678544 140617612908443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14372] ppid=14360 vsize=13980732 memory=6944656592387989600 CPUtime=1.24 cores=1,3,5,7
/proc/14362/task/14372/stat : 14372 (java) S 14360 14360 28892 0 -1 1077944384 1824 0 0 0 124 0 0 0 20 0 15 0 121420992 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617086626416 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14373] ppid=14360 vsize=13980732 memory=6944656592455097440 CPUtime=1.22 cores=1,3,5,7
/proc/14362/task/14373/stat : 14373 (java) S 14360 14360 28892 0 -1 1077944384 2271 0 0 0 122 0 0 0 20 0 15 0 121420992 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617085573616 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14374] ppid=14360 vsize=13980732 memory=6943526294502006880 CPUtime=0.67 cores=1,3,5,7
/proc/14362/task/14374/stat : 14374 (java) S 14360 14360 28892 0 -1 1077944384 2881 0 0 0 67 0 0 0 20 0 15 0 121420992 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617084521328 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14375] ppid=14360 vsize=13980732 memory=6944916077267085156 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14375/stat : 14375 (java) S 14360 14360 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121420992 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617083468768 140617612900053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
[pid=14362/tid=14376] ppid=14360 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/14362/task/14376/stat : 14376 (java) S 14360 14360 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121420997 14316269568 53088 18446744073709551615 4194304 4196468 140727910942176 140617082415536 140617612900994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8142848 140727910949297 140727910949473 140727910949473 140727910952911 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213732 KiB

Child status: 0
Real time (s): 1.8472
CPU time (s): 4.97072
CPU user time (s): 4.8496
CPU system time (s): 0.121125
CPU usage (%): 269.095
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 213732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.8496
system time used= 0.121125
maximum resident set size= 213544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17726
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= 2123
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 14360
#   total CPU time (s): 4.97072
#   total CPU user time (s): 4.8496
#   total CPU system time (s): 0.121125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028505 second user time and 0.065156 second system time

The end