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-4254280-1501612025/watcher-4254280-1501612025 -o /tmp/evaluation-result-4254280-1501612025/solver-4254280-1501612025 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5151 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1887297335 HOME/instance-4254280-1501612025.xml
pid=5174
running on 4 cores: 0,2,4,6
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: 0.00 0.01 0.05 4/186 5180
/proc/meminfo: memFree=32057572/32770624 swapFree=0/129888
[pid=5179] ppid=5174 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (runsolver) D 5174 5179 5091 34816 5091 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9825670 24240128 108 18446744073709551615 4194304 4338465 140724360253424 140724360251064 140512404792023 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11313152 140724360257629 140724360258118 140724360258118 140724360261578 0
/proc/5179/statm: 5918 108 54 36 0 2156 0
[startup+0.10006 s]
/proc/loadavg: 0.00 0.01 0.05 4/186 5180
/proc/meminfo: memFree=32057572/32770624 swapFree=0/129888
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 34816 5091 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200215 s]
/proc/loadavg: 0.00 0.01 0.05 4/186 5180
/proc/meminfo: memFree=32057572/32770624 swapFree=0/129888
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 34816 5091 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300187 s]
/proc/loadavg: 0.00 0.01 0.05 4/186 5180
/proc/meminfo: memFree=32057572/32770624 swapFree=0/129888
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 34816 5091 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700156 s]
/proc/loadavg: 0.00 0.01 0.05 4/186 5180
/proc/meminfo: memFree=32057572/32770624 swapFree=0/129888
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 34816 5091 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50146 s]
/proc/loadavg: 0.00 0.01 0.05 7/218 5212
/proc/meminfo: memFree=31921912/32770624 swapFree=0/179540
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 34816 5091 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 34816 5091 1077944320 14308 0 4 0 163 8 0 0 20 0 15 0 9825678 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 19430 3168 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 34816 5091 4202560 8948 0 3 0 68 5 0 0 20 0 15 0 9825695 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140625192994064 140624829489054 0 4 1 16800974 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 34816 5091 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 34816 5091 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5193] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5193/stat : 5193 (java) S 5179 5179 5091 34816 5091 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624786807312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5194] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5194/stat : 5194 (java) S 5179 5179 5091 34816 5091 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624785754768 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5195] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5195/stat : 5195 (java) S 5179 5179 5091 34816 5091 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624667417072 140625188768386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 34816 5091 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 34816 5091 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 34816 5091 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) R 5179 5179 5091 34816 5091 4202560 1287 0 0 0 25 0 0 0 20 0 15 0 9825711 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624663198688 140625172253480 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) R 5179 5179 5091 34816 5091 4202560 1066 0 0 0 29 0 0 0 20 0 15 0 9825711 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624662153424 140625172168054 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 34816 5091 1077944384 1700 0 0 0 39 0 0 0 20 0 15 0 9825711 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 34816 5091 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 34816 5091 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9825719 14316269568 19430 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 0.00 0.01 0.05 8/215 5214
/proc/meminfo: memFree=31784168/32770624 swapFree=0/179872
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=6.55 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 0 -1 1077944320 36384 0 4 0 645 10 0 0 20 0 15 0 9825678 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 29822 3187 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=2.33 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 0 -1 4202560 9665 0 3 0 228 5 0 0 20 0 15 0 9825695 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140625192992016 140624833682304 0 4 1 16800974 0 0 0 -1 0 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5193] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5193/stat : 5193 (java) S 5179 5179 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624786807312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5194] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5194/stat : 5194 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624785754768 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5195] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5195/stat : 5195 (java) S 5179 5179 5091 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624667417072 140625188768386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) R 5179 5179 5091 0 -1 4202560 11272 0 0 0 184 1 0 0 20 0 15 0 9825711 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624663198360 140625166607425 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=1.89 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) R 5179 5179 5091 0 -1 4202560 11900 0 0 0 187 2 0 0 20 0 15 0 9825711 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624662145816 140625172240724 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 0 -1 1077944384 2219 0 0 0 44 1 0 0 20 0 15 0 9825711 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9825719 14316269568 29822 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 13990244
[startup+6.30057 s]
/proc/loadavg: 0.16 0.05 0.06 4/214 5214
/proc/meminfo: memFree=31788980/32770624 swapFree=0/179880
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=10.65 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 0 -1 1077944320 40974 0 4 0 1054 11 0 0 20 0 15 0 9825678 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 29023 3193 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=5.53 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 0 -1 4202560 10070 0 3 0 547 6 0 0 20 0 15 0 9825695 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140625192995528 140624833779394 0 4 1 16800974 0 0 0 -1 0 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5193] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5193/stat : 5193 (java) S 5179 5179 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624786807312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5194] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5194/stat : 5194 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624785754768 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5195] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5195/stat : 5195 (java) S 5179 5179 5091 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624667417072 140625188768386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=2.27 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) S 5179 5179 5091 0 -1 1077944384 12521 0 0 0 226 1 0 0 20 0 15 0 9825711 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624663205872 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) S 5179 5179 5091 0 -1 1077944384 12942 0 0 0 233 2 0 0 20 0 15 0 9825711 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624662153328 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 0 -1 1077944384 2805 0 0 0 46 1 0 0 20 0 15 0 9825711 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 0 -1 1077944384 1019 0 0 0 0 0 0 0 20 0 15 0 9825719 14316269568 29023 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 0.31 0.08 0.07 4/214 5214
/proc/meminfo: memFree=31772144/32770624 swapFree=0/179896
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=17.61 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 0 -1 1077944320 47373 0 4 0 1749 12 0 0 20 0 15 0 9825678 14316269568 31158 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 31158 3193 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=11.93 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 0 -1 4202560 10779 0 3 0 1187 6 0 0 20 0 15 0 9825695 14316269568 31158 18446744073709551615 4194304 4196468 140729169900912 140625192993968 140624836058971 0 4 1 16800974 0 0 0 -1 0 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 31158 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 31158 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
################
# More data... #
################
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=3.19 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) S 5179 5179 5091 0 -1 1077944384 21632 0 0 0 317 2 0 0 20 0 15 0 9825711 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624663205872 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=3.35 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) S 5179 5179 5091 0 -1 1077944384 23746 0 0 0 332 3 0 0 20 0 15 0 9825711 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624662153328 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 0 -1 1077944384 7685 0 0 0 59 1 0 0 20 0 15 0 9825711 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 0 -1 1077944384 1195 0 0 0 0 4 0 0 20 0 15 0 9825719 14316269568 55620 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.85 0.83 0.35 4/211 5217
/proc/meminfo: memFree=31575428/32770624 swapFree=0/179972
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=168.97 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 0 -1 1077944320 76472 0 4 0 16879 18 0 0 20 0 15 0 9825678 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 57229 3228 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=161.5 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 0 -1 4202560 14217 0 3 0 16143 7 0 0 20 0 15 0 9825695 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140625192993664 140624837120718 0 4 1 16800974 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5193] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5193/stat : 5193 (java) S 5179 5179 5091 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624786807312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5194] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5194/stat : 5194 (java) S 5179 5179 5091 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624785754768 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5195] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5195/stat : 5195 (java) S 5179 5179 5091 0 -1 1077944384 811 0 0 0 1 0 0 0 20 0 15 0 9825707 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624667417072 140625188768386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=3.25 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) S 5179 5179 5091 0 -1 1077944384 23411 0 0 0 323 2 0 0 20 0 15 0 9825711 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624663205872 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=3.44 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) S 5179 5179 5091 0 -1 1077944384 25812 0 0 0 341 3 0 0 20 0 15 0 9825711 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624662153328 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 0 -1 1077944384 8371 0 0 0 59 1 0 0 20 0 15 0 9825711 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 0 -1 1077944384 1231 0 0 0 1 5 0 0 20 0 15 0 9825719 14316269568 57229 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 168.97
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.89 1.03 0.45 4/211 5219
/proc/meminfo: memFree=31562824/32770624 swapFree=0/179992
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=229.14 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 0 -1 1077944320 78607 0 4 0 22895 19 0 0 20 0 15 0 9825678 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 57241 3228 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=221.51 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 0 -1 4202560 14533 0 3 0 22143 8 0 0 20 0 15 0 9825695 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140625192993296 140624837588400 0 4 1 16800974 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 0 -1 1077944384 701 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 15 0 9825697 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5193] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5193/stat : 5193 (java) S 5179 5179 5091 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624786807312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5194] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5194/stat : 5194 (java) S 5179 5179 5091 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 15 0 9825697 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624785754768 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5195] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5195/stat : 5195 (java) S 5179 5179 5091 0 -1 1077944384 961 0 0 0 1 0 0 0 20 0 15 0 9825707 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624667417072 140625188768386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=3.32 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) S 5179 5179 5091 0 -1 1077944384 24218 0 0 0 330 2 0 0 20 0 15 0 9825711 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624663205872 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=3.5 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) S 5179 5179 5091 0 -1 1077944384 25954 0 0 0 347 3 0 0 20 0 15 0 9825711 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624662153328 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 0 -1 1077944384 8645 0 0 0 60 1 0 0 20 0 15 0 9825711 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 0 -1 1077944384 1233 0 0 0 2 5 0 0 20 0 15 0 9825719 14316269568 57241 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 229.14
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.84 1.07 0.48 4/211 5220
/proc/meminfo: memFree=31562828/32770624 swapFree=0/179996
[pid=5179] ppid=5174 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (xcsp3-exec) S 5174 5179 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9825670 9740288 345 18446744073709551615 4194304 5098028 140723322302112 140723322300216 140072500683388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 31498240 140723322311067 140723322311271 140723322311271 140723322314731 0
/proc/5179/statm: 2378 345 289 221 0 87 0
[pid=5183] ppid=5179 vsize=13980732 CPUtime=246.92 cores=0,2,4,6
/proc/5183/stat : 5183 (java) S 5179 5179 5091 0 -1 1077944320 81648 0 4 0 24672 20 0 0 20 0 15 0 9825678 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140729169883456 140625188757239 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
/proc/5183/statm: 3495183 57263 3228 1 0 3483484 0
[pid=5183/tid=5185] ppid=5179 vsize=13980732 CPUtime=239.2 cores=0,2,4,6
/proc/5183/task/5185/stat : 5185 (java) R 5179 5179 5091 0 -1 4202560 14897 0 3 0 23912 8 0 0 20 0 15 0 9825695 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140625192993040 140624837588302 0 4 1 16800974 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5191] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5191/stat : 5191 (java) S 5179 5179 5091 0 -1 1077944384 725 0 0 0 1 0 0 0 20 0 15 0 9825697 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140625149655312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5192] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5192/stat : 5192 (java) S 5179 5179 5091 0 -1 1077944384 631 0 0 0 1 0 0 0 20 0 15 0 9825697 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624787859856 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5193] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5193/stat : 5193 (java) S 5179 5179 5091 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 9825697 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624786807312 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5194] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5194/stat : 5194 (java) S 5179 5179 5091 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 9825697 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624785754768 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5195] ppid=5179 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5183/task/5195/stat : 5195 (java) S 5179 5179 5091 0 -1 1077944384 1103 0 0 0 1 0 0 0 20 0 15 0 9825707 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624667417072 140625188768386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5197] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5197/stat : 5197 (java) S 5179 5179 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9825707 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624666363296 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5199] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5199/stat : 5199 (java) S 5179 5179 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9825708 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624665310704 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5203] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5203/stat : 5203 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624664259280 140625188775835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5205] ppid=5179 vsize=13980732 CPUtime=3.35 cores=0,2,4,6
/proc/5183/task/5205/stat : 5205 (java) S 5179 5179 5091 0 -1 1077944384 24987 0 0 0 333 2 0 0 20 0 15 0 9825711 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624663205872 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5207] ppid=5179 vsize=13980732 CPUtime=3.54 cores=0,2,4,6
/proc/5183/task/5207/stat : 5207 (java) S 5179 5179 5091 0 -1 1077944384 26871 0 0 0 351 3 0 0 20 0 15 0 9825711 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624662153328 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5208] ppid=5179 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/5183/task/5208/stat : 5208 (java) S 5179 5179 5091 0 -1 1077944384 9198 0 0 0 61 1 0 0 20 0 15 0 9825711 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624661100784 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5210] ppid=5179 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5183/task/5210/stat : 5210 (java) S 5179 5179 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9825711 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624660048480 140625188767445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
[pid=5183/tid=5212] ppid=5179 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5183/task/5212/stat : 5212 (java) S 5179 5179 5091 0 -1 1077944384 1246 0 0 0 3 5 0 0 20 0 15 0 9825719 14316269568 57263 18446744073709551615 4194304 4196468 140729169900912 140624658996016 140625188768386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140729169904084 140729169904259 140729169904259 140729169907663 0
Current children cumulated CPU time (s) 246.92
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 5183 sig 9
??? kill 5179 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 5179 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2201
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=158
# CPU time returned by wait4() is 0.002359
# while last known CPU time is 246.92
#
# 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): 246.92
CPU user time (s): 246.72
CPU system time (s): 0.2
CPU usage (%): 102.879
Max. virtual memory (cumulated for all children) (KiB): 13992680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002201
system time used= 0.000158
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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= 11
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.960699 second user time and 1.43223 second system time
The end