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-4247285-1500689683/watcher-4247285-1500689683 -o /tmp/evaluation-result-4247285-1500689683/solver-4247285-1500689683 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 521592829 HOME/instance-4247285-1500689683.xml
pid=7746
running on 8 cores: 0-3,8-11
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: 16.02 12.84 10.91 10/276 7749
/proc/meminfo: memFree=31566420/32770624 swapFree=5944/251012
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
[startup+0.100061 s]
/proc/loadavg: 16.02 12.84 10.91 10/276 7749
/proc/meminfo: memFree=31566420/32770624 swapFree=5944/251012
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200291 s]
/proc/loadavg: 16.02 12.84 10.91 10/276 7749
/proc/meminfo: memFree=31566420/32770624 swapFree=5944/251012
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300201 s]
/proc/loadavg: 16.02 12.84 10.91 10/276 7749
/proc/meminfo: memFree=31566420/32770624 swapFree=5944/251012
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700198 s]
/proc/loadavg: 16.02 12.84 10.91 10/276 7749
/proc/meminfo: memFree=31566420/32770624 swapFree=5944/251012
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50156 s]
/proc/loadavg: 16.02 12.84 10.91 17/305 7778
/proc/meminfo: memFree=31484468/32770624 swapFree=5944/251044
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
[pid=7750] ppid=7749 vsize=13801768 CPUtime=8.32 cores=0-3,8-11
/proc/7750/stat : 7750 (java) S 7749 7749 18810 0 -1 1077944320 15641 0 0 0 824 8 0 0 20 0 28 0 4235503 14133010432 26138 33554432000 4194304 4196468 140736375792800 140736375775344 139791934623479 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
/proc/7750/statm: 3450442 26138 3221 1 0 3437675 0
[pid=7750/tid=7751] ppid=7749 vsize=13801768 CPUtime=0.55 cores=0-3,8-11
/proc/7750/task/7751/stat : 7751 (java) S 7749 7749 18810 0 -1 1077944384 6765 0 0 0 52 3 0 0 20 0 28 0 4235503 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791938864256 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7753] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7753/stat : 7753 (java) S 7749 7749 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791866759568 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7754] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7754/stat : 7754 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791865706768 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7755] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7755/stat : 7755 (java) S 7749 7749 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791864654480 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7756] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7756/stat : 7756 (java) S 7749 7749 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791863601680 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7757] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7757/stat : 7757 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791862549392 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7758] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7758/stat : 7758 (java) S 7749 7749 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791861496592 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7759] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7759/stat : 7759 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791860444304 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7760] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7760/stat : 7760 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791859391504 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7761] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7761/stat : 7761 (java) S 7749 7749 18810 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4235506 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791396862064 139791934634626 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7762] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7762/stat : 7762 (java) S 7749 7749 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791395808032 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7763] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7763/stat : 7763 (java) S 7749 7749 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791394755696 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7764] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7764/stat : 7764 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235511 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791393704016 139791934642075 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7765] ppid=7749 vsize=13801768 CPUtime=0.76 cores=0-3,8-11
/proc/7750/task/7765/stat : 7765 (java) R 7749 7749 18810 0 -1 1077944384 1942 0 0 0 76 0 0 0 20 0 28 0 4235511 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791392630784 139791934633685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7766] ppid=7749 vsize=13801768 CPUtime=0.79 cores=0-3,8-11
/proc/7750/task/7766/stat : 7766 (java) R 7749 7749 18810 0 -1 4202560 1670 0 0 0 78 1 0 0 20 0 28 0 4235511 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791391585184 139791918034457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7767] ppid=7749 vsize=13801768 CPUtime=0.66 cores=0-3,8-11
/proc/7750/task/7767/stat : 7767 (java) R 7749 7749 18810 0 -1 4202560 1432 0 0 0 66 0 0 0 20 0 28 0 4235511 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791390527888 139791918034374 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7768] ppid=7749 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/7750/task/7768/stat : 7768 (java) S 7749 7749 18810 0 -1 1077944384 2052 0 0 0 51 0 0 0 20 0 28 0 4235511 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791389494000 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7769] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7769/stat : 7769 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791320476000 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7770] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7770/stat : 7770 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791319423280 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7771] ppid=7749 vsize=13801768 CPUtime=0.66 cores=0-3,8-11
/proc/7750/task/7771/stat : 7771 (java) R 7749 7749 18810 0 -1 4202560 69 0 0 0 66 0 0 0 20 0 28 0 4235560 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791311906784 139791543383207 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7772] ppid=7749 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/7750/task/7772/stat : 7772 (java) R 7749 7749 18810 0 -1 4202560 48 0 0 0 51 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791310855296 139791538923271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7773] ppid=7749 vsize=13801768 CPUtime=0.54 cores=0-3,8-11
/proc/7750/task/7773/stat : 7773 (java) R 7749 7749 18810 0 -1 4202560 60 0 0 0 54 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791309803784 139791542416713 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7774] ppid=7749 vsize=13801768 CPUtime=0.66 cores=0-3,8-11
/proc/7750/task/7774/stat : 7774 (java) R 7749 7749 18810 0 -1 4202560 81 0 0 0 66 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791308751184 139791543386010 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7775] ppid=7749 vsize=13801768 CPUtime=0.61 cores=0-3,8-11
/proc/7750/task/7775/stat : 7775 (java) R 7749 7749 18810 0 -1 4202560 51 0 0 0 61 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791307699232 139791542883930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7776] ppid=7749 vsize=13801768 CPUtime=0.69 cores=0-3,8-11
/proc/7750/task/7776/stat : 7776 (java) R 7749 7749 18810 0 -1 4202560 55 0 0 0 69 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791306646280 139791542383665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7777] ppid=7749 vsize=13801768 CPUtime=0.68 cores=0-3,8-11
/proc/7750/task/7777/stat : 7777 (java) R 7749 7749 18810 0 -1 4202560 52 0 0 0 68 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791305591912 139791542455430 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7778] ppid=7749 vsize=13801768 CPUtime=0.58 cores=0-3,8-11
/proc/7750/task/7778/stat : 7778 (java) R 7749 7749 18810 0 -1 4202560 47 0 0 0 58 0 0 0 20 0 28 0 4235561 14133010432 26138 33554432000 4194304 4196468 140736375792800 139791304539288 139791543677514 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 13811280
[startup+3.10152 s]
/proc/loadavg: 16.02 12.84 10.91 17/306 7779
/proc/meminfo: memFree=31443708/32770624 swapFree=5944/251044
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
[pid=7750] ppid=7749 vsize=13801768 CPUtime=21.01 cores=0-3,8-11
/proc/7750/stat : 7750 (java) S 7749 7749 18810 0 -1 1077944320 22390 0 0 0 2089 12 0 0 20 0 28 0 4235503 14133010432 49923 33554432000 4194304 4196468 140736375792800 140736375775344 139791934623479 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
/proc/7750/statm: 3450442 49923 3254 1 0 3437675 0
[pid=7750/tid=7751] ppid=7749 vsize=13801768 CPUtime=0.55 cores=0-3,8-11
/proc/7750/task/7751/stat : 7751 (java) S 7749 7749 18810 0 -1 1077944384 6765 0 0 0 52 3 0 0 20 0 28 0 4235503 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791938864256 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7753] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7753/stat : 7753 (java) S 7749 7749 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791866759568 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7754] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7754/stat : 7754 (java) S 7749 7749 18810 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791865706768 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7755] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7755/stat : 7755 (java) S 7749 7749 18810 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791864654480 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7756] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7756/stat : 7756 (java) S 7749 7749 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791863601680 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7757] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7757/stat : 7757 (java) S 7749 7749 18810 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791862549392 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7758] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7758/stat : 7758 (java) S 7749 7749 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791861496592 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7759] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7759/stat : 7759 (java) S 7749 7749 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791860444304 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7760] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7760/stat : 7760 (java) S 7749 7749 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4235504 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791859391504 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7761] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7761/stat : 7761 (java) S 7749 7749 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4235506 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791396862064 139791934634626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7762] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7762/stat : 7762 (java) S 7749 7749 18810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791395808032 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7763] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7763/stat : 7763 (java) S 7749 7749 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791394755696 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7764] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7764/stat : 7764 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235511 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791393704016 139791934642075 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7765] ppid=7749 vsize=13801768 CPUtime=1.24 cores=0-3,8-11
/proc/7750/task/7765/stat : 7765 (java) S 7749 7749 18810 0 -1 1077944384 2943 0 0 0 124 0 0 0 20 0 28 0 4235511 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791392651888 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7766] ppid=7749 vsize=13801768 CPUtime=1.32 cores=0-3,8-11
/proc/7750/task/7766/stat : 7766 (java) S 7749 7749 18810 0 -1 1077944384 3052 0 0 0 131 1 0 0 20 0 28 0 4235511 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791391599088 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7767] ppid=7749 vsize=13801768 CPUtime=1.06 cores=0-3,8-11
/proc/7750/task/7767/stat : 7767 (java) S 7749 7749 18810 0 -1 1077944384 2995 0 0 0 106 0 0 0 20 0 28 0 4235511 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791390546800 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7768] ppid=7749 vsize=13801768 CPUtime=0.6 cores=0-3,8-11
/proc/7750/task/7768/stat : 7768 (java) S 7749 7749 18810 0 -1 1077944384 3367 0 0 0 59 1 0 0 20 0 28 0 4235511 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791389494000 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7769] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7769/stat : 7769 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791320476000 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7770] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7770/stat : 7770 (java) S 7749 7749 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791319423280 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7771] ppid=7749 vsize=13801768 CPUtime=2.04 cores=0-3,8-11
/proc/7750/task/7771/stat : 7771 (java) R 7749 7749 18810 0 -1 4202560 146 0 0 0 204 0 0 0 20 0 28 0 4235560 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791311908264 140736375806152 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7772] ppid=7749 vsize=13801768 CPUtime=1.88 cores=0-3,8-11
/proc/7750/task/7772/stat : 7772 (java) R 7749 7749 18810 0 -1 4202560 145 0 0 0 188 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791310856048 139791543591436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7773] ppid=7749 vsize=13801768 CPUtime=1.93 cores=0-3,8-11
/proc/7750/task/7773/stat : 7773 (java) R 7749 7749 18810 0 -1 4202560 213 0 0 0 193 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791309804488 139791543397824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7774] ppid=7749 vsize=13801768 CPUtime=2.13 cores=0-3,8-11
/proc/7750/task/7774/stat : 7774 (java) R 7749 7749 18810 0 -1 4202560 156 0 0 0 213 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791308751512 139791543397760 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7775] ppid=7749 vsize=13801768 CPUtime=1.98 cores=0-3,8-11
/proc/7750/task/7775/stat : 7775 (java) R 7749 7749 18810 0 -1 4202560 188 0 0 0 198 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791307698600 139791543592499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7776] ppid=7749 vsize=13801768 CPUtime=2.14 cores=0-3,8-11
/proc/7750/task/7776/stat : 7776 (java) R 7749 7749 18810 0 -1 4202560 108 0 0 0 214 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791306646424 139791543660715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7777] ppid=7749 vsize=13801768 CPUtime=2.01 cores=0-3,8-11
/proc/7750/task/7777/stat : 7777 (java) R 7749 7749 18810 0 -1 4202560 155 0 0 0 201 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791305592600 139791543397915 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7778] ppid=7749 vsize=13801768 CPUtime=1.96 cores=0-3,8-11
/proc/7750/task/7778/stat : 7778 (java) R 7749 7749 18810 0 -1 4202560 189 0 0 0 196 0 0 0 20 0 28 0 4235561 14133010432 49923 33554432000 4194304 4196468 140736375792800 139791304542176 139791543398095 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
Current children cumulated CPU time (s) 21.01
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 16.02 12.90 10.94 17/306 7779
/proc/meminfo: memFree=31373084/32770624 swapFree=5944/251052
################
# More data... #
################
/proc/7750/task/7769/stat : 7769 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791320476000 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7770] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7770/stat : 7770 (java) S 7749 7749 18810 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791319423280 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7771] ppid=7749 vsize=13801768 CPUtime=13.2 cores=0-3,8-11
/proc/7750/task/7771/stat : 7771 (java) R 7749 7749 18810 0 -1 4202560 410 0 0 0 1320 0 0 0 20 0 28 0 4235560 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791311907976 139791543780714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7772] ppid=7749 vsize=13801768 CPUtime=13.08 cores=0-3,8-11
/proc/7750/task/7772/stat : 7772 (java) R 7749 7749 18810 0 -1 4202560 388 0 0 0 1308 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791310856184 139791539029033 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7773] ppid=7749 vsize=13801768 CPUtime=13.13 cores=0-3,8-11
/proc/7750/task/7773/stat : 7773 (java) R 7749 7749 18810 0 -1 4202560 630 0 0 0 1313 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791309806368 139791543470103 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7774] ppid=7749 vsize=13801768 CPUtime=13.33 cores=0-3,8-11
/proc/7750/task/7774/stat : 7774 (java) R 7749 7749 18810 0 -1 4202560 454 0 0 0 1333 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791308754008 139791543660390 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7775] ppid=7749 vsize=13801768 CPUtime=13.08 cores=0-3,8-11
/proc/7750/task/7775/stat : 7775 (java) R 7749 7749 18810 0 -1 4202560 464 0 0 0 1308 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791307698712 139791543782467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7776] ppid=7749 vsize=13801768 CPUtime=13.22 cores=0-3,8-11
/proc/7750/task/7776/stat : 7776 (java) R 7749 7749 18810 0 -1 4202560 161 0 0 0 1322 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791306646008 139791543591812 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7777] ppid=7749 vsize=13801768 CPUtime=13.14 cores=0-3,8-11
/proc/7750/task/7777/stat : 7777 (java) R 7749 7749 18810 0 -1 4202560 501 0 0 0 1314 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791305592352 139791542988167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7778] ppid=7749 vsize=13801768 CPUtime=13.02 cores=0-3,8-11
/proc/7750/task/7778/stat : 7778 (java) R 7749 7749 18810 0 -1 4202560 379 0 0 0 1302 0 0 0 20 0 28 0 4235561 14133010432 45831 33554432000 4194304 4196468 140736375792800 139791304539728 139791543591332 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
Current children cumulated CPU time (s) 110.76
Current children cumulated vsize (KiB) 13811280
[startup+15.2016 s]
/proc/loadavg: 16.10 13.02 11.00 17/306 7779
/proc/meminfo: memFree=31399776/32770624 swapFree=5944/251064
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
[pid=7750] ppid=7749 vsize=13801768 CPUtime=116.97 cores=0-3,8-11
/proc/7750/stat : 7750 (java) S 7749 7749 18810 0 -1 1077944320 31356 0 0 0 11672 25 0 0 20 0 28 0 4235503 14133010432 44805 33554432000 4194304 4196468 140736375792800 140736375775344 139791934623479 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
/proc/7750/statm: 3450442 44805 3263 1 0 3437675 0
[pid=7750/tid=7751] ppid=7749 vsize=13801768 CPUtime=0.55 cores=0-3,8-11
/proc/7750/task/7751/stat : 7751 (java) S 7749 7749 18810 0 -1 1077944384 6765 0 0 0 52 3 0 0 20 0 28 0 4235503 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791938864256 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7753] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7753/stat : 7753 (java) S 7749 7749 18810 0 -1 1077944384 156 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791866759568 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7754] ppid=7749 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/7750/task/7754/stat : 7754 (java) S 7749 7749 18810 0 -1 1077944384 381 0 0 0 2 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791865706768 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7755] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7755/stat : 7755 (java) S 7749 7749 18810 0 -1 1077944384 359 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791864654480 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7756] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7756/stat : 7756 (java) S 7749 7749 18810 0 -1 1077944384 175 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791863601680 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7757] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7757/stat : 7757 (java) S 7749 7749 18810 0 -1 1077944384 220 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791862549392 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7758] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7758/stat : 7758 (java) S 7749 7749 18810 0 -1 1077944384 591 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791861496592 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7759] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7759/stat : 7759 (java) S 7749 7749 18810 0 -1 1077944384 944 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791860444304 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7760] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7760/stat : 7760 (java) S 7749 7749 18810 0 -1 1077944384 95 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791859391504 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7761] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7761/stat : 7761 (java) S 7749 7749 18810 0 -1 1077944384 813 0 0 0 2 2 0 0 20 0 28 0 4235506 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791396862064 139791934634626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7762] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7762/stat : 7762 (java) S 7749 7749 18810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791395808032 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7763] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7763/stat : 7763 (java) S 7749 7749 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791394755696 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7764] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7764/stat : 7764 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235511 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791393704016 139791934642075 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7765] ppid=7749 vsize=13801768 CPUtime=1.25 cores=0-3,8-11
/proc/7750/task/7765/stat : 7765 (java) S 7749 7749 18810 0 -1 1077944384 3076 0 0 0 125 0 0 0 20 0 28 0 4235511 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791392651888 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7766] ppid=7749 vsize=13801768 CPUtime=1.42 cores=0-3,8-11
/proc/7750/task/7766/stat : 7766 (java) S 7749 7749 18810 0 -1 1077944384 4546 0 0 0 141 1 0 0 20 0 28 0 4235511 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791391599088 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7767] ppid=7749 vsize=13801768 CPUtime=1.2 cores=0-3,8-11
/proc/7750/task/7767/stat : 7767 (java) S 7749 7749 18810 0 -1 1077944384 4497 0 0 0 119 1 0 0 20 0 28 0 4235511 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791390546800 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7768] ppid=7749 vsize=13801768 CPUtime=0.63 cores=0-3,8-11
/proc/7750/task/7768/stat : 7768 (java) S 7749 7749 18810 0 -1 1077944384 3833 0 0 0 62 1 0 0 20 0 28 0 4235511 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791389494000 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7769] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7769/stat : 7769 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791320476000 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7770] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7770/stat : 7770 (java) S 7749 7749 18810 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791319423280 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7771] ppid=7749 vsize=13801768 CPUtime=13.97 cores=0-3,8-11
/proc/7750/task/7771/stat : 7771 (java) R 7749 7749 18810 0 -1 4202560 413 0 0 0 1397 0 0 0 20 0 28 0 4235560 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791311908264 139791543660103 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7772] ppid=7749 vsize=13801768 CPUtime=13.85 cores=0-3,8-11
/proc/7750/task/7772/stat : 7772 (java) R 7749 7749 18810 0 -1 4202560 390 0 0 0 1385 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791310856600 139791542988700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7773] ppid=7749 vsize=13801768 CPUtime=13.91 cores=0-3,8-11
/proc/7750/task/7773/stat : 7773 (java) R 7749 7749 18810 0 -1 4202560 630 0 0 0 1391 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791309803576 139791538924434 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7774] ppid=7749 vsize=13801768 CPUtime=14.1 cores=0-3,8-11
/proc/7750/task/7774/stat : 7774 (java) R 7749 7749 18810 0 -1 4202560 456 0 0 0 1410 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791308751512 139791543660381 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7775] ppid=7749 vsize=13801768 CPUtime=13.86 cores=0-3,8-11
/proc/7750/task/7775/stat : 7775 (java) R 7749 7749 18810 0 -1 4202560 466 0 0 0 1386 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791307699224 139791542886735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7776] ppid=7749 vsize=13801768 CPUtime=13.99 cores=0-3,8-11
/proc/7750/task/7776/stat : 7776 (java) R 7749 7749 18810 0 -1 4202560 162 0 0 0 1399 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791306646424 139791539723143 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7777] ppid=7749 vsize=13801768 CPUtime=13.92 cores=0-3,8-11
/proc/7750/task/7777/stat : 7777 (java) R 7749 7749 18810 0 -1 4202560 501 0 0 0 1392 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791305592256 139791543395530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7778] ppid=7749 vsize=13801768 CPUtime=13.8 cores=0-3,8-11
/proc/7750/task/7778/stat : 7778 (java) R 7749 7749 18810 0 -1 4202560 381 0 0 0 1380 0 0 0 20 0 28 0 4235561 14133010432 44805 33554432000 4194304 4196468 140736375792800 139791304542336 139791543592059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
Current children cumulated CPU time (s) 116.97
Current children cumulated vsize (KiB) 13811280
[startup+15.6016 s]
/proc/loadavg: 16.10 13.02 11.00 17/306 7779
/proc/meminfo: memFree=31407412/32770624 swapFree=5944/251064
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
[pid=7750] ppid=7749 vsize=13801768 CPUtime=120.13 cores=0-3,8-11
/proc/7750/stat : 7750 (java) S 7749 7749 18810 0 -1 1077944320 31384 0 0 0 11987 26 0 0 20 0 28 0 4235503 14133010432 44035 33554432000 4194304 4196468 140736375792800 140736375775344 139791934623479 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
/proc/7750/statm: 3450442 44035 3263 1 0 3437675 0
[pid=7750/tid=7751] ppid=7749 vsize=13801768 CPUtime=0.55 cores=0-3,8-11
/proc/7750/task/7751/stat : 7751 (java) S 7749 7749 18810 0 -1 1077944384 6765 0 0 0 52 3 0 0 20 0 28 0 4235503 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791938864256 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7753] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7753/stat : 7753 (java) S 7749 7749 18810 0 -1 1077944384 156 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791866759568 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7754] ppid=7749 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/7750/task/7754/stat : 7754 (java) S 7749 7749 18810 0 -1 1077944384 385 0 0 0 2 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791865706768 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7755] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7755/stat : 7755 (java) S 7749 7749 18810 0 -1 1077944384 361 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791864654480 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7756] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7756/stat : 7756 (java) S 7749 7749 18810 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791863601680 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7757] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7757/stat : 7757 (java) S 7749 7749 18810 0 -1 1077944384 224 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791862549392 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7758] ppid=7749 vsize=13801768 CPUtime=0.05 cores=0-3,8-11
/proc/7750/task/7758/stat : 7758 (java) S 7749 7749 18810 0 -1 1077944384 593 0 0 0 3 2 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791861496592 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7759] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7759/stat : 7759 (java) S 7749 7749 18810 0 -1 1077944384 947 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791860444304 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7760] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7760/stat : 7760 (java) S 7749 7749 18810 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 28 0 4235504 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791859391504 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7761] ppid=7749 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/7750/task/7761/stat : 7761 (java) S 7749 7749 18810 0 -1 1077944384 815 0 0 0 2 2 0 0 20 0 28 0 4235506 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791396862064 139791934634626 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7762] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7762/stat : 7762 (java) S 7749 7749 18810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791395808032 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7763] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7763/stat : 7763 (java) S 7749 7749 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4235507 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791394755696 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7764] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7764/stat : 7764 (java) S 7749 7749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4235511 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791393704016 139791934642075 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7765] ppid=7749 vsize=13801768 CPUtime=1.25 cores=0-3,8-11
/proc/7750/task/7765/stat : 7765 (java) S 7749 7749 18810 0 -1 1077944384 3076 0 0 0 125 0 0 0 20 0 28 0 4235511 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791392651888 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7766] ppid=7749 vsize=13801768 CPUtime=1.42 cores=0-3,8-11
/proc/7750/task/7766/stat : 7766 (java) S 7749 7749 18810 0 -1 1077944384 4546 0 0 0 141 1 0 0 20 0 28 0 4235511 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791391599088 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7767] ppid=7749 vsize=13801768 CPUtime=1.2 cores=0-3,8-11
/proc/7750/task/7767/stat : 7767 (java) S 7749 7749 18810 0 -1 1077944384 4497 0 0 0 119 1 0 0 20 0 28 0 4235511 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791390546800 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7768] ppid=7749 vsize=13801768 CPUtime=0.63 cores=0-3,8-11
/proc/7750/task/7768/stat : 7768 (java) S 7749 7749 18810 0 -1 1077944384 3833 0 0 0 62 1 0 0 20 0 28 0 4235511 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791389494000 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7769] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7769/stat : 7769 (java) S 7749 7749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791320476000 139791934633685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7770] ppid=7749 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7770/stat : 7770 (java) S 7749 7749 18810 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 4235512 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791319423280 139791934634626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7771] ppid=7749 vsize=13801768 CPUtime=14.37 cores=0-3,8-11
/proc/7750/task/7771/stat : 7771 (java) R 7749 7749 18810 0 -1 4202560 414 0 0 0 1437 0 0 0 20 0 28 0 4235560 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791311908264 139791543780984 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7772] ppid=7749 vsize=13801768 CPUtime=14.24 cores=0-3,8-11
/proc/7750/task/7772/stat : 7772 (java) R 7749 7749 18810 0 -1 4202560 393 0 0 0 1424 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791310855864 139791543397969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7773] ppid=7749 vsize=13801768 CPUtime=14.3 cores=0-3,8-11
/proc/7750/task/7773/stat : 7773 (java) R 7749 7749 18810 0 -1 4202560 630 0 0 0 1430 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791309806368 139791543470116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7774] ppid=7749 vsize=13801768 CPUtime=14.5 cores=0-3,8-11
/proc/7750/task/7774/stat : 7774 (java) R 7749 7749 18810 0 -1 4202560 457 0 0 0 1450 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791308751512 139791543782576 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7775] ppid=7749 vsize=13801768 CPUtime=14.25 cores=0-3,8-11
/proc/7750/task/7775/stat : 7775 (java) R 7749 7749 18810 0 -1 4202560 466 0 0 0 1425 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791307698672 139791543782203 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7776] ppid=7749 vsize=13801768 CPUtime=14.36 cores=0-3,8-11
/proc/7750/task/7776/stat : 7776 (java) R 7749 7749 18810 0 -1 4202560 163 0 0 0 1436 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791306646424 139791543591731 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7777] ppid=7749 vsize=13801768 CPUtime=14.32 cores=0-3,8-11
/proc/7750/task/7777/stat : 7777 (java) R 7749 7749 18810 0 -1 4202560 502 0 0 0 1432 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791305593112 139791543397883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
[pid=7750/tid=7778] ppid=7749 vsize=13801768 CPUtime=14.2 cores=0-3,8-11
/proc/7750/task/7778/stat : 7778 (java) R 7749 7749 18810 0 -1 4202560 381 0 0 0 1420 0 0 0 20 0 28 0 4235561 14133010432 44035 33554432000 4194304 4196468 140736375792800 139791304539896 140736375806344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37306368 140736375801020 140736375801196 140736375801196 140736375803855 0
Current children cumulated CPU time (s) 120.13
Current children cumulated vsize (KiB) 13811280
[startup+16.0016 s]
/proc/loadavg: 16.10 13.02 11.00 17/306 7779
/proc/meminfo: memFree=31407412/32770624 swapFree=5944/251064
[pid=7749] ppid=7746 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7749/stat : 7749 (xcsp3-exec) S 7746 7749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4235502 9740288 346 33554432000 4194304 5098028 140736854175888 140736854173992 140503876321916 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29028352 140736854181007 140736854181216 140736854181216 140736854183915 0
/proc/7749/statm: 2378 346 289 221 0 87 0
[pid=7750] ppid=7749 vsize=0 CPUtime=123.26 cores=0-3,8-11
/proc/7750/stat : 7750 (java) Z 7749 7749 18810 0 -1 4227084 32310 0 0 0 12299 27 0 0 20 0 2 0 4235503 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/7750/statm: 0 0 0 0 0 0 0
[pid=7750/tid=7763] ppid=7749 vsize=0 CPUtime=0 cores=0-3,8-11
/proc/7750/task/7763/stat : 7763 (java) R 7749 7749 18810 0 -1 4203588 55 0 0 0 0 0 0 0 20 0 2 0 4235507 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 123.26
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 16.0036
CPU time (s): 123.273
CPU user time (s): 122.996
CPU system time (s): 0.276996
CPU usage (%): 770.285
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.996
system time used= 0.276996
maximum resident set size= 215464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4959
involuntary context switches= 8338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.200957 second user time and 0.240707 second system time
The end