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-4254294-1501980203/watcher-4254294-1501980203 -o /tmp/evaluation-result-4254294-1501980203/solver-4254294-1501980203 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2139412753 HOME/instance-4254294-1501980203.xml
pid=13462
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: 1.75 1.88 1.89 2/199 13465
/proc/meminfo: memFree=31394356/32770624 swapFree=0/316204
[pid=13465] ppid=13462 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (runsolver) D 13462 13465 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 97673484 24240128 106 18446744073709551615 4194304 4338465 140733166769664 140733166767304 139876575986391 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39665664 140733166772322 140733166772812 140733166772812 140733166776266 0
/proc/13465/statm: 5918 106 53 36 0 2156 0
[startup+0.100064 s]
/proc/loadavg: 1.75 1.88 1.89 2/199 13465
/proc/meminfo: memFree=31394356/32770624 swapFree=0/316204
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20204 s]
/proc/loadavg: 1.75 1.88 1.89 2/199 13465
/proc/meminfo: memFree=31394356/32770624 swapFree=0/316204
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300277 s]
/proc/loadavg: 1.75 1.88 1.89 2/199 13465
/proc/meminfo: memFree=31394356/32770624 swapFree=0/316204
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700833 s]
/proc/loadavg: 1.75 1.88 1.89 2/199 13465
/proc/meminfo: memFree=31394356/32770624 swapFree=0/316204
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.85 1.89 1.89 6/215 13481
/proc/meminfo: memFree=31320696/32770624 swapFree=0/316220
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=3.6 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 31788 0 0 0 350 10 0 0 20 0 15 0 97673493 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 28675 3191 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 9620 0 0 0 130 5 0 0 20 0 15 0 97673494 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139854061871720 139853681489980 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13471] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13471/stat : 13471 (java) S 13465 13465 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139854012496912 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13472] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13472/stat : 13472 (java) S 13465 13465 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139854011444368 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13473] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13473/stat : 13473 (java) S 13465 13465 12039 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139853603309552 139854057646722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) R 13465 13465 12039 0 -1 4202560 11327 0 0 0 85 2 0 0 20 0 15 0 97673499 14316269568 28675 18446744073709551615 4194304 4196468 140726070736672 139853599085112 139854038335872 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) R 13465 13465 12039 0 -1 4202560 7072 0 0 0 89 1 0 0 20 0 15 0 97673499 14316269568 28677 18446744073709551615 4194304 4196468 140726070736672 139853530375000 139854040839496 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 2515 0 0 0 45 0 0 0 20 0 15 0 97673499 14316269568 28677 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 28677 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97673503 14316269568 28677 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 1.85 1.89 1.89 5/215 13481
/proc/meminfo: memFree=31281820/32770624 swapFree=0/316224
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=8.38 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 41795 0 0 0 827 11 0 0 20 0 15 0 97673493 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 35486 3198 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 9904 0 0 0 289 5 0 0 20 0 15 0 97673494 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139854061866968 139853688028568 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13471] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13471/stat : 13471 (java) S 13465 13465 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139854012496912 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13472] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13472/stat : 13472 (java) S 13465 13465 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139854011444368 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13473] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13473/stat : 13473 (java) S 13465 13465 12039 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853603309552 139854057646722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=2.46 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) R 13465 13465 12039 0 -1 4202560 16101 0 0 0 244 2 0 0 20 0 15 0 97673499 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853599085536 139854041121525 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=2.47 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) R 13465 13465 12039 0 -1 4202560 11689 0 0 0 245 2 0 0 20 0 15 0 97673499 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853530378664 139854042743479 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 2740 0 0 0 47 0 0 0 20 0 15 0 97673499 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 97673503 14316269568 35486 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 13990244
[startup+6.30068 s]
/proc/loadavg: 1.86 1.90 1.89 3/215 13481
/proc/meminfo: memFree=31250180/32770624 swapFree=0/316224
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=12.91 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 52892 0 0 0 1278 13 0 0 20 0 15 0 97673493 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 41063 3205 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 11181 0 0 0 609 5 0 0 20 0 15 0 97673494 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139854061870912 139853685739043 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13471] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13471/stat : 13471 (java) S 13465 13465 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139854012496912 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13472] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13472/stat : 13472 (java) S 13465 13465 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139854011444368 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13473] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13473/stat : 13473 (java) S 13465 13465 12039 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853603309552 139854057646722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) R 13465 13465 12039 0 -1 4202560 20563 0 0 0 305 3 0 0 20 0 15 0 97673499 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853599086368 139854038814060 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=3.12 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) R 13465 13465 12039 0 -1 4202560 15314 0 0 0 310 2 0 0 20 0 15 0 97673499 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853530382672 139854042557357 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 3631 0 0 0 53 1 0 0 20 0 15 0 97673499 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 627 0 0 0 0 0 0 0 20 0 15 0 97673503 14316269568 41063 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.87 1.90 1.89 3/215 13481
/proc/meminfo: memFree=31197140/32770624 swapFree=0/316216
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=22.28 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 61792 0 0 0 2213 15 0 0 20 0 15 0 97673493 14316269568 53216 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 53216 3213 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=12.54 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 11729 0 0 0 1248 6 0 0 20 0 15 0 97673494 14316269568 53216 18446744073709551615 4194304 4196468 140726070736672 139854061871168 139853688028779 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 53216 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97673494 14316269568 53216 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
################
# More data... #
################
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=4.73 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) S 13465 13465 12039 0 -1 1077944384 26488 0 0 0 470 3 0 0 20 0 15 0 97673499 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853599099376 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=4.65 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) S 13465 13465 12039 0 -1 1077944384 19585 0 0 0 463 2 0 0 20 0 15 0 97673499 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853530393200 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 6510 0 0 0 60 1 0 0 20 0 15 0 97673499 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 1703 0 0 0 1 1 0 0 20 0 15 0 97673503 14316269568 61168 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 112.26
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.10 1.98 1.93 3/217 13579
/proc/meminfo: memFree=31195616/32770624 swapFree=0/316360
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=172.46 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 81078 0 0 0 17226 20 0 0 20 0 15 0 97673493 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 62350 3243 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=162.08 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 14489 0 0 0 16201 7 0 0 20 0 15 0 97673494 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139854061874640 139853686648073 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 3785 0 0 0 1 0 0 0 20 0 15 0 97673494 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 97673494 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13471] ppid=13465 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13467/task/13471/stat : 13471 (java) S 13465 13465 12039 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 15 0 97673494 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139854012496912 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13472] ppid=13465 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13467/task/13472/stat : 13472 (java) S 13465 13465 12039 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 97673494 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139854011444368 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13473] ppid=13465 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13467/task/13473/stat : 13473 (java) S 13465 13465 12039 0 -1 1077944384 1200 0 0 0 1 0 0 0 20 0 15 0 97673496 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853603309552 139854057646722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=4.82 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) S 13465 13465 12039 0 -1 1077944384 28298 0 0 0 479 3 0 0 20 0 15 0 97673499 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853599099376 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=4.7 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) S 13465 13465 12039 0 -1 1077944384 20616 0 0 0 468 2 0 0 20 0 15 0 97673499 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853530393200 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 7265 0 0 0 62 1 0 0 20 0 15 0 97673499 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 1717 0 0 0 2 2 0 0 20 0 15 0 97673503 14316269568 62350 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 172.46
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.92 1.91 3/215 13581
/proc/meminfo: memFree=31234156/32770624 swapFree=0/316404
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=232.48 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 81661 0 0 0 23227 21 0 0 20 0 15 0 97673493 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 59015 3243 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=222.07 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 14679 0 0 0 22200 7 0 0 20 0 15 0 97673494 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139854061874784 139853686414040 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 3806 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 920 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13471] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13471/stat : 13471 (java) S 13465 13465 12039 0 -1 1077944384 1060 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139854012496912 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13472] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13472/stat : 13472 (java) S 13465 13465 12039 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139854011444368 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13473] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13473/stat : 13473 (java) S 13465 13465 12039 0 -1 1077944384 1404 0 0 0 2 0 0 0 20 0 15 0 97673496 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853603309552 139854057646722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=4.82 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) S 13465 13465 12039 0 -1 1077944384 28299 0 0 0 479 3 0 0 20 0 15 0 97673499 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853599099376 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=4.7 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) S 13465 13465 12039 0 -1 1077944384 20621 0 0 0 468 2 0 0 20 0 15 0 97673499 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853530393200 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 7267 0 0 0 62 1 0 0 20 0 15 0 97673499 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 1743 0 0 0 2 3 0 0 20 0 15 0 97673503 14316269568 59015 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 232.48
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.93 1.94 1.92 3/215 13581
/proc/meminfo: memFree=31243172/32770624 swapFree=0/316428
[pid=13465] ppid=13462 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13465/stat : 13465 (xcsp3-exec) S 13462 13465 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97673484 9740288 345 18446744073709551615 4194304 5098028 140723530728912 140723530727016 140283314422396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 16220160 140723530736033 140723530736237 140723530736237 140723530739691 0
/proc/13465/statm: 2378 345 289 221 0 87 0
[pid=13467] ppid=13465 vsize=13980732 CPUtime=250.17 cores=0,2,4,6
/proc/13467/stat : 13467 (java) S 13465 13465 12039 0 -1 1077944320 81665 0 0 0 24996 21 0 0 20 0 15 0 97673493 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 140726070719216 139854057635575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
/proc/13467/statm: 3495183 57476 3243 1 0 3483476 0
[pid=13467/tid=13468] ppid=13465 vsize=13980732 CPUtime=239.76 cores=0,2,4,6
/proc/13467/task/13468/stat : 13468 (java) R 13465 13465 12039 0 -1 4202560 14681 0 0 0 23969 7 0 0 20 0 15 0 97673494 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139854061874784 139853685476189 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13469] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13469/stat : 13469 (java) S 13465 13465 12039 0 -1 1077944384 3806 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139854014602000 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13470] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13470/stat : 13470 (java) S 13465 13465 12039 0 -1 1077944384 920 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139854013549456 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13471] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13471/stat : 13471 (java) S 13465 13465 12039 0 -1 1077944384 1060 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139854012496912 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13472] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13472/stat : 13472 (java) S 13465 13465 12039 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 97673494 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139854011444368 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13473] ppid=13465 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13467/task/13473/stat : 13473 (java) S 13465 13465 12039 0 -1 1077944384 1406 0 0 0 2 0 0 0 20 0 15 0 97673496 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853603309552 139854057646722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13474] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13474/stat : 13474 (java) S 13465 13465 12039 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853602255776 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13475] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13475/stat : 13475 (java) S 13465 13465 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 97673496 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853601203184 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13476] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13476/stat : 13476 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853600151760 139854057654171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13477] ppid=13465 vsize=13980732 CPUtime=4.82 cores=0,2,4,6
/proc/13467/task/13477/stat : 13477 (java) S 13465 13465 12039 0 -1 1077944384 28299 0 0 0 479 3 0 0 20 0 15 0 97673499 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853599099376 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13478] ppid=13465 vsize=13980732 CPUtime=4.71 cores=0,2,4,6
/proc/13467/task/13478/stat : 13478 (java) S 13465 13465 12039 0 -1 1077944384 20621 0 0 0 468 3 0 0 20 0 15 0 97673499 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853530393200 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13479] ppid=13465 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/13467/task/13479/stat : 13479 (java) S 13465 13465 12039 0 -1 1077944384 7267 0 0 0 62 1 0 0 20 0 15 0 97673499 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853529340656 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13480] ppid=13465 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13467/task/13480/stat : 13480 (java) S 13465 13465 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97673499 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853528288352 139854057645781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
[pid=13467/tid=13481] ppid=13465 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/13467/task/13481/stat : 13481 (java) S 13465 13465 12039 0 -1 1077944384 1743 0 0 0 2 4 0 0 20 0 15 0 97673503 14316269568 57476 18446744073709551615 4194304 4196468 140726070736672 139853527234864 139854057646722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 23900160 140726070739418 140726070739593 140726070739593 140726070742991 0
Current children cumulated CPU time (s) 250.17
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 13467 sig 9
??? kill 13465 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 13465 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=619
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1239
# CPU time returned by wait4() is 0.001858
# while last known CPU time is 250.17
#
# 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): 250.17
CPU user time (s): 249.96
CPU system time (s): 0.21
CPU usage (%): 104.233
Max. virtual memory (cumulated for all children) (KiB): 13993180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000619
system time used= 0.001239
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.895799 second user time and 1.66517 second system time
The end