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-4253904-1501617303/watcher-4253904-1501617303 -o /tmp/evaluation-result-4253904-1501617303/solver-4253904-1501617303 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1748686849 HOME/instance-4253904-1501617303.xml
pid=9502
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.06 1.96 1.89 2/197 9505
/proc/meminfo: memFree=31887940/32770624 swapFree=0/188700
[pid=9505] ppid=9502 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (runsolver) D 9502 9505 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10350638 24240128 106 18446744073709551615 4194304 4338465 140722210368336 140722210365976 139955647857367 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 6627328 140722210369629 140722210370118 140722210370118 140722210373578 0
/proc/9505/statm: 5918 106 53 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 2.06 1.96 1.89 2/197 9505
/proc/meminfo: memFree=31887940/32770624 swapFree=0/188700
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.203592 s]
/proc/loadavg: 2.06 1.96 1.89 2/197 9505
/proc/meminfo: memFree=31887940/32770624 swapFree=0/188700
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301451 s]
/proc/loadavg: 2.06 1.96 1.89 2/197 9505
/proc/meminfo: memFree=31887940/32770624 swapFree=0/188700
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700412 s]
/proc/loadavg: 2.06 1.96 1.89 2/197 9505
/proc/meminfo: memFree=31887940/32770624 swapFree=0/188700
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 2.06 1.96 1.89 3/213 9521
/proc/meminfo: memFree=31739188/32770624 swapFree=0/188736
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=3.2 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 20316 0 0 0 311 9 0 0 20 0 15 0 10350647 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 50157 3202 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 8650 0 0 0 129 4 0 0 20 0 15 0 10350648 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140198302875808 140198281047120 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10350648 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 10350648 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9511] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9511/stat : 9511 (java) S 9505 9505 5131 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 15 0 10350648 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197896379408 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9512] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9512/stat : 9512 (java) S 9505 9505 5131 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 10350648 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197895326864 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9513] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9513/stat : 9513 (java) S 9505 9505 5131 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197798864880 140198298651266 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197797811104 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197796758512 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) S 9505 9505 5131 0 -1 1077944384 3406 0 0 0 74 1 0 0 20 0 15 0 10350653 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) R 9505 9505 5131 0 -1 4202560 3360 0 0 0 74 0 0 0 20 0 15 0 10350653 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197793582552 140198282050991 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 2447 0 0 0 28 0 0 0 20 0 15 0 10350653 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10350657 14316269568 50157 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 2.06 1.96 1.89 3/213 9521
/proc/meminfo: memFree=31655736/32770624 swapFree=0/188736
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=6.43 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 24605 0 0 0 629 14 0 0 20 0 15 0 10350647 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 61356 3212 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=2.91 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 9789 0 0 0 286 5 0 0 20 0 15 0 10350648 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140198302875424 140197943695538 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 10350648 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9511] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9511/stat : 9511 (java) S 9505 9505 5131 0 -1 1077944384 214 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197896379408 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9512] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9512/stat : 9512 (java) S 9505 9505 5131 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197895326864 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9513] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9513/stat : 9513 (java) S 9505 9505 5131 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197798864880 140198298651266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197797811104 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197796758512 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) S 9505 9505 5131 0 -1 1077944384 4620 0 0 0 160 1 0 0 20 0 15 0 10350653 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) S 9505 9505 5131 0 -1 1077944384 4469 0 0 0 138 1 0 0 20 0 15 0 10350653 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197793602160 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 3074 0 0 0 37 1 0 0 20 0 15 0 10350653 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10350657 14316269568 61356 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.13 1.98 1.89 3/213 9521
/proc/meminfo: memFree=31656416/32770624 swapFree=0/188752
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=9.68 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 24690 0 0 0 953 15 0 0 20 0 15 0 10350647 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 78520 3216 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 9836 0 0 0 605 6 0 0 20 0 15 0 10350648 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140198302875280 140197943694154 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 10350648 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9511] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9511/stat : 9511 (java) S 9505 9505 5131 0 -1 1077944384 214 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197896379408 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9512] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9512/stat : 9512 (java) S 9505 9505 5131 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197895326864 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9513] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9513/stat : 9513 (java) S 9505 9505 5131 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197798864880 140198298651266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197797811104 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197796758512 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) R 9505 9505 5131 0 -1 4202560 4623 0 0 0 162 1 0 0 20 0 15 0 10350653 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198284696608 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) S 9505 9505 5131 0 -1 1077944384 4474 0 0 0 140 1 0 0 20 0 15 0 10350653 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197793602160 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 3098 0 0 0 38 1 0 0 20 0 15 0 10350653 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10350657 14316269568 78520 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.12 1.98 1.89 3/213 9521
/proc/meminfo: memFree=31551608/32770624 swapFree=0/188752
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=16.63 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 30129 0 0 0 1647 16 0 0 20 0 15 0 10350647 14316269568 87190 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 87190 3218 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 10412 0 0 0 1245 6 0 0 20 0 15 0 10350648 14316269568 87190 18446744073709551615 4194304 4196468 140729770604992 140198302875440 140197943695357 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 15 0 10350648 14316269568 87190 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 10350648 14316269568 87190 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
################
# More data... #
################
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197797811168 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197796758528 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=2.71 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) S 9505 9505 5131 0 -1 1077944384 12477 0 0 0 269 2 0 0 20 0 15 0 10350653 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=2.22 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) S 9505 9505 5131 0 -1 1077944384 8677 0 0 0 221 1 0 0 20 0 15 0 10350653 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197793602160 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 5253 0 0 0 47 2 0 0 20 0 15 0 10350653 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 357 0 0 0 1 3 0 0 20 0 15 0 10350657 14316269568 151447 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 107.85
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 2.00 1.91 3/213 9604
/proc/meminfo: memFree=21681844/32770624 swapFree=0/189736
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=168.01 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 50094 0 0 0 16766 35 0 0 20 0 15 0 10350647 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 177497 3227 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=162.03 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 14325 0 0 0 16193 10 0 0 20 0 15 0 10350648 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140198302875792 140197943697358 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 685 0 0 0 3 3 0 0 20 0 15 0 10350648 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 1508 0 0 0 4 3 0 0 20 0 15 0 10350648 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9511] ppid=9505 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9507/task/9511/stat : 9511 (java) S 9505 9505 5131 0 -1 1077944384 1243 0 0 0 4 3 0 0 20 0 15 0 10350648 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197896379408 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9512] ppid=9505 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9507/task/9512/stat : 9512 (java) S 9505 9505 5131 0 -1 1077944384 755 0 0 0 4 3 0 0 20 0 15 0 10350648 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197895326864 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9513] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9513/stat : 9513 (java) S 9505 9505 5131 0 -1 1077944384 1537 0 0 0 1 0 0 0 20 0 15 0 10350650 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197798864880 140198298651266 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197797811168 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197796758528 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=2.72 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) S 9505 9505 5131 0 -1 1077944384 12589 0 0 0 270 2 0 0 20 0 15 0 10350653 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) S 9505 9505 5131 0 -1 1077944384 10400 0 0 0 230 1 0 0 20 0 15 0 10350653 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197793602160 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 5253 0 0 0 47 2 0 0 20 0 15 0 10350653 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 359 0 0 0 2 5 0 0 20 0 15 0 10350657 14316269568 177497 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 168.01
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.12 2.04 1.94 3/214 9607
/proc/meminfo: memFree=19624348/32770624 swapFree=0/189780
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=228.12 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 51437 0 0 0 22773 39 0 0 20 0 15 0 10350647 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 182767 3227 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=222.02 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 15050 0 0 0 22192 10 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140198302876384 140197943694985 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 693 0 0 0 3 4 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 1516 0 0 0 5 3 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9511] ppid=9505 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9507/task/9511/stat : 9511 (java) S 9505 9505 5131 0 -1 1077944384 1250 0 0 0 5 3 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197896379408 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9512] ppid=9505 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9507/task/9512/stat : 9512 (java) S 9505 9505 5131 0 -1 1077944384 767 0 0 0 4 4 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197895326864 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9513] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9513/stat : 9513 (java) S 9505 9505 5131 0 -1 1077944384 1587 0 0 0 1 0 0 0 20 0 15 0 10350650 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197798864880 140198298651266 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197797811168 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197796758528 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=2.76 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) S 9505 9505 5131 0 -1 1077944384 12850 0 0 0 274 2 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) S 9505 9505 5131 0 -1 1077944384 10579 0 0 0 231 1 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197793602160 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 5260 0 0 0 47 2 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 445 0 0 0 3 7 0 0 20 0 15 0 10350657 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 228.12
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.11 2.04 1.94 3/213 9607
/proc/meminfo: memFree=19624372/32770624 swapFree=0/189788
[pid=9505] ppid=9502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9505/stat : 9505 (xcsp3-exec) S 9502 9505 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10350638 9740288 345 18446744073709551615 4194304 5098028 140727426326480 140727426324584 140109907899004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31096832 140727426335131 140727426335335 140727426335335 140727426338795 0
/proc/9505/statm: 2378 345 289 221 0 87 0
[pid=9507] ppid=9505 vsize=13980732 CPUtime=245.82 cores=1,3,5,7
/proc/9507/stat : 9507 (java) S 9505 9505 5131 0 -1 1077944320 51475 0 0 0 24543 39 0 0 20 0 15 0 10350647 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140729770587536 140198298640119 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
/proc/9507/statm: 3495183 182767 3227 1 0 3483484 0
[pid=9507/tid=9508] ppid=9505 vsize=13980732 CPUtime=239.71 cores=1,3,5,7
/proc/9507/task/9508/stat : 9508 (java) R 9505 9505 5131 0 -1 4202560 15088 0 0 0 23961 10 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140198302876384 140197943694943 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9509] ppid=9505 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9507/task/9509/stat : 9509 (java) S 9505 9505 5131 0 -1 1077944384 693 0 0 0 3 4 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140198270483216 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9510] ppid=9505 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9507/task/9510/stat : 9510 (java) S 9505 9505 5131 0 -1 1077944384 1516 0 0 0 5 3 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197897431952 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9511] ppid=9505 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9507/task/9511/stat : 9511 (java) S 9505 9505 5131 0 -1 1077944384 1250 0 0 0 5 3 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197896379408 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9512] ppid=9505 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9507/task/9512/stat : 9512 (java) S 9505 9505 5131 0 -1 1077944384 767 0 0 0 4 4 0 0 20 0 15 0 10350648 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197895326864 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9513] ppid=9505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9507/task/9513/stat : 9513 (java) S 9505 9505 5131 0 -1 1077944384 1587 0 0 0 1 0 0 0 20 0 15 0 10350650 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197798864880 140198298651266 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9514] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9514/stat : 9514 (java) S 9505 9505 5131 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197797811168 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9515] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9515/stat : 9515 (java) S 9505 9505 5131 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10350650 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197796758528 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9516] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9516/stat : 9516 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197795707088 140198298658715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9517] ppid=9505 vsize=13980732 CPUtime=2.76 cores=1,3,5,7
/proc/9507/task/9517/stat : 9517 (java) S 9505 9505 5131 0 -1 1077944384 12850 0 0 0 274 2 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197794654704 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9518] ppid=9505 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/9507/task/9518/stat : 9518 (java) S 9505 9505 5131 0 -1 1077944384 10579 0 0 0 231 1 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197793602160 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9519] ppid=9505 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/9507/task/9519/stat : 9519 (java) S 9505 9505 5131 0 -1 1077944384 5260 0 0 0 47 2 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197792549616 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9520] ppid=9505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9507/task/9520/stat : 9520 (java) S 9505 9505 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10350653 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197791497312 140198298650325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
[pid=9507/tid=9521] ppid=9505 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/9507/task/9521/stat : 9521 (java) S 9505 9505 5131 0 -1 1077944384 445 0 0 0 3 8 0 0 20 0 15 0 10350657 14316269568 182767 18446744073709551615 4194304 4196468 140729770604992 140197790443824 140198298651266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140729770611156 140729770611331 140729770611331 140729770614735 0
Current children cumulated CPU time (s) 245.82
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 9507 sig 9
??? kill 9505 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 9505 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=905
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=905
# CPU time returned by wait4() is 0.00181
# while last known CPU time is 245.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.017
CPU time (s): 245.82
CPU user time (s): 245.43
CPU system time (s): 0.39
CPU usage (%): 102.418
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000905
system time used= 0.000905
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 1.07834 second user time and 1.57603 second system time
The end