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-4254026-1501614000/watcher-4254026-1501614000 -o /tmp/evaluation-result-4254026-1501614000/solver-4254026-1501614000 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 745770240 HOME/instance-4254026-1501614000.xml
pid=7657
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: 2.02 1.95 1.79 4/200 7660
/proc/meminfo: memFree=31688084/32770624 swapFree=0/278560
[pid=7660] ppid=7657 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (runsolver) D 7657 7660 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8905724 24240128 106 18446744073709551615 4194304 4338465 140737300080144 140737300077784 140071398822615 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 14778368 140737300086878 140737300087366 140737300087366 140737300090826 0
/proc/7660/statm: 5918 106 53 36 0 2156 0
[startup+0.100272 s]
/proc/loadavg: 2.02 1.95 1.79 4/200 7660
/proc/meminfo: memFree=31688084/32770624 swapFree=0/278560
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 2.02 1.95 1.79 4/200 7660
/proc/meminfo: memFree=31688084/32770624 swapFree=0/278560
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.307395 s]
/proc/loadavg: 2.02 1.95 1.79 4/200 7660
/proc/meminfo: memFree=31688084/32770624 swapFree=0/278560
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 2.02 1.95 1.79 4/200 7660
/proc/meminfo: memFree=31688084/32770624 swapFree=0/278560
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 2.02 1.95 1.79 5/216 7676
/proc/meminfo: memFree=31608692/32770624 swapFree=0/278576
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=3.31 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 19886 0 0 0 325 6 0 0 20 0 15 0 8905733 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 35110 3177 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=1.3 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 8921 0 0 0 127 3 0 0 20 0 15 0 8905733 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140346354834152 140345996467438 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7666] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7666/stat : 7666 (java) S 7660 7660 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345948424848 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7667] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7667/stat : 7667 (java) S 7660 7660 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345947372048 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7668] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7668/stat : 7668 (java) S 7660 7660 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8905735 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345829169776 140346350606978 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345828115744 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345827063408 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) R 7660 7660 5234 0 -1 4202560 4157 0 0 0 74 0 0 0 20 0 15 0 8905739 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345824958672 140346333983143 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=0.81 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 3621 0 0 0 81 0 0 0 20 0 15 0 8905739 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 1876 0 0 0 40 1 0 0 20 0 15 0 8905739 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8905747 14316269568 35110 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 13990244
[startup+3.10056 s]
/proc/loadavg: 2.02 1.95 1.79 3/216 7676
/proc/meminfo: memFree=31509280/32770624 swapFree=0/278576
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=5.38 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 22155 0 0 0 531 7 0 0 20 0 15 0 8905733 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 48087 3200 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 9060 0 0 0 286 4 0 0 20 0 15 0 8905733 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140346354831600 140345996650966 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7666] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7666/stat : 7666 (java) S 7660 7660 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345948424848 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7667] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7667/stat : 7667 (java) S 7660 7660 5234 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345947372048 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7668] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7668/stat : 7668 (java) S 7660 7660 5234 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 8905735 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345829169776 140346350606978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345828115744 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345827063408 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) S 7660 7660 5234 0 -1 1077944384 4223 0 0 0 96 0 0 0 20 0 15 0 8905739 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345824958576 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=1.03 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 3745 0 0 0 103 0 0 0 20 0 15 0 8905739 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 2712 0 0 0 43 1 0 0 20 0 15 0 8905739 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 8905747 14316269568 48087 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 13990244
[startup+6.30058 s]
/proc/loadavg: 2.02 1.95 1.79 3/216 7676
/proc/meminfo: memFree=31492744/32770624 swapFree=0/278588
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=8.61 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 23440 0 0 0 853 8 0 0 20 0 15 0 8905733 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 48125 3200 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=6.1 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 9483 0 0 0 605 5 0 0 20 0 15 0 8905733 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140346354832608 140345996649666 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7666] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7666/stat : 7666 (java) S 7660 7660 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345948424848 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7667] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7667/stat : 7667 (java) S 7660 7660 5234 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345947372048 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7668] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7668/stat : 7668 (java) S 7660 7660 5234 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 8905735 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345829169776 140346350606978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345828115744 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345827063408 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) S 7660 7660 5234 0 -1 1077944384 4715 0 0 0 97 0 0 0 20 0 15 0 8905739 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345824958576 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=1.03 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 3962 0 0 0 103 0 0 0 20 0 15 0 8905739 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 2776 0 0 0 44 1 0 0 20 0 15 0 8905739 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8905747 14316269568 48125 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.87 1.92 1.78 3/216 7676
/proc/meminfo: memFree=31470292/32770624 swapFree=0/278588
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=15.59 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 29589 0 0 0 1549 10 0 0 20 0 15 0 8905733 14316269568 50951 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 50951 3218 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=12.49 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 10789 0 0 0 1244 5 0 0 20 0 15 0 8905733 14316269568 50951 18446744073709551615 4194304 4196468 140730615018304 140346354832480 140345997001274 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 50951 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 507 0 0 0 0 0 0 0 20 0 15 0 8905734 14316269568 50951 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
################
# More data... #
################
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345828115808 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345827063424 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) S 7660 7660 5234 0 -1 1077944384 12531 0 0 0 143 1 0 0 20 0 15 0 8905739 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345824958576 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 8864 0 0 0 163 0 0 0 20 0 15 0 8905739 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 4554 0 0 0 52 1 0 0 20 0 15 0 8905739 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 246 0 0 0 1 1 0 0 20 0 15 0 8905747 14316269568 55149 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 105.86
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.92 1.80 3/214 7680
/proc/meminfo: memFree=31415096/32770624 swapFree=0/278664
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=166 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 50698 0 0 0 16586 14 0 0 20 0 15 0 8905733 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 56082 3229 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=162.06 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 13817 0 0 0 16201 5 0 0 20 0 15 0 8905733 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140346354832968 140345997541374 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 2602 0 0 0 2 0 0 0 20 0 15 0 8905734 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 753 0 0 0 2 1 0 0 20 0 15 0 8905734 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7666] ppid=7660 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7662/task/7666/stat : 7666 (java) S 7660 7660 5234 0 -1 1077944384 1382 0 0 0 2 1 0 0 20 0 15 0 8905734 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345948424848 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7667] ppid=7660 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7662/task/7667/stat : 7667 (java) S 7660 7660 5234 0 -1 1077944384 644 0 0 0 2 0 0 0 20 0 15 0 8905734 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345947372048 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7668] ppid=7660 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7662/task/7668/stat : 7668 (java) S 7660 7660 5234 0 -1 1077944384 1226 0 0 0 1 0 0 0 20 0 15 0 8905735 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345829169776 140346350606978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345828115808 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345827063424 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=1.49 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) S 7660 7660 5234 0 -1 1077944384 13759 0 0 0 148 1 0 0 20 0 15 0 8905739 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345824958576 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 10093 0 0 0 169 1 0 0 20 0 15 0 8905739 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 4585 0 0 0 52 1 0 0 20 0 15 0 8905739 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 453 0 0 0 2 2 0 0 20 0 15 0 8905747 14316269568 56082 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 166
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.00 1.94 1.81 3/214 7682
/proc/meminfo: memFree=31405568/32770624 swapFree=0/278684
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=226.07 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 51297 0 0 0 22591 16 0 0 20 0 15 0 8905733 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 58768 3229 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=222.05 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 14091 0 0 0 22200 5 0 0 20 0 15 0 8905733 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140346354834752 140345996467662 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 2617 0 0 0 3 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 755 0 0 0 3 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7666] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7666/stat : 7666 (java) S 7660 7660 5234 0 -1 1077944384 1391 0 0 0 3 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345948424848 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7667] ppid=7660 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7662/task/7667/stat : 7667 (java) S 7660 7660 5234 0 -1 1077944384 651 0 0 0 2 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345947372048 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7668] ppid=7660 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7662/task/7668/stat : 7668 (java) S 7660 7660 5234 0 -1 1077944384 1238 0 0 0 2 0 0 0 20 0 15 0 8905735 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345829169776 140346350606978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345828115808 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345827063424 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=1.49 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) S 7660 7660 5234 0 -1 1077944384 13765 0 0 0 148 1 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345824958576 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 10341 0 0 0 170 1 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 4589 0 0 0 52 1 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 475 0 0 0 3 3 0 0 20 0 15 0 8905747 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 226.07
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.08 1.96 1.82 3/214 7761
/proc/meminfo: memFree=31373004/32770624 swapFree=0/278720
[pid=7660] ppid=7657 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7660/stat : 7660 (xcsp3-exec) S 7657 7660 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8905724 9740288 345 18446744073709551615 4194304 5098028 140735453090816 140735453088920 140267980124796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17727488 140735453094300 140735453094503 140735453094503 140735453097963 0
/proc/7660/statm: 2378 345 289 221 0 87 0
[pid=7662] ppid=7660 vsize=13980732 CPUtime=243.77 cores=0,2,4,6
/proc/7662/stat : 7662 (java) S 7660 7660 5234 0 -1 1077944320 51488 0 0 0 24361 16 0 0 20 0 15 0 8905733 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140730615000848 140346350595831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
/proc/7662/statm: 3495183 58768 3229 1 0 3483484 0
[pid=7662/tid=7663] ppid=7660 vsize=13980732 CPUtime=239.74 cores=0,2,4,6
/proc/7662/task/7663/stat : 7663 (java) R 7660 7660 5234 0 -1 4202560 14282 0 0 0 23969 5 0 0 20 0 15 0 8905733 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140346354834752 140345996772515 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7664] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7664/stat : 7664 (java) S 7660 7660 5234 0 -1 1077944384 2617 0 0 0 3 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345950529936 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7665] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7665/stat : 7665 (java) S 7660 7660 5234 0 -1 1077944384 755 0 0 0 3 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345949477136 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7666] ppid=7660 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7662/task/7666/stat : 7666 (java) S 7660 7660 5234 0 -1 1077944384 1391 0 0 0 3 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345948424848 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7667] ppid=7660 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7662/task/7667/stat : 7667 (java) S 7660 7660 5234 0 -1 1077944384 651 0 0 0 2 1 0 0 20 0 15 0 8905734 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345947372048 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7668] ppid=7660 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7662/task/7668/stat : 7668 (java) S 7660 7660 5234 0 -1 1077944384 1238 0 0 0 2 0 0 0 20 0 15 0 8905735 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345829169776 140346350606978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7669] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7669/stat : 7669 (java) S 7660 7660 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345828115808 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7670] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7670/stat : 7670 (java) S 7660 7660 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8905736 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345827063424 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7671] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345826011728 140346350614427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7672] ppid=7660 vsize=13980732 CPUtime=1.49 cores=0,2,4,6
/proc/7662/task/7672/stat : 7672 (java) S 7660 7660 5234 0 -1 1077944384 13765 0 0 0 148 1 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345824958576 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7673] ppid=7660 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/7662/task/7673/stat : 7673 (java) S 7660 7660 5234 0 -1 1077944384 10341 0 0 0 170 1 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345823905776 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7674] ppid=7660 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/7662/task/7674/stat : 7674 (java) S 7660 7660 5234 0 -1 1077944384 4589 0 0 0 52 1 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345822853488 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7675] ppid=7660 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7675/stat : 7675 (java) S 7660 7660 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8905739 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345821800928 140346350606037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
[pid=7662/tid=7676] ppid=7660 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7662/task/7676/stat : 7676 (java) S 7660 7660 5234 0 -1 1077944384 475 0 0 0 3 3 0 0 20 0 15 0 8905747 14316269568 58768 18446744073709551615 4194304 4196468 140730615018304 140345820748720 140346350606978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18214912 140730615026132 140730615026307 140730615026307 140730615029711 0
Current children cumulated CPU time (s) 243.77
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 7662 sig 9
??? kill 7660 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 7660 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=910
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=910
# CPU time returned by wait4() is 0.00182
# while last known CPU time is 243.77
#
# 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): 243.77
CPU user time (s): 243.61
CPU system time (s): 0.16
CPU usage (%): 101.566
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00091
system time used= 0.00091
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.948797 second user time and 1.45382 second system time
The end