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 (15031 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270068-1502621715/watcher-4270068-1502621715 -o /tmp/evaluation-result-4270068-1502621715/solver-4270068-1502621715 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1747114876 HOME/instance-4270068-1502621715.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=499, runsolver pid=496
Current StackSize limit: 8192 KiB
[startup+0.100303 s]*
/proc/loadavg: 2.16 2.01 1.87 3/201 502
/proc/meminfo: memFree=31379764/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=356952 memory=5472 CPUtime=0 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 1673 0 0 0 0 0 0 0 20 0 2 0 64364802 365518848 1368 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 89238 1368 1034 1 0 79208 0
[pid=502/tid=503] ppid=499 vsize=13356504 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 1280 0 0 0 0 0 0 0 20 0 6 0 64364802 13677060096 2219 18446744073709551615 4194304 4196468 140735288660288 140567071361128 140567048529501 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64364802 13677060096 2219 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13356504 memory=140532345962892 CPUtime=0 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64364802 13677060096 2219 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64364802 13677060096 2219 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64364803 13677060096 2219 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 6852 KiB
[startup+0.212057 s]*
/proc/loadavg: 2.16 2.01 1.87 3/215 516
/proc/meminfo: memFree=31363848/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13974352 memory=27272 CPUtime=0.08 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 5264 0 0 0 7 1 0 0 20 0 15 0 64364802 14309736448 6818 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3493588 6818 2728 1 0 3482964 0
[pid=502/tid=503] ppid=499 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 3430 0 0 0 6 1 0 0 20 0 15 0 64364802 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140567071342992 140567059356478 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13974352 memory=140532345962892 CPUtime=0 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64364802 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364803 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64364804 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64364804 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566410470688 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64364805 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13974352 memory=140532345939584 CPUtime=0 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) S 499 499 17093 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13974352 memory=140532345939584 CPUtime=0 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364811 14309736448 6882 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28652 KiB
[startup+0.31067 s]*
/proc/loadavg: 2.16 2.01 1.87 4/215 516
/proc/meminfo: memFree=31353152/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13974352 memory=36772 CPUtime=0.27 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 8823 0 0 0 24 3 0 0 20 0 15 0 64364802 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3493588 9193 2971 1 0 3482964 0
[pid=502/tid=503] ppid=499 vsize=13974352 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 6118 0 0 0 15 2 0 0 20 0 15 0 64364802 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140567071354624 140567067131286 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13974352 memory=140532345962892 CPUtime=0 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64364802 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13974352 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364803 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64364804 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64364804 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566410470688 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13974352 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64364805 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13974352 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 592 0 0 0 1 0 0 0 20 0 15 0 64364807 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 15 0 64364807 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13974352 memory=140532345939584 CPUtime=0.05 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) R 499 499 17093 0 -1 4202560 704 0 0 0 5 0 0 0 20 0 15 0 64364807 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567067131286 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13974352 memory=140532345939584 CPUtime=0 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364811 14309736448 9193 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38152 KiB
[startup+0.700831 s]
/proc/loadavg: 2.16 2.01 1.87 3/215 516
/proc/meminfo: memFree=31341700/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13980732 memory=63908 CPUtime=1.14 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 13081 0 0 0 109 5 0 0 20 0 15 0 64364802 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3495183 15977 3173 1 0 3483476 0
[pid=502/tid=503] ppid=499 vsize=13980732 memory=199664 CPUtime=0.54 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 8573 0 0 0 51 3 0 0 20 0 15 0 64364802 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140567071357856 140566708723038 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13980732 memory=36372 CPUtime=0 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13980732 memory=7518026621751088993 CPUtime=0 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64364802 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13980732 memory=8897 CPUtime=0 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364803 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566410470688 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13980732 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64364805 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13980732 memory=8868 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13980732 memory=281064404695528 CPUtime=0.14 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 1129 0 0 0 14 0 0 0 20 0 15 0 64364807 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 720 0 0 0 14 0 0 0 20 0 15 0 64364807 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) R 499 499 17093 0 -1 4202560 1352 0 0 0 27 0 0 0 20 0 15 0 64364807 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567046057660 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13980732 memory=8041037979969885544 CPUtime=0 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364811 14316269568 15977 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65288 KiB
[startup+1.50109 s]
/proc/loadavg: 2.31 2.04 1.88 5/215 516
/proc/meminfo: memFree=31310440/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13980732 memory=103072 CPUtime=3.43 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 21016 0 0 0 337 6 0 0 20 0 15 0 64364802 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3495183 25768 3191 1 0 3483476 0
[pid=502/tid=503] ppid=499 vsize=13980732 memory=100772 CPUtime=1.35 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 9466 0 0 0 131 4 0 0 20 0 15 0 64364802 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140567071358040 140566713366932 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13980732 memory=161 CPUtime=0 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364802 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13980732 memory=199664 CPUtime=0 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64364802 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13980732 memory=36372 CPUtime=0 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64364803 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13980732 memory=281064404694112 CPUtime=0 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 25768 18446744073709551615 4194304 4196468 140735288660288 140566410470688 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64364805 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13980732 memory=1 CPUtime=1.44 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 10379 0 0 0 143 1 0 0 20 0 15 0 64364807 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13980732 memory=4028 CPUtime=1.72 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 10888 0 0 0 172 0 0 0 20 0 15 0 64364807 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13980732 memory=1156 CPUtime=0.45 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) S 499 499 17093 0 -1 1077944384 4892 0 0 0 45 0 0 0 20 0 15 0 64364807 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13980732 memory=4134931637327791675 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13980732 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 700 0 0 0 0 1 0 0 20 0 15 0 64364811 14316269568 49259 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 105.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198416 KiB
[startup+162.301 s]
/proc/loadavg: 1.96 2.04 1.90 3/212 521
/proc/meminfo: memFree=31238260/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13980732 memory=197748 CPUtime=166.36 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 50972 0 0 0 16621 15 0 0 20 0 15 0 64364802 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3495183 49437 3239 1 0 3483476 0
[pid=502/tid=503] ppid=499 vsize=13980732 memory=204416 CPUtime=162.08 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 14170 0 0 0 16202 6 0 0 20 0 15 0 64364802 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140567071358112 140566713366848 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13980732 memory=197748 CPUtime=0.03 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1183 0 0 0 2 1 0 0 20 0 15 0 64364802 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13980732 memory=197748 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 672 0 0 0 2 0 0 0 20 0 15 0 64364802 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13980732 memory=197748 CPUtime=0.03 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 608 0 0 0 2 1 0 0 20 0 15 0 64364802 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13980732 memory=197748 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1084 0 0 0 2 0 0 0 20 0 15 0 64364803 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13980732 memory=197748 CPUtime=0.01 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 1203 0 0 0 1 0 0 0 20 0 15 0 64364804 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13980732 memory=197748 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566410470752 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64364805 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13980732 memory=1380 CPUtime=1.64 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 11946 0 0 0 163 1 0 0 20 0 15 0 64364807 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13980732 memory=197748 CPUtime=1.94 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 12790 0 0 0 193 1 0 0 20 0 15 0 64364807 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13980732 memory=1228 CPUtime=0.46 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) S 499 499 17093 0 -1 1077944384 5209 0 0 0 46 0 0 0 20 0 15 0 64364807 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13980732 memory=1992 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 728 0 0 0 1 1 0 0 20 0 15 0 64364811 14316269568 49437 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 166.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199128 KiB
[startup+222.301 s]
/proc/loadavg: 1.89 2.00 1.90 3/212 629
/proc/meminfo: memFree=29843456/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13980732 memory=192636 CPUtime=226.4 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 53160 0 0 0 22624 16 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3495183 48159 3239 1 0 3483476 0
[pid=502/tid=503] ppid=499 vsize=13980732 memory=1380 CPUtime=222.07 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 14765 0 0 0 22201 6 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140567071358992 140566712439049 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13980732 memory=192636 CPUtime=0.03 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1218 0 0 0 2 1 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13980732 memory=197748 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 703 0 0 0 2 0 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13980732 memory=194688 CPUtime=0.03 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 947 0 0 0 2 1 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13980732 memory=194688 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1098 0 0 0 2 0 0 0 20 0 15 0 64364803 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13980732 memory=194688 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 1396 0 0 0 1 1 0 0 20 0 15 0 64364804 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13980732 memory=192636 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566410470752 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13980732 memory=192636 CPUtime=0 cores=1,3,5,7
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64364805 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13980732 memory=192636 CPUtime=1.65 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 11968 0 0 0 164 1 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13980732 memory=194688 CPUtime=1.95 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 13643 0 0 0 194 1 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13980732 memory=192636 CPUtime=0.47 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) S 499 499 17093 0 -1 1077944384 5216 0 0 0 47 0 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13980732 memory=192636 CPUtime=0.04 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 827 0 0 0 2 2 0 0 20 0 15 0 64364811 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 226.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 194016 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.83 1.99 1.89 3/211 629
/proc/meminfo: memFree=28399216/32770624 swapFree=67108860/67108860
[pid=499] ppid=496 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (xcsp3-exec) S 496 499 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64364792 9740288 345 18446744073709551615 4194304 5098028 140727105718640 140727105716744 140066995729020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23072768 140727105720702 140727105720906 140727105720906 140727105724395 0
/proc/499/statm: 2378 345 289 221 0 87 0
[pid=502] ppid=499 vsize=13980732 memory=192636 CPUtime=244.1 cores=1,3,5,7
/proc/502/stat : 502 (java) S 499 499 17093 0 -1 1077944320 53173 0 0 0 24394 16 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140735288642832 140567067119351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
/proc/502/statm: 3495183 48159 3239 1 0 3483476 0
[pid=502/tid=503] ppid=499 vsize=13980732 memory=1398720917958146503 CPUtime=239.78 cores=1,3,5,7
/proc/502/task/503/stat : 503 (java) R 499 499 17093 0 -1 4202560 14778 0 0 0 23972 6 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140567071358992 140566713337831 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=504] ppid=499 vsize=13980732 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/502/task/504/stat : 504 (java) S 499 499 17093 0 -1 1077944384 1218 0 0 0 2 1 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566667200912 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=505] ppid=499 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/505/stat : 505 (java) S 499 499 17093 0 -1 1077944384 703 0 0 0 2 0 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566666148112 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=506] ppid=499 vsize=13980732 memory=192636 CPUtime=0.03 cores=1,3,5,7
/proc/502/task/506/stat : 506 (java) S 499 499 17093 0 -1 1077944384 947 0 0 0 2 1 0 0 20 0 15 0 64364802 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566665095824 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=507] ppid=499 vsize=13980732 memory=1732 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/507/stat : 507 (java) S 499 499 17093 0 -1 1077944384 1098 0 0 0 2 0 0 0 20 0 15 0 64364803 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566664043024 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=508] ppid=499 vsize=13980732 memory=5788 CPUtime=0.02 cores=1,3,5,7
/proc/502/task/508/stat : 508 (java) S 499 499 17093 0 -1 1077944384 1396 0 0 0 1 1 0 0 20 0 15 0 64364804 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566411524720 140567067130498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=509] ppid=499 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/502/task/509/stat : 509 (java) S 499 499 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 64364804 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566410470752 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=510] ppid=499 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/502/task/510/stat : 510 (java) S 499 499 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64364805 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566409418352 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=511] ppid=499 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/502/task/511/stat : 511 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566408366672 140567067137947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=512] ppid=499 vsize=13980732 memory=1228 CPUtime=1.65 cores=1,3,5,7
/proc/502/task/512/stat : 512 (java) S 499 499 17093 0 -1 1077944384 11968 0 0 0 164 1 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566407313520 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=513] ppid=499 vsize=13980732 memory=192636 CPUtime=1.95 cores=1,3,5,7
/proc/502/task/513/stat : 513 (java) S 499 499 17093 0 -1 1077944384 13643 0 0 0 194 1 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566406260720 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=514] ppid=499 vsize=13980732 memory=4126316290023845779 CPUtime=0.48 cores=1,3,5,7
/proc/502/task/514/stat : 514 (java) S 499 499 17093 0 -1 1077944384 5216 0 0 0 47 1 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566405208432 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=515] ppid=499 vsize=13980732 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/502/task/515/stat : 515 (java) S 499 499 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64364807 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566404155872 140567067129557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
[pid=502/tid=516] ppid=499 vsize=13980732 memory=-7457052372387209120 CPUtime=0.04 cores=1,3,5,7
/proc/502/task/516/stat : 516 (java) S 499 499 17093 0 -1 1077944384 827 0 0 0 2 2 0 0 20 0 15 0 64364811 14316269568 48159 18446744073709551615 4194304 4196468 140735288660288 140566403103664 140567067130498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 16011264 140735288664503 140735288664678 140735288664678 140735288668111 0
Current children cumulated CPU time: 244.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 194016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 499 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00062 s, system=0.00124 s
[startup+240.021 s]
# the end of solver process 502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.96 s, system=0.175297 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 244.135
CPU user time (s): 243.96
CPU system time (s): 0.175297
CPU usage (%): 101.714
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 208152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.96
system time used= 0.175297
maximum resident set size= 210868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7981
involuntary context switches= 302
# summary of solver processes directly reported to runsolver:
# pid: 499,502
# total CPU time (s): 244.135
# total CPU user time (s): 243.96
# total CPU system time (s): 0.175297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44582 second user time and 2.09617 second system time
The end