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-4245901-1500686423/watcher-4245901-1500686423 -o /tmp/evaluation-result-4245901-1500686423/solver-4245901-1500686423 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 811178032 HOME/instance-4245901-1500686423.xml
pid=6982
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 14.91 15.49 15.20 12/275 6985
/proc/meminfo: memFree=31339000/32770624 swapFree=5900/228416
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 14.91 15.49 15.20 12/275 6985
/proc/meminfo: memFree=31339000/32770624 swapFree=5900/228416
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200308 s]
/proc/loadavg: 14.91 15.49 15.20 12/275 6985
/proc/meminfo: memFree=31339000/32770624 swapFree=5900/228416
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30029 s]
/proc/loadavg: 14.91 15.49 15.20 12/275 6985
/proc/meminfo: memFree=31339000/32770624 swapFree=5900/228416
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700233 s]
/proc/loadavg: 14.91 15.49 15.20 12/275 6985
/proc/meminfo: memFree=31339000/32770624 swapFree=5900/228416
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 14.91 15.49 15.20 14/296 7006
/proc/meminfo: memFree=31122664/32770624 swapFree=5900/228788
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[pid=6986] ppid=6985 vsize=13269256 CPUtime=5.51 cores=1,3,5,7,9,11,13,15
/proc/6986/stat : 6986 (java) S 6985 6985 16913 0 -1 1077944320 21624 0 0 0 523 28 0 0 20 0 20 0 3909306 13587718144 61000 33554432000 4194304 4196468 140726808767600 140726808750144 140703469268727 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
/proc/6986/statm: 3317314 61000 3245 1 0 3304547 0
[pid=6986/tid=6987] ppid=6985 vsize=13269256 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6987/stat : 6987 (java) R 6985 6985 16913 0 -1 4202560 6854 0 0 0 135 4 0 0 20 0 20 0 3909306 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703473507736 140703469290653 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6989] ppid=6985 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6989/stat : 6989 (java) S 6985 6985 16913 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703401405328 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6990] ppid=6985 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6990/stat : 6990 (java) S 6985 6985 16913 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703400352528 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6991] ppid=6985 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6991/stat : 6991 (java) S 6985 6985 16913 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703399300240 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6992] ppid=6985 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6992/stat : 6992 (java) S 6985 6985 16913 0 -1 1077944384 114 0 0 0 3 2 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703398247440 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6993] ppid=6985 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6993/stat : 6993 (java) S 6985 6985 16913 0 -1 1077944384 179 0 0 0 1 1 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703064623504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6994] ppid=6985 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6994/stat : 6994 (java) S 6985 6985 16913 0 -1 1077944384 68 0 0 0 2 2 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703063570704 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6995] ppid=6985 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6995/stat : 6995 (java) S 6985 6985 16913 0 -1 1077944384 96 0 0 0 3 2 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703062518416 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6996] ppid=6985 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6996/stat : 6996 (java) S 6985 6985 16913 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 20 0 3909307 13587718144 61000 33554432000 4194304 4196468 140726808767600 140703061465616 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6997] ppid=6985 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6997/stat : 6997 (java) S 6985 6985 16913 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 20 0 3909309 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702998760048 140703469279874 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6998] ppid=6985 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6998/stat : 6998 (java) S 6985 6985 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3909310 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702997706080 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6999] ppid=6985 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6999/stat : 6999 (java) S 6985 6985 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3909310 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702996653696 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7000] ppid=6985 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7000/stat : 7000 (java) S 6985 6985 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3909314 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702995602000 140703469287323 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7001] ppid=6985 vsize=13269256 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7001/stat : 7001 (java) R 6985 6985 16913 0 -1 4202560 3589 0 0 0 105 0 0 0 20 0 20 0 3909314 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702196938832 140703449969031 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7002] ppid=6985 vsize=13269256 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7002/stat : 7002 (java) R 6985 6985 16913 0 -1 4202560 3412 0 0 0 99 1 0 0 20 0 20 0 3909314 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702195885136 140703447157193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7003] ppid=6985 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7003/stat : 7003 (java) R 6985 6985 16913 0 -1 4202560 3388 0 0 0 104 0 0 0 20 0 20 0 3909314 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702194832088 140703454385884 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7004] ppid=6985 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7004/stat : 7004 (java) S 6985 6985 16913 0 -1 1077944384 2276 0 0 0 56 1 0 0 20 0 20 0 3909314 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702193793264 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7005] ppid=6985 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7005/stat : 7005 (java) S 6985 6985 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3909314 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702192741216 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7006] ppid=6985 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7006/stat : 7006 (java) S 6985 6985 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3909315 13587718144 61000 33554432000 4194304 4196468 140726808767600 140702191688496 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 13278768
[startup+3.10119 s]
/proc/loadavg: 14.91 15.49 15.20 18/296 7006
/proc/meminfo: memFree=30821748/32770624 swapFree=5900/228788
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[pid=6986] ppid=6985 vsize=13801768 CPUtime=12.44 cores=1,3,5,7,9,11,13,15
/proc/6986/stat : 6986 (java) S 6985 6985 16913 0 -1 1077944320 27155 0 0 0 1153 91 0 0 20 0 28 0 3909306 14133010432 148535 33554432000 4194304 4196468 140726808767600 140726808750144 140703469268727 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
/proc/6986/statm: 3450442 148535 3274 1 0 3437675 0
[pid=6986/tid=6987] ppid=6985 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6987/stat : 6987 (java) S 6985 6985 16913 0 -1 1077944384 9294 0 0 0 226 7 0 0 20 0 28 0 3909306 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703473509504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6989] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6989/stat : 6989 (java) S 6985 6985 16913 0 -1 1077944384 96 0 0 0 10 8 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703401405328 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6990] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6990/stat : 6990 (java) S 6985 6985 16913 0 -1 1077944384 154 0 0 0 12 9 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703400352528 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6991] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6991/stat : 6991 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703399300240 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6992] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6992/stat : 6992 (java) S 6985 6985 16913 0 -1 1077944384 169 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703398247440 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6993] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6993/stat : 6993 (java) S 6985 6985 16913 0 -1 1077944384 232 0 0 0 11 7 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703064623504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6994] ppid=6985 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6994/stat : 6994 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 8 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703063570704 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6995] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6995/stat : 6995 (java) S 6985 6985 16913 0 -1 1077944384 183 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703062518416 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6996] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6996/stat : 6996 (java) S 6985 6985 16913 0 -1 1077944384 166 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 148535 33554432000 4194304 4196468 140726808767600 140703061465616 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6997] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6997/stat : 6997 (java) S 6985 6985 16913 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 28 0 3909309 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702998760048 140703469279874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6998] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6998/stat : 6998 (java) S 6985 6985 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702997706080 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6999] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6999/stat : 6999 (java) S 6985 6985 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702996653696 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7000] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7000/stat : 7000 (java) S 6985 6985 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702995602000 140703469287323 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7001] ppid=6985 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7001/stat : 7001 (java) R 6985 6985 16913 0 -1 4202560 3901 0 0 0 169 0 0 0 20 0 28 0 3909314 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702196937680 140703449863037 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7002] ppid=6985 vsize=13801768 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7002/stat : 7002 (java) R 6985 6985 16913 0 -1 4202560 4181 0 0 0 174 1 0 0 20 0 28 0 3909314 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702195884376 140703450788457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7003] ppid=6985 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7003/stat : 7003 (java) R 6985 6985 16913 0 -1 4202560 3571 0 0 0 165 0 0 0 20 0 28 0 3909314 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702194831024 140703452800210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7004] ppid=6985 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7004/stat : 7004 (java) S 6985 6985 16913 0 -1 1077944384 2875 0 0 0 77 1 0 0 20 0 28 0 3909314 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702193793264 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7005] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7005/stat : 7005 (java) S 6985 6985 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702192741216 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7006] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7006/stat : 7006 (java) S 6985 6985 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3909315 14133010432 148535 33554432000 4194304 4196468 140726808767600 140702191688496 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6986 sig 9
??? kill 6985 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20152 s]
/proc/loadavg: 14.91 15.49 15.20 18/296 7006
/proc/meminfo: memFree=30821748/32770624 swapFree=5900/228788
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[pid=6986] ppid=6985 vsize=13801768 CPUtime=13.24 cores=1,3,5,7,9,11,13,15
/proc/6986/stat : 6986 (java) S 6985 6985 16913 0 -1 1077944320 27190 0 0 0 1233 91 0 0 20 0 28 0 3909306 14133010432 148544 33554432000 4194304 4196468 140726808767600 140726808750144 140703469268727 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
/proc/6986/statm: 3450442 148544 3277 1 0 3437675 0
[pid=6986/tid=6987] ppid=6985 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6987/stat : 6987 (java) S 6985 6985 16913 0 -1 1077944384 9294 0 0 0 226 7 0 0 20 0 28 0 3909306 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703473509504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6989] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6989/stat : 6989 (java) S 6985 6985 16913 0 -1 1077944384 96 0 0 0 10 8 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703401405328 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6990] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6990/stat : 6990 (java) S 6985 6985 16913 0 -1 1077944384 154 0 0 0 12 9 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703400352528 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6991] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6991/stat : 6991 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703399300240 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6992] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6992/stat : 6992 (java) S 6985 6985 16913 0 -1 1077944384 169 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703398247440 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6993] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6993/stat : 6993 (java) S 6985 6985 16913 0 -1 1077944384 232 0 0 0 11 7 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703064623504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6994] ppid=6985 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6994/stat : 6994 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 8 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703063570704 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6995] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6995/stat : 6995 (java) S 6985 6985 16913 0 -1 1077944384 183 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703062518416 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6996] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6996/stat : 6996 (java) S 6985 6985 16913 0 -1 1077944384 166 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 148544 33554432000 4194304 4196468 140726808767600 140703061465616 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
################
# More data... #
################
/proc/6986/task/6997/stat : 6997 (java) S 6985 6985 16913 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 28 0 3909309 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702998760048 140703469279874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6998] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6998/stat : 6998 (java) S 6985 6985 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702997706080 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6999] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6999/stat : 6999 (java) S 6985 6985 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702996653696 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7000] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7000/stat : 7000 (java) S 6985 6985 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702995602000 140703469287323 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7001] ppid=6985 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7001/stat : 7001 (java) S 6985 6985 16913 0 -1 1077944384 3905 0 0 0 171 0 0 0 20 0 28 0 3909314 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702196951152 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7002] ppid=6985 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7002/stat : 7002 (java) R 6985 6985 16913 0 -1 4202560 4196 0 0 0 180 1 0 0 20 0 28 0 3909314 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702195890304 140703448501339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7003] ppid=6985 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7003/stat : 7003 (java) R 6985 6985 16913 0 -1 4202560 3572 0 0 0 168 0 0 0 20 0 28 0 3909314 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702194837520 140703453665600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7004] ppid=6985 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7004/stat : 7004 (java) S 6985 6985 16913 0 -1 1077944384 2889 0 0 0 78 1 0 0 20 0 28 0 3909314 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702193793264 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7005] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7005/stat : 7005 (java) S 6985 6985 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702192741216 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7006] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7006/stat : 7006 (java) S 6985 6985 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3909315 14133010432 148544 33554432000 4194304 4196468 140726808767600 140702191688496 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 13811280
[startup+4.00148 s]
/proc/loadavg: 14.91 15.49 15.20 18/304 7014
/proc/meminfo: memFree=30603720/32770624 swapFree=5900/228796
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[pid=6986] ppid=6985 vsize=13801768 CPUtime=19.59 cores=1,3,5,7,9,11,13,15
/proc/6986/stat : 6986 (java) S 6985 6985 16913 0 -1 1077944320 27363 0 0 0 1867 92 0 0 20 0 28 0 3909306 14133010432 151295 33554432000 4194304 4196468 140726808767600 140726808750144 140703469268727 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
/proc/6986/statm: 3450442 151295 3277 1 0 3437675 0
[pid=6986/tid=6987] ppid=6985 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6987/stat : 6987 (java) S 6985 6985 16913 0 -1 1077944384 9294 0 0 0 226 7 0 0 20 0 28 0 3909306 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703473509504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6989] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6989/stat : 6989 (java) S 6985 6985 16913 0 -1 1077944384 96 0 0 0 10 8 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703401405328 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6990] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6990/stat : 6990 (java) S 6985 6985 16913 0 -1 1077944384 154 0 0 0 12 9 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703400352528 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6991] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6991/stat : 6991 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703399300240 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6992] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6992/stat : 6992 (java) S 6985 6985 16913 0 -1 1077944384 169 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703398247440 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6993] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6993/stat : 6993 (java) S 6985 6985 16913 0 -1 1077944384 232 0 0 0 11 7 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703064623504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6994] ppid=6985 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6994/stat : 6994 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 8 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703063570704 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6995] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6995/stat : 6995 (java) S 6985 6985 16913 0 -1 1077944384 183 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703062518416 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6996] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6996/stat : 6996 (java) S 6985 6985 16913 0 -1 1077944384 166 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 151295 33554432000 4194304 4196468 140726808767600 140703061465616 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6997] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6997/stat : 6997 (java) S 6985 6985 16913 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 28 0 3909309 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702998760048 140703469279874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6998] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6998/stat : 6998 (java) S 6985 6985 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702997706080 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6999] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6999/stat : 6999 (java) S 6985 6985 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702996653696 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7000] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7000/stat : 7000 (java) S 6985 6985 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702995602000 140703469287323 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7001] ppid=6985 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7001/stat : 7001 (java) S 6985 6985 16913 0 -1 1077944384 3916 0 0 0 181 0 0 0 20 0 28 0 3909314 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702196951152 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7002] ppid=6985 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7002/stat : 7002 (java) S 6985 6985 16913 0 -1 1077944384 4207 0 0 0 184 1 0 0 20 0 28 0 3909314 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702195898352 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7003] ppid=6985 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7003/stat : 7003 (java) S 6985 6985 16913 0 -1 1077944384 3588 0 0 0 175 1 0 0 20 0 28 0 3909314 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702194846064 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7004] ppid=6985 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7004/stat : 7004 (java) S 6985 6985 16913 0 -1 1077944384 2965 0 0 0 84 2 0 0 20 0 28 0 3909314 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702193793264 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7005] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7005/stat : 7005 (java) S 6985 6985 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702192741216 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7006] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7006/stat : 7006 (java) S 6985 6985 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3909315 14133010432 151295 33554432000 4194304 4196468 140726808767600 140702191688496 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7007] ppid=6985 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7007/stat : 7007 (java) R 6985 6985 16913 0 -1 4202560 115 0 0 0 124 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701444429240 140703085571247 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7008] ppid=6985 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7008/stat : 7008 (java) R 6985 6985 16913 0 -1 4202560 78 0 0 0 104 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701443375368 140703085410626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7009] ppid=6985 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7009/stat : 7009 (java) R 6985 6985 16913 0 -1 4202560 48 0 0 0 122 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701442322216 140703085571577 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7010] ppid=6985 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7010/stat : 7010 (java) R 6985 6985 16913 0 -1 4202560 90 0 0 0 105 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701441269456 140703085571499 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7011] ppid=6985 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7011/stat : 7011 (java) R 6985 6985 16913 0 -1 4202560 53 0 0 0 115 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701440217016 140703085410621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7012] ppid=6985 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7012/stat : 7012 (java) R 6985 6985 16913 0 -1 4202560 79 0 0 0 111 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701439164960 140703085580064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7013] ppid=6985 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7013/stat : 7013 (java) R 6985 6985 16913 0 -1 4202560 54 0 0 0 113 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701438111896 140703085956815 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7014] ppid=6985 vsize=13801768 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7014/stat : 7014 (java) R 6985 6985 16913 0 -1 4202560 56 0 0 0 121 0 0 0 20 0 28 0 3909568 14133010432 151295 33554432000 4194304 4196468 140726808767600 140701437059736 140703086042158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
Current children cumulated CPU time (s) 19.59
Current children cumulated vsize (KiB) 13811280
[startup+4.20135 s]
/proc/loadavg: 14.91 15.49 15.20 18/304 7014
/proc/meminfo: memFree=30603720/32770624 swapFree=5900/228796
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[pid=6986] ppid=6985 vsize=13801768 CPUtime=21.17 cores=1,3,5,7,9,11,13,15
/proc/6986/stat : 6986 (java) S 6985 6985 16913 0 -1 1077944320 27421 0 0 0 2024 93 0 0 20 0 28 0 3909306 14133010432 152336 33554432000 4194304 4196468 140726808767600 140726808750144 140703469268727 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
/proc/6986/statm: 3450442 152336 3277 1 0 3437675 0
[pid=6986/tid=6987] ppid=6985 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6987/stat : 6987 (java) S 6985 6985 16913 0 -1 1077944384 9294 0 0 0 226 7 0 0 20 0 28 0 3909306 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703473509504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6989] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6989/stat : 6989 (java) S 6985 6985 16913 0 -1 1077944384 96 0 0 0 10 8 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703401405328 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6990] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6990/stat : 6990 (java) S 6985 6985 16913 0 -1 1077944384 154 0 0 0 12 9 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703400352528 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6991] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6991/stat : 6991 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703399300240 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6992] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6992/stat : 6992 (java) S 6985 6985 16913 0 -1 1077944384 169 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703398247440 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6993] ppid=6985 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6993/stat : 6993 (java) S 6985 6985 16913 0 -1 1077944384 232 0 0 0 11 7 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703064623504 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6994] ppid=6985 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6994/stat : 6994 (java) S 6985 6985 16913 0 -1 1077944384 121 0 0 0 11 8 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703063570704 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6995] ppid=6985 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6995/stat : 6995 (java) S 6985 6985 16913 0 -1 1077944384 183 0 0 0 12 10 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703062518416 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6996] ppid=6985 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6996/stat : 6996 (java) S 6985 6985 16913 0 -1 1077944384 166 0 0 0 11 10 0 0 20 0 28 0 3909307 14133010432 152336 33554432000 4194304 4196468 140726808767600 140703061465616 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6997] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6997/stat : 6997 (java) S 6985 6985 16913 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 28 0 3909309 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702998760048 140703469279874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6998] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6998/stat : 6998 (java) S 6985 6985 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702997706080 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=6999] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6999/stat : 6999 (java) S 6985 6985 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3909310 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702996653696 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7000] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7000/stat : 7000 (java) S 6985 6985 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702995602000 140703469287323 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7001] ppid=6985 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7001/stat : 7001 (java) S 6985 6985 16913 0 -1 1077944384 3918 0 0 0 181 0 0 0 20 0 28 0 3909314 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702196951152 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7002] ppid=6985 vsize=13801768 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7002/stat : 7002 (java) S 6985 6985 16913 0 -1 1077944384 4208 0 0 0 185 1 0 0 20 0 28 0 3909314 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702195898352 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7003] ppid=6985 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7003/stat : 7003 (java) S 6985 6985 16913 0 -1 1077944384 3589 0 0 0 175 1 0 0 20 0 28 0 3909314 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702194846064 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7004] ppid=6985 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7004/stat : 7004 (java) S 6985 6985 16913 0 -1 1077944384 2965 0 0 0 84 2 0 0 20 0 28 0 3909314 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702193793264 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7005] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7005/stat : 7005 (java) S 6985 6985 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3909314 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702192741216 140703469278933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7006] ppid=6985 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7006/stat : 7006 (java) S 6985 6985 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3909315 14133010432 152336 33554432000 4194304 4196468 140726808767600 140702191688496 140703469279874 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7007] ppid=6985 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7007/stat : 7007 (java) R 6985 6985 16913 0 -1 4202560 139 0 0 0 144 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701444427208 140703085579728 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7008] ppid=6985 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7008/stat : 7008 (java) R 6985 6985 16913 0 -1 4202560 78 0 0 0 123 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701443375416 140703086042472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7009] ppid=6985 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7009/stat : 7009 (java) R 6985 6985 16913 0 -1 4202560 49 0 0 0 142 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701442322216 140703085956815 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7010] ppid=6985 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7010/stat : 7010 (java) R 6985 6985 16913 0 -1 4202560 94 0 0 0 125 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701441269672 140703078317316 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7011] ppid=6985 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7011/stat : 7011 (java) R 6985 6985 16913 0 -1 4202560 53 0 0 0 135 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701440216608 140703085371469 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7012] ppid=6985 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7012/stat : 7012 (java) R 6985 6985 16913 0 -1 4202560 103 0 0 0 130 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701439164328 140703085580016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7013] ppid=6985 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7013/stat : 7013 (java) R 6985 6985 16913 0 -1 4202560 54 0 0 0 133 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701438112040 140703085580201 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
[pid=6986/tid=7014] ppid=6985 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/6986/task/7014/stat : 7014 (java) R 6985 6985 16913 0 -1 4202560 56 0 0 0 141 0 0 0 20 0 28 0 3909568 14133010432 152336 33554432000 4194304 4196468 140726808767600 140701437059240 140703085571443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140726808773820 140726808773996 140726808773996 140726808776655 0
Current children cumulated CPU time (s) 21.17
Current children cumulated vsize (KiB) 13811280
[startup+4.30155 s]
/proc/loadavg: 14.91 15.49 15.20 18/304 7014
/proc/meminfo: memFree=30603720/32770624 swapFree=5900/228796
[pid=6985] ppid=6982 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6985/stat : 6985 (xcsp3-exec) S 6982 6985 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3909305 9740288 346 33554432000 4194304 5098028 140724758430448 140724758428552 140425756156540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35774464 140724758439055 140724758439264 140724758439264 140724758441963 0
/proc/6985/statm: 2378 346 289 221 0 87 0
[pid=6986] ppid=6985 vsize=0 CPUtime=21.83 cores=1,3,5,7,9,11,13,15
/proc/6986/stat : 6986 (java) Z 6985 6985 16913 0 -1 4227084 27583 0 0 0 2090 93 0 0 20 0 2 0 3909306 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6986/statm: 0 0 0 0 0 0 0
[pid=6986/tid=6994] ppid=6985 vsize=0 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6986/task/6994/stat : 6994 (java) R 6985 6985 16913 0 -1 4203588 122 0 0 0 11 9 0 0 20 0 2 0 3909307 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 4.30716
CPU time (s): 21.8464
CPU user time (s): 20.9025
CPU system time (s): 0.943949
CPU usage (%): 507.212
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9025
system time used= 0.943949
maximum resident set size= 612168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3890
involuntary context switches= 2037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046529 second user time and 0.058668 second system time
The end