runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255031-1501620814/watcher-4255031-1501620814 -o /tmp/evaluation-result-4255031-1501620814/solver-4255031-1501620814 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 876448412 HOME/instance-4255031-1501620814.xml
pid=14021
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.51 1.71 1.76 4/195 14024
/proc/meminfo: memFree=31471888/32770624 swapFree=0/191280
[pid=14024] ppid=14021 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (runsolver) D 14021 14024 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10704503 24240128 106 18446744073709551615 4194304 4338465 140731778484288 140731778481928 139693475582679 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 29777920 140731778486365 140731778486854 140731778486854 140731778490314 0
/proc/14024/statm: 5918 106 53 36 0 2156 0
[startup+0.10006 s]
/proc/loadavg: 1.51 1.71 1.76 4/195 14024
/proc/meminfo: memFree=31471888/32770624 swapFree=0/191280
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200323 s]
/proc/loadavg: 1.51 1.71 1.76 4/195 14024
/proc/meminfo: memFree=31471888/32770624 swapFree=0/191280
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30192 s]
/proc/loadavg: 1.51 1.71 1.76 4/195 14024
/proc/meminfo: memFree=31471888/32770624 swapFree=0/191280
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700847 s]
/proc/loadavg: 1.51 1.71 1.76 4/195 14024
/proc/meminfo: memFree=31471888/32770624 swapFree=0/191280
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5008 s]
/proc/loadavg: 1.51 1.71 1.76 6/211 14040
/proc/meminfo: memFree=31287436/32770624 swapFree=0/191272
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13980732 CPUtime=4.05 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 15760 0 0 0 394 11 0 0 20 0 15 0 10704510 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495183 55736 3205 1 0 3483484 0
[pid=14026/tid=14027] ppid=14024 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) S 14024 14024 5091 0 -1 1077944384 8534 0 0 0 129 4 0 0 20 0 15 0 10704510 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363565823408 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) R 14024 14024 5091 0 -1 4202560 150 0 0 0 2 1 0 0 20 0 15 0 10704511 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363496021080 140363546614297 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) R 14024 14024 5091 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 15 0 10704511 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363494967968 140363546614288 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14030] ppid=14024 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/14026/task/14030/stat : 14030 (java) R 14024 14024 5091 0 -1 4202560 53 0 0 0 2 1 0 0 20 0 15 0 10704511 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363493915992 140363546613842 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14031] ppid=14024 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/14026/task/14031/stat : 14031 (java) R 14024 14024 5091 0 -1 4202560 58 0 0 0 2 1 0 0 20 0 15 0 10704511 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363492862992 140363546614279 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14032] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14032/stat : 14032 (java) S 14024 14024 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10704512 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363040133792 140363561596629 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14033] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363039081248 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) S 14024 14024 5091 0 -1 1077944384 1974 0 0 0 103 0 0 0 20 0 15 0 10704515 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363035904560 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) S 14024 14024 5091 0 -1 1077944384 1295 0 0 0 101 0 0 0 20 0 15 0 10704515 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363034857296 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 2296 0 0 0 50 1 0 0 20 0 15 0 10704515 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10704519 14316269568 55736 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13990244
[startup+3.10085 s]
/proc/loadavg: 1.71 1.75 1.77 3/211 14040
/proc/meminfo: memFree=31215272/32770624 swapFree=0/191272
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13982848 CPUtime=8.3 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 22122 0 0 0 812 18 0 0 20 0 15 0 10704510 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495712 82054 3226 1 0 3484013 0
[pid=14026/tid=14027] ppid=14024 vsize=13982848 CPUtime=2.89 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) R 14024 14024 5091 0 -1 4202560 8908 0 0 0 284 5 0 0 20 0 15 0 10704510 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363565822888 140363179414456 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13982848 CPUtime=0.06 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) S 14024 14024 5091 0 -1 1077944384 166 0 0 0 4 2 0 0 20 0 15 0 10704511 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363496020880 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13982848 CPUtime=0.05 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) S 14024 14024 5091 0 -1 1077944384 35 0 0 0 4 1 0 0 20 0 15 0 10704511 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363494968080 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14030] ppid=14024 vsize=13982848 CPUtime=0.06 cores=1,3,5,7
/proc/14026/task/14030/stat : 14030 (java) S 14024 14024 5091 0 -1 1077944384 68 0 0 0 4 2 0 0 20 0 15 0 10704511 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363493915792 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14031] ppid=14024 vsize=13982848 CPUtime=0.06 cores=1,3,5,7
/proc/14026/task/14031/stat : 14031 (java) S 14024 14024 5091 0 -1 1077944384 74 0 0 0 4 2 0 0 20 0 15 0 10704511 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363492862992 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14032] ppid=14024 vsize=13982848 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14032/stat : 14032 (java) S 14024 14024 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10704512 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363040135280 140363561597570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14033] ppid=14024 vsize=13982848 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10704513 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363039081248 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13982848 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10704513 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13982848 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13982848 CPUtime=2.21 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) R 14024 14024 5091 0 -1 4202560 3957 0 0 0 221 0 0 0 20 0 15 0 10704515 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363035911200 140363540841190 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13982848 CPUtime=2.22 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) R 14024 14024 5091 0 -1 4202560 4711 0 0 0 221 1 0 0 20 0 15 0 10704515 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363034858320 140363543106504 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13982848 CPUtime=0.65 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 2822 0 0 0 64 1 0 0 20 0 15 0 10704515 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13982848 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13982848 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10704519 14318436352 82054 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 13992360
[startup+6.30075 s]
/proc/loadavg: 1.71 1.75 1.77 3/211 14040
/proc/meminfo: memFree=30927888/32770624 swapFree=0/191292
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13980732 CPUtime=12.96 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 34857 0 0 0 1257 39 0 0 20 0 15 0 10704510 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495183 138174 3229 1 0 3483484 0
[pid=14026/tid=14027] ppid=14024 vsize=13980732 CPUtime=5.93 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) R 14024 14024 5091 0 -1 4202560 9884 0 0 0 587 6 0 0 20 0 15 0 10704510 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363565825168 140363180696035 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) S 14024 14024 5091 0 -1 1077944384 455 0 0 0 15 7 0 0 20 0 15 0 10704511 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363496020880 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) S 14024 14024 5091 0 -1 1077944384 201 0 0 0 15 6 0 0 20 0 15 0 10704511 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363494968080 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14030] ppid=14024 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/14026/task/14030/stat : 14030 (java) S 14024 14024 5091 0 -1 1077944384 194 0 0 0 16 6 0 0 20 0 15 0 10704511 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363493915792 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14031] ppid=14024 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/14026/task/14031/stat : 14031 (java) S 14024 14024 5091 0 -1 1077944384 192 0 0 0 15 7 0 0 20 0 15 0 10704511 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363492862992 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14032] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14032/stat : 14032 (java) S 14024 14024 5091 0 -1 1077944384 529 0 0 0 0 0 0 0 20 0 15 0 10704512 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363040135280 140363561597570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14033] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363039081312 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13980732 CPUtime=2.67 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) S 14024 14024 5091 0 -1 1077944384 9141 0 0 0 266 1 0 0 20 0 15 0 10704515 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363035925104 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13980732 CPUtime=2.7 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) S 14024 14024 5091 0 -1 1077944384 8457 0 0 0 268 2 0 0 20 0 15 0 10704515 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363034872304 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 4217 0 0 0 71 1 0 0 20 0 15 0 10704515 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 10704519 14316269568 138174 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.68 1.74 1.77 3/211 14040
/proc/meminfo: memFree=30923000/32770624 swapFree=0/191296
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13980732 CPUtime=19.83 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 37368 0 0 0 1944 39 0 0 20 0 15 0 10704510 14316269568 138280 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495183 138280 3229 1 0 3483484 0
[pid=14026/tid=14027] ppid=14024 vsize=13980732 CPUtime=12.33 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) R 14024 14024 5091 0 -1 4202560 10812 0 0 0 1227 6 0 0 20 0 15 0 10704510 14316269568 138280 18446744073709551615 4194304 4196468 140721325890848 140363565823224 140363179316847 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) S 14024 14024 5091 0 -1 1077944384 455 0 0 0 15 7 0 0 20 0 15 0 10704511 14316269568 138280 18446744073709551615 4194304 4196468 140721325890848 140363496020880 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) S 14024 14024 5091 0 -1 1077944384 201 0 0 0 15 6 0 0 20 0 15 0 10704511 14316269568 138280 18446744073709551615 4194304 4196468 140721325890848 140363494968080 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
################
# More data... #
################
[pid=14026/tid=14033] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363039081312 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13980732 CPUtime=3.21 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) S 14024 14024 5091 0 -1 1077944384 13490 0 0 0 320 1 0 0 20 0 15 0 10704515 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363035925104 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13980732 CPUtime=3.23 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) S 14024 14024 5091 0 -1 1077944384 12563 0 0 0 321 2 0 0 20 0 15 0 10704515 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363034872304 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 8489 0 0 0 84 2 0 0 20 0 15 0 10704515 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 646 0 0 0 2 3 0 0 20 0 15 0 10704519 14316269568 385685 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 117.61
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.12 1.91 1.83 3/212 14052
/proc/meminfo: memFree=29699636/32770624 swapFree=0/191408
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13980732 CPUtime=178.34 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 104421 0 0 0 17722 112 0 0 20 0 15 0 10704510 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495183 386420 3246 1 0 3483484 0
[pid=14026/tid=14027] ppid=14024 vsize=13980732 CPUtime=158.34 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) R 14024 14024 5091 0 -1 4202560 17614 0 0 0 15823 11 0 0 20 0 15 0 10704510 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363565824616 140363179748904 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13980732 CPUtime=2.7 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) S 14024 14024 5091 0 -1 1077944384 6026 0 0 0 248 22 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363496020880 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13980732 CPUtime=2.69 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) S 14024 14024 5091 0 -1 1077944384 12507 0 0 0 247 22 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363494968080 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14030] ppid=14024 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/14026/task/14030/stat : 14030 (java) S 14024 14024 5091 0 -1 1077944384 9696 0 0 0 247 21 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363493915792 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14031] ppid=14024 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/14026/task/14031/stat : 14031 (java) S 14024 14024 5091 0 -1 1077944384 7500 0 0 0 244 22 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363492862992 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14032] ppid=14024 vsize=13980732 CPUtime=1.09 cores=1,3,5,7
/proc/14026/task/14032/stat : 14032 (java) S 14024 14024 5091 0 -1 1077944384 6914 0 0 0 108 1 0 0 20 0 15 0 10704512 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363040135280 140363561597570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14033] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363039081312 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13980732 CPUtime=3.38 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) S 14024 14024 5091 0 -1 1077944384 15367 0 0 0 337 1 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363035925104 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) S 14024 14024 5091 0 -1 1077944384 17534 0 0 0 371 2 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363034872304 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 9261 0 0 0 86 2 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 673 0 0 0 4 5 0 0 20 0 15 0 10704519 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 178.34
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.14 1.95 1.85 3/212 14132
/proc/meminfo: memFree=30175956/32770624 swapFree=0/191512
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13980732 CPUtime=238.53 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 109579 0 0 0 23739 114 0 0 20 0 15 0 10704510 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495183 386420 3246 1 0 3483484 0
[pid=14026/tid=14027] ppid=14024 vsize=13980732 CPUtime=218.35 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) R 14024 14024 5091 0 -1 4202560 19329 0 0 0 21824 11 0 0 20 0 15 0 10704510 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363565822208 140363179947212 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13980732 CPUtime=2.7 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) S 14024 14024 5091 0 -1 1077944384 6026 0 0 0 248 22 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363496020880 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13980732 CPUtime=2.69 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) S 14024 14024 5091 0 -1 1077944384 12507 0 0 0 247 22 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363494968080 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14030] ppid=14024 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/14026/task/14030/stat : 14030 (java) S 14024 14024 5091 0 -1 1077944384 9696 0 0 0 247 21 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363493915792 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14031] ppid=14024 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/14026/task/14031/stat : 14031 (java) S 14024 14024 5091 0 -1 1077944384 7500 0 0 0 244 22 0 0 20 0 15 0 10704511 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363492862992 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14032] ppid=14024 vsize=13980732 CPUtime=1.09 cores=1,3,5,7
/proc/14026/task/14032/stat : 14032 (java) S 14024 14024 5091 0 -1 1077944384 6960 0 0 0 108 1 0 0 20 0 15 0 10704512 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363040135280 140363561597570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14033] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363039081312 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13980732 CPUtime=3.42 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) S 14024 14024 5091 0 -1 1077944384 16190 0 0 0 341 1 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363035925104 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13980732 CPUtime=3.85 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) S 14024 14024 5091 0 -1 1077944384 19364 0 0 0 382 3 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363034872304 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 9973 0 0 0 86 2 0 0 20 0 15 0 10704515 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 705 0 0 0 5 7 0 0 20 0 15 0 10704519 14316269568 386420 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 238.53
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.04 1.94 1.85 3/212 14132
/proc/meminfo: memFree=30166364/32770624 swapFree=0/191528
[pid=14024] ppid=14021 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14024/stat : 14024 (xcsp3-exec) S 14021 14024 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10704503 9740288 345 18446744073709551615 4194304 5098028 140728456952016 140728456950120 140582518616700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12689408 140728456958364 140728456958567 140728456958567 140728456962027 0
/proc/14024/statm: 2378 345 289 221 0 87 0
[pid=14026] ppid=14024 vsize=13980732 CPUtime=256.25 cores=1,3,5,7
/proc/14026/stat : 14026 (java) S 14024 14024 5091 0 -1 1077944320 110906 0 0 0 25511 114 0 0 20 0 15 0 10704510 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140721325873392 140363561586423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
/proc/14026/statm: 3495183 386424 3246 1 0 3483484 0
[pid=14026/tid=14027] ppid=14024 vsize=13980732 CPUtime=236.04 cores=1,3,5,7
/proc/14026/task/14027/stat : 14027 (java) R 14024 14024 5091 0 -1 4202560 20051 0 0 0 23593 11 0 0 20 0 15 0 10704510 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363565822384 140363179748904 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14028] ppid=14024 vsize=13980732 CPUtime=2.7 cores=1,3,5,7
/proc/14026/task/14028/stat : 14028 (java) S 14024 14024 5091 0 -1 1077944384 6026 0 0 0 248 22 0 0 20 0 15 0 10704511 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363496020880 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14029] ppid=14024 vsize=13980732 CPUtime=2.69 cores=1,3,5,7
/proc/14026/task/14029/stat : 14029 (java) S 14024 14024 5091 0 -1 1077944384 12507 0 0 0 247 22 0 0 20 0 15 0 10704511 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363494968080 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14030] ppid=14024 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/14026/task/14030/stat : 14030 (java) S 14024 14024 5091 0 -1 1077944384 9696 0 0 0 247 21 0 0 20 0 15 0 10704511 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363493915792 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14031] ppid=14024 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/14026/task/14031/stat : 14031 (java) S 14024 14024 5091 0 -1 1077944384 7500 0 0 0 244 22 0 0 20 0 15 0 10704511 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363492862992 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14032] ppid=14024 vsize=13980732 CPUtime=1.09 cores=1,3,5,7
/proc/14026/task/14032/stat : 14032 (java) S 14024 14024 5091 0 -1 1077944384 6961 0 0 0 108 1 0 0 20 0 15 0 10704512 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363040135280 140363561597570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14033] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14033/stat : 14033 (java) S 14024 14024 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363039081312 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14034] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14034/stat : 14034 (java) S 14024 14024 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10704513 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363038028912 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14035] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14035/stat : 14035 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704515 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363036977232 140363561605019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14036] ppid=14024 vsize=13980732 CPUtime=3.42 cores=1,3,5,7
/proc/14026/task/14036/stat : 14036 (java) S 14024 14024 5091 0 -1 1077944384 16222 0 0 0 341 1 0 0 20 0 15 0 10704515 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363035925104 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14037] ppid=14024 vsize=13980732 CPUtime=3.85 cores=1,3,5,7
/proc/14026/task/14037/stat : 14037 (java) S 14024 14024 5091 0 -1 1077944384 19428 0 0 0 382 3 0 0 20 0 15 0 10704515 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363034872304 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14038] ppid=14024 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/14026/task/14038/stat : 14038 (java) S 14024 14024 5091 0 -1 1077944384 10481 0 0 0 88 2 0 0 20 0 15 0 10704515 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363033820016 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14039] ppid=14024 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14026/task/14039/stat : 14039 (java) S 14024 14024 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10704516 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363032767456 140363561596629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
[pid=14026/tid=14040] ppid=14024 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/14026/task/14040/stat : 14040 (java) S 14024 14024 5091 0 -1 1077944384 705 0 0 0 6 8 0 0 20 0 15 0 10704519 14316269568 386424 18446744073709551615 4194304 4196468 140721325890848 140363031714224 140363561597570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11292672 140721325896148 140721325896323 140721325896323 140721325899727 0
Current children cumulated CPU time (s) 256.25
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14026 sig 9
??? kill 14024 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14024 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=953
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=953
# CPU time returned by wait4() is 0.001906
# while last known CPU time is 256.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 256.25
CPU user time (s): 255.11
CPU system time (s): 1.14
CPU usage (%): 106.766
Max. virtual memory (cumulated for all children) (KiB): 13992360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000953
system time used= 0.000953
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.713605 second user time and 1.96786 second system time
The end