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-4255354-1501622143/watcher-4255354-1501622143 -o /tmp/evaluation-result-4255354-1501622143/solver-4255354-1501622143 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1666321955 HOME/instance-4255354-1501622143.xml
pid=28623
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.81 1.77 2/203 28626
/proc/meminfo: memFree=31726336/32770624 swapFree=0/216708
[pid=28626] ppid=28623 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (runsolver) D 28623 28626 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61867849 24240128 106 18446744073709551615 4194304 4338465 140720357607728 140720357605368 140340752790231 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22482944 140720357609563 140720357610053 140720357610053 140720357613514 0
/proc/28626/statm: 5918 106 53 36 0 2156 0
[startup+0.103549 s]
/proc/loadavg: 1.96 1.81 1.77 2/203 28626
/proc/meminfo: memFree=31726336/32770624 swapFree=0/216708
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200262 s]
/proc/loadavg: 1.96 1.81 1.77 2/203 28626
/proc/meminfo: memFree=31726336/32770624 swapFree=0/216708
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300229 s]
/proc/loadavg: 1.96 1.81 1.77 2/203 28626
/proc/meminfo: memFree=31726336/32770624 swapFree=0/216708
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70155 s]
/proc/loadavg: 1.96 1.81 1.77 2/203 28626
/proc/meminfo: memFree=31726336/32770624 swapFree=0/216708
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/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: 1.96 1.82 1.77 5/219 28642
/proc/meminfo: memFree=31656636/32770624 swapFree=0/216732
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=3.91 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 22976 0 0 0 384 7 0 0 20 0 15 0 61867855 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 23847 3191 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 9928 0 0 0 134 4 0 0 20 0 15 0 61867855 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865871962496 139865492844000 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28632] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28632/stat : 28632 (java) S 28626 28626 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865822587280 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28633] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28633/stat : 28633 (java) S 28626 28626 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865821534480 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28634] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28634/stat : 28634 (java) S 28626 28626 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61867857 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865413393264 139865867737730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=1.04 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) R 28626 28626 18930 0 -1 4202560 4931 0 0 0 104 0 0 0 20 0 15 0 61867861 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865341546032 139865849075792 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) R 28626 28626 18930 0 -1 4202560 4360 0 0 0 101 0 0 0 20 0 15 0 61867861 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865340490128 139865852836080 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 2445 0 0 0 44 1 0 0 20 0 15 0 61867861 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 61867864 14316269568 23847 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 1.96 1.82 1.77 5/219 28642
/proc/meminfo: memFree=31622076/32770624 swapFree=0/216732
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=8.11 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 24325 0 0 0 803 8 0 0 20 0 15 0 61867855 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 39022 3198 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 10104 0 0 0 293 5 0 0 20 0 15 0 61867855 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865871963664 139865497114734 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28632] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28632/stat : 28632 (java) S 28626 28626 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865822587280 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28633] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28633/stat : 28633 (java) S 28626 28626 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865821534480 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28634] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28634/stat : 28634 (java) S 28626 28626 18930 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 61867857 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865413393264 139865867737730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=2.38 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) R 28626 28626 18930 0 -1 4202560 5577 0 0 0 237 1 0 0 20 0 15 0 61867861 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865341539568 139865852648386 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=2.18 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) S 28626 28626 18930 0 -1 1077944384 4689 0 0 0 218 0 0 0 20 0 15 0 61867861 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865340500208 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 2608 0 0 0 53 1 0 0 20 0 15 0 61867861 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 61867864 14316269568 39022 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.05 1.84 1.78 3/219 28642
/proc/meminfo: memFree=31536612/32770624 swapFree=0/216744
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=12.23 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 31763 0 0 0 1212 11 0 0 20 0 15 0 61867855 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 50567 3225 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 11064 0 0 0 611 5 0 0 20 0 15 0 61867855 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865871962320 139865497807479 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28632] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28632/stat : 28632 (java) S 28626 28626 18930 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865822587280 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28633] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28633/stat : 28633 (java) S 28626 28626 18930 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 61867856 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865821534480 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28634] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28634/stat : 28634 (java) S 28626 28626 18930 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 61867857 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865413393264 139865867737730 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=2.73 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) S 28626 28626 18930 0 -1 1077944384 7064 0 0 0 272 1 0 0 20 0 15 0 61867861 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865341553008 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) S 28626 28626 18930 0 -1 1077944384 6330 0 0 0 265 1 0 0 20 0 15 0 61867861 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865340500208 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 4423 0 0 0 59 1 0 0 20 0 15 0 61867861 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 61867864 14316269568 50567 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.04 1.84 1.78 3/219 28642
/proc/meminfo: memFree=31528292/32770624 swapFree=0/216752
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=19.49 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 35172 0 0 0 1936 13 0 0 20 0 15 0 61867855 14316269568 54508 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 54508 3226 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 11173 0 0 0 1249 5 0 0 20 0 15 0 61867855 14316269568 54508 18446744073709551615 4194304 4196468 140731132004480 139865871963464 139865496946827 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 61867856 14316269568 54508 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61867856 14316269568 54508 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
################
# More data... #
################
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=3.56 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) S 28626 28626 18930 0 -1 1077944384 14346 0 0 0 354 2 0 0 20 0 15 0 61867861 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865341553008 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) S 28626 28626 18930 0 -1 1077944384 15049 0 0 0 371 2 0 0 20 0 15 0 61867861 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865340500208 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 7845 0 0 0 65 1 0 0 20 0 15 0 61867861 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 1141 0 0 0 1 1 0 0 20 0 15 0 61867864 14316269568 48689 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 110.84
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.66 1.79 1.77 3/217 28648
/proc/meminfo: memFree=31251352/32770624 swapFree=0/216868
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=171.69 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 66510 0 0 0 17137 32 0 0 20 0 15 0 61867855 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 58343 3231 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=161.64 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 15611 0 0 0 16158 6 0 0 20 0 15 0 61867855 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865871965712 139865497553179 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 2174 0 0 0 39 4 0 0 20 0 15 0 61867856 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 596 0 0 0 39 4 0 0 20 0 15 0 61867856 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28632] ppid=28626 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/28628/task/28632/stat : 28632 (java) S 28626 28626 18930 0 -1 1077944384 2003 0 0 0 40 4 0 0 20 0 15 0 61867856 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865822587280 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28633] ppid=28626 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/28628/task/28633/stat : 28633 (java) S 28626 28626 18930 0 -1 1077944384 1254 0 0 0 39 4 0 0 20 0 15 0 61867856 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865821534480 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28634] ppid=28626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/28628/task/28634/stat : 28634 (java) S 28626 28626 18930 0 -1 1077944384 1343 0 0 0 5 1 0 0 20 0 15 0 61867857 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865413393264 139865867737730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=3.67 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) S 28626 28626 18930 0 -1 1077944384 15940 0 0 0 365 2 0 0 20 0 15 0 61867861 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865341553008 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=3.77 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) S 28626 28626 18930 0 -1 1077944384 16299 0 0 0 375 2 0 0 20 0 15 0 61867861 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865340500208 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 8782 0 0 0 66 1 0 0 20 0 15 0 61867861 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 1148 0 0 0 2 2 0 0 20 0 15 0 61867864 14316269568 58343 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 171.69
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.78 1.78 1.77 4/216 28728
/proc/meminfo: memFree=31296216/32770624 swapFree=0/216956
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=232.62 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 72605 0 0 0 23217 45 0 0 20 0 15 0 61867855 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 78366 3231 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=221.32 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 16629 0 0 0 22126 6 0 0 20 0 15 0 61867855 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865871965728 139865496948036 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 2476 0 0 0 64 7 0 0 20 0 15 0 61867856 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 1017 0 0 0 63 7 0 0 20 0 15 0 61867856 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28632] ppid=28626 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/28628/task/28632/stat : 28632 (java) S 28626 28626 18930 0 -1 1077944384 2179 0 0 0 64 7 0 0 20 0 15 0 61867856 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865822587280 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28633] ppid=28626 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/28628/task/28633/stat : 28633 (java) S 28626 28626 18930 0 -1 1077944384 1375 0 0 0 63 7 0 0 20 0 15 0 61867856 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865821534480 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28634] ppid=28626 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/28628/task/28634/stat : 28634 (java) S 28626 28626 18930 0 -1 1077944384 1595 0 0 0 8 1 0 0 20 0 15 0 61867857 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865413393264 139865867737730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) S 28626 28626 18930 0 -1 1077944384 17873 0 0 0 371 2 0 0 20 0 15 0 61867861 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865341553008 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) S 28626 28626 18930 0 -1 1077944384 17649 0 0 0 381 2 0 0 20 0 15 0 61867861 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865340500208 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 9277 0 0 0 67 1 0 0 20 0 15 0 61867861 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 1175 0 0 0 3 3 0 0 20 0 15 0 61867864 14316269568 78366 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 232.62
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.60 1.74 1.76 3/216 28728
/proc/meminfo: memFree=31247256/32770624 swapFree=0/216972
[pid=28626] ppid=28623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp3-exec) S 28623 28626 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61867849 9740288 345 18446744073709551615 4194304 5098028 140728214050400 140728214048504 139780521091708 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 31866880 140728214053274 140728214053478 140728214053478 140728214056939 0
/proc/28626/statm: 2378 345 289 221 0 87 0
[pid=28628] ppid=28626 vsize=13980732 CPUtime=250.56 cores=1,3,5,7
/proc/28628/stat : 28628 (java) S 28626 28626 18930 0 -1 1077944320 72749 0 0 0 25008 48 0 0 20 0 15 0 61867855 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 140731131987024 139865867726583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
/proc/28628/statm: 3495183 84533 3231 1 0 3483484 0
[pid=28628/tid=28629] ppid=28626 vsize=13980732 CPUtime=238.92 cores=1,3,5,7
/proc/28628/task/28629/stat : 28629 (java) R 28626 28626 18930 0 -1 4202560 16644 0 0 0 23886 6 0 0 20 0 15 0 61867855 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865871965936 139865496947162 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28630] ppid=28626 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/28628/task/28630/stat : 28630 (java) S 28626 28626 18930 0 -1 1077944384 2506 0 0 0 71 7 0 0 20 0 15 0 61867856 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865824692880 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28631] ppid=28626 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/28628/task/28631/stat : 28631 (java) S 28626 28626 18930 0 -1 1077944384 1043 0 0 0 70 8 0 0 20 0 15 0 61867856 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865823640080 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28632] ppid=28626 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/28628/task/28632/stat : 28632 (java) S 28626 28626 18930 0 -1 1077944384 2209 0 0 0 71 8 0 0 20 0 15 0 61867856 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865822587280 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28633] ppid=28626 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/28628/task/28633/stat : 28633 (java) S 28626 28626 18930 0 -1 1077944384 1403 0 0 0 70 8 0 0 20 0 15 0 61867856 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865821534480 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28634] ppid=28626 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/28628/task/28634/stat : 28634 (java) S 28626 28626 18930 0 -1 1077944384 1595 0 0 0 9 1 0 0 20 0 15 0 61867857 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865413393264 139865867737730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28635] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28635/stat : 28635 (java) S 28626 28626 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865412339232 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28636] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28636/stat : 28636 (java) S 28626 28626 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61867858 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865411286384 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28637] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28637/stat : 28637 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865410234704 139865867745179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28638] ppid=28626 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/28628/task/28638/stat : 28638 (java) S 28626 28626 18930 0 -1 1077944384 17873 0 0 0 371 2 0 0 20 0 15 0 61867861 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865341553008 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28639] ppid=28626 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/28628/task/28639/stat : 28639 (java) S 28626 28626 18930 0 -1 1077944384 17649 0 0 0 381 2 0 0 20 0 15 0 61867861 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865340500208 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28640] ppid=28626 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/28628/task/28640/stat : 28640 (java) S 28626 28626 18930 0 -1 1077944384 9292 0 0 0 67 1 0 0 20 0 15 0 61867861 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865339447408 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28641] ppid=28626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/28628/task/28641/stat : 28641 (java) S 28626 28626 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61867861 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865338394848 139865867736789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
[pid=28628/tid=28642] ppid=28626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/28628/task/28642/stat : 28642 (java) S 28626 28626 18930 0 -1 1077944384 1175 0 0 0 3 3 0 0 20 0 15 0 61867864 14316269568 84533 18446744073709551615 4194304 4196468 140731132004480 139865337343152 139865867737730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25513984 140731132006867 140731132007042 140731132007042 140731132010447 0
Current children cumulated CPU time (s) 250.56
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 28628 sig 9
??? kill 28626 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 28626 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1880
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120
# CPU time returned by wait4() is 0.002
# while last known CPU time is 250.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 250.56
CPU user time (s): 250.08
CPU system time (s): 0.48
CPU usage (%): 104.396
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00188
system time used= 0.00012
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05458 second user time and 1.5842 second system time
The end