runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1708 MiB free)
memory of node 1: 16384 MiB (3427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403467-1568988859/watcher-4403467-1568988859 -o /tmp/evaluation-result-4403467-1568988859/solver-4403467-1568988859 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11774 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 704966121 HOME/instance-4403467-1568988859.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12042, runsolver pid=12039
[startup+0.101177 s]*
/proc/loadavg: 8.77 7.68 4.66 3/232 12058
/proc/meminfo: memFree=5240168/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
[pid=12044] ppid=12042 vsize=15144776 memory=29288 CPUtime=0.13 cores=1,3,5,7
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 5775 0 0 0 12 1 0 0 20 0 15 0 475152866 15508250624 7322 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3786194 7322 3157 1 0 3748377 0
[pid=12044/tid=12045] ppid=12042 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) R 12042 12042 11742 0 -1 4202560 3652 0 0 0 9 0 0 0 20 0 15 0 475152866 15508250624 7322 33554432000 4194304 4196468 140726077954288 140425004346208 140424992361278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 7322 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15144776 memory=139690085426816 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 7322 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 7322 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 7322 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15144776 memory=139690085426816 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475152868 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475152869 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423872833056 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475152869 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423871780208 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 475152871 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) S 12042 12042 11742 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 475152871 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423868623088 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15144776 memory=139690085426816 CPUtime=0.02 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 475152871 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15144776 memory=139690085426816 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152872 15508250624 7322 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30736 KiB
[startup+0.210887 s]*
/proc/loadavg: 8.77 7.68 4.66 4/232 12058
/proc/meminfo: memFree=5227176/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
[pid=12044] ppid=12042 vsize=15144776 memory=40832 CPUtime=0.34 cores=1,3,5,7
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 9478 0 0 0 32 2 0 0 20 0 15 0 475152866 15508250624 10208 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3786194 10208 3275 1 0 3748377 0
[pid=12044/tid=12045] ppid=12042 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) R 12042 12042 11742 0 -1 4202560 6663 0 0 0 18 1 0 0 20 0 15 0 475152866 15508250624 10208 33554432000 4194304 4196468 140726077954288 140425004362464 140425000146077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 10208 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15144776 memory=3762676388192036512 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 10208 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 10208 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475152867 15508250624 10208 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15144776 memory=139690085426816 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475152868 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475152869 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423872833056 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475152869 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423871780208 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15144776 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 673 0 0 0 4 0 0 0 20 0 15 0 475152871 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) S 12042 12042 11742 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 475152871 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423868623088 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15144776 memory=139690085426816 CPUtime=0.08 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 475152871 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152872 15508250624 10208 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42280 KiB
[startup+0.311225 s]*
/proc/loadavg: 8.77 7.68 4.66 5/232 12058
/proc/meminfo: memFree=5220528/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
[pid=12044] ppid=12042 vsize=15149032 memory=50084 CPUtime=0.53 cores=1,3,5,7
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 11022 0 0 0 50 3 0 0 20 0 15 0 475152866 15512608768 12521 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3787258 12521 3363 1 0 3748377 0
[pid=12044/tid=12045] ppid=12042 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) R 12042 12042 11742 0 -1 4202560 7971 0 0 0 28 2 0 0 20 0 15 0 475152866 15512608768 12586 33554432000 4194304 4196468 140726077954288 140425004359936 140424984204638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15512608768 12586 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15512608768 12593 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152867 15512608768 12593 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475152867 15512608768 12593 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475152868 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475152869 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423872833056 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475152869 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423871780208 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 691 0 0 0 5 0 0 0 20 0 15 0 475152871 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) R 12042 12042 11742 0 -1 4202560 192 0 0 0 3 0 0 0 20 0 15 0 475152871 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423868613472 140424978540506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 475152871 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152872 15512608768 12593 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51532 KiB
[startup+0.701507 s]
/proc/loadavg: 8.77 7.68 4.66 3/232 12058
/proc/meminfo: memFree=5121396/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
[pid=12044] ppid=12042 vsize=15149108 memory=298600 CPUtime=1.42 cores=1,3,5,7
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 14557 0 0 0 119 23 0 0 20 0 15 0 475152866 15512686592 74650 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3787277 74650 3441 1 0 3748377 0
[pid=12044/tid=12045] ppid=12042 vsize=15149108 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) R 12042 12042 11742 0 -1 4202560 8397 0 0 0 55 6 0 0 20 0 15 0 475152866 15512686592 74650 33554432000 4194304 4196468 140726077954288 140425004352832 140424984204638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15149108 memory=54348 CPUtime=0.05 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 15 0 475152867 15512686592 74650 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15149108 memory=984 CPUtime=0.05 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 475152867 15512686592 74650 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15149108 memory=2004 CPUtime=0.05 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 475152867 15512686592 74650 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15149108 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 475152867 15512686592 74650 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15149108 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475152868 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15149108 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475152869 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423872833056 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15149108 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475152869 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423871780208 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15149108 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15149108 memory=10564 CPUtime=0.15 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 1623 0 0 0 15 0 0 0 20 0 15 0 475152871 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15149108 memory=716 CPUtime=0.16 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) R 12042 12042 11742 0 -1 4202560 1800 0 0 0 16 0 0 0 20 0 15 0 475152871 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423868604104 140424981300016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15149108 memory=780 CPUtime=0.19 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 1099 0 0 0 19 0 0 0 20 0 15 0 475152871 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15149108 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475152871 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15149108 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475152872 15512686592 74650 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 300048 KiB
[startup+1.50151 s]
/proc/loadavg: 8.77 7.68 4.66 5/232 12058
/proc/meminfo: memFree=4367384/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 2555073 0 0 0 14837 1262 0 0 20 0 19 0 475152866 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3854353 1782205 3523 1 0 3815453 0
[pid=12044/tid=12045] ppid=12042 vsize=15417412 memory=1448 CPUtime=41.93 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) S 12042 12042 11742 0 -1 1077944384 525679 0 0 0 4064 129 0 0 20 0 19 0 475152866 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140425004364928 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15417412 memory=7128796 CPUtime=14.41 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 443842 0 0 0 1157 284 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15417412 memory=1448 CPUtime=14.39 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 369125 0 0 0 1177 262 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15417412 memory=1192 CPUtime=14.32 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 577841 0 0 0 1144 288 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15417412 memory=940 CPUtime=14.13 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 448051 0 0 0 1144 269 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15417412 memory=1448 CPUtime=3.04 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 34578 0 0 0 300 4 0 0 20 0 19 0 475152868 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15417412 memory=7128708 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475152869 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423872833120 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15417412 memory=27992 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475152869 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423871780224 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15417412 memory=7128732 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15417412 memory=940 CPUtime=1.79 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 13907 0 0 0 177 2 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15417412 memory=14008 CPUtime=1.52 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) S 12042 12042 11742 0 -1 1077944384 11053 0 0 0 151 1 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423868623088 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15417412 memory=12040 CPUtime=0.74 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 7471 0 0 0 72 2 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15417412 memory=27992 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15417412 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 716 0 0 0 5 8 0 0 20 0 19 0 475152872 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12306] ppid=12042 vsize=15417412 memory=7128792 CPUtime=13.7 cores=1,3,5,7
/proc/12044/task/12306/stat : 12306 (java) R 12042 12042 11742 0 -1 4202560 1568 0 0 0 1368 2 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423856483640 140424643691677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12307] ppid=12042 vsize=15417412 memory=91 CPUtime=13.72 cores=1,3,5,7
/proc/12044/task/12307/stat : 12307 (java) R 12042 12042 11742 0 -1 4202560 23526 0 0 0 1370 2 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423855431672 140424643693200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12308] ppid=12042 vsize=15417412 memory=279379973153312 CPUtime=13.43 cores=1,3,5,7
/proc/12044/task/12308/stat : 12308 (java) R 12042 12042 11742 0 -1 4202560 40162 0 0 0 1340 3 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423854379176 140424643693200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12309] ppid=12042 vsize=15417412 memory=8098996475501306470 CPUtime=13.62 cores=1,3,5,7
/proc/12044/task/12309/stat : 12309 (java) R 12042 12042 11742 0 -1 4202560 56125 0 0 0 1359 3 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423853326648 140424643593234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 160.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7130268 KiB
[startup+75.2015 s]
/proc/loadavg: 6.98 7.25 4.74 9/239 12310
/proc/meminfo: memFree=2364180/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
[pid=12044] ppid=12042 vsize=15417412 memory=7128820 CPUtime=167.34 cores=1,3,5,7
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 2555270 0 0 0 15472 1262 0 0 20 0 19 0 475152866 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3854353 1782205 3523 1 0 3815453 0
[pid=12044/tid=12045] ppid=12042 vsize=15417412 memory=7128820 CPUtime=41.93 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) S 12042 12042 11742 0 -1 1077944384 525679 0 0 0 4064 129 0 0 20 0 19 0 475152866 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140425004364928 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15417412 memory=139689986815764 CPUtime=14.41 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 443842 0 0 0 1157 284 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15417412 memory=279379973611856 CPUtime=14.39 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 369125 0 0 0 1177 262 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15417412 memory=6944656592455360604 CPUtime=14.32 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 577841 0 0 0 1144 288 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15417412 memory=0 CPUtime=14.13 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 448051 0 0 0 1144 269 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15417412 memory=1448 CPUtime=3.04 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 34578 0 0 0 300 4 0 0 20 0 19 0 475152868 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15417412 memory=7128796 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475152869 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423872833120 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15417412 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475152869 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423871780224 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15417412 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15417412 memory=1448 CPUtime=1.79 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 13907 0 0 0 177 2 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15417412 memory=7128792 CPUtime=1.52 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) S 12042 12042 11742 0 -1 1077944384 11053 0 0 0 151 1 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423868623088 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15417412 memory=3636 CPUtime=0.74 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 7471 0 0 0 72 2 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15417412 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15417412 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 716 0 0 0 5 8 0 0 20 0 19 0 475152872 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12306] ppid=12042 vsize=15417412 memory=0 CPUtime=15.29 cores=1,3,5,7
/proc/12044/task/12306/stat : 12306 (java) R 12042 12042 11742 0 -1 4202560 1699 0 0 0 1527 2 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423856483640 140424643693272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12307] ppid=12042 vsize=15417412 memory=0 CPUtime=15.32 cores=1,3,5,7
/proc/12044/task/12307/stat : 12307 (java) R 12042 12042 11742 0 -1 4202560 23558 0 0 0 1530 2 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423855431672 140424643693455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12308] ppid=12042 vsize=15417412 memory=0 CPUtime=14.99 cores=1,3,5,7
/proc/12044/task/12308/stat : 12308 (java) R 12042 12042 11742 0 -1 4202560 40193 0 0 0 1496 3 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423854379176 140424986192276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12309] ppid=12042 vsize=15417412 memory=0 CPUtime=15.22 cores=1,3,5,7
/proc/12044/task/12309/stat : 12309 (java) R 12042 12042 11742 0 -1 4202560 56128 0 0 0 1519 3 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423853326648 140424643558960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 167.34 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7130268 KiB
[startup+75.6085 s]
/proc/loadavg: 6.98 7.25 4.74 9/239 12310
/proc/meminfo: memFree=2364180/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
[pid=12044] ppid=12042 vsize=15417412 memory=7128820 CPUtime=168.96 cores=1,3,5,7
/proc/12044/stat : 12044 (java) S 12042 12042 11742 0 -1 1077944320 2555300 0 0 0 15634 1262 0 0 20 0 19 0 475152866 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140726077936832 140425000124151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
/proc/12044/statm: 3854353 1782205 3523 1 0 3815453 0
[pid=12044/tid=12045] ppid=12042 vsize=15417412 memory=27992 CPUtime=41.93 cores=1,3,5,7
/proc/12044/task/12045/stat : 12045 (java) S 12042 12042 11742 0 -1 1077944384 525679 0 0 0 4064 129 0 0 20 0 19 0 475152866 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140425004364928 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12046] ppid=12042 vsize=15417412 memory=2120 CPUtime=14.41 cores=1,3,5,7
/proc/12044/task/12046/stat : 12046 (java) S 12042 12042 11742 0 -1 1077944384 443842 0 0 0 1157 284 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424592153232 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12047] ppid=12042 vsize=15417412 memory=500 CPUtime=14.39 cores=1,3,5,7
/proc/12044/task/12047/stat : 12047 (java) S 12042 12042 11742 0 -1 1077944384 369125 0 0 0 1177 262 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424591100432 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12048] ppid=12042 vsize=15417412 memory=1556 CPUtime=14.32 cores=1,3,5,7
/proc/12044/task/12048/stat : 12048 (java) S 12042 12042 11742 0 -1 1077944384 577841 0 0 0 1144 288 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424590047632 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12049] ppid=12042 vsize=15417412 memory=928 CPUtime=14.13 cores=1,3,5,7
/proc/12044/task/12049/stat : 12049 (java) S 12042 12042 11742 0 -1 1077944384 448051 0 0 0 1144 269 0 0 20 0 19 0 475152867 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140424588994832 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12050] ppid=12042 vsize=15417412 memory=1640 CPUtime=3.04 cores=1,3,5,7
/proc/12044/task/12050/stat : 12050 (java) S 12042 12042 11742 0 -1 1077944384 34578 0 0 0 300 4 0 0 20 0 19 0 475152868 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423873887088 140425000135298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12051] ppid=12042 vsize=15417412 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12051/stat : 12051 (java) S 12042 12042 11742 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475152869 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423872833120 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12052] ppid=12042 vsize=15417412 memory=2572 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12052/stat : 12052 (java) S 12042 12042 11742 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475152869 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423871780224 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12053] ppid=12042 vsize=15417412 memory=884 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12053/stat : 12053 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423870728528 140425000142747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12054] ppid=12042 vsize=15417412 memory=1432 CPUtime=1.79 cores=1,3,5,7
/proc/12044/task/12054/stat : 12054 (java) S 12042 12042 11742 0 -1 1077944384 13907 0 0 0 177 2 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423869675888 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12055] ppid=12042 vsize=15417412 memory=1764 CPUtime=1.52 cores=1,3,5,7
/proc/12044/task/12055/stat : 12055 (java) S 12042 12042 11742 0 -1 1077944384 11053 0 0 0 151 1 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423868623088 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12056] ppid=12042 vsize=15417412 memory=111632 CPUtime=0.74 cores=1,3,5,7
/proc/12044/task/12056/stat : 12056 (java) S 12042 12042 11742 0 -1 1077944384 7471 0 0 0 72 2 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423867570288 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12057] ppid=12042 vsize=15417412 memory=279379973632096 CPUtime=0 cores=1,3,5,7
/proc/12044/task/12057/stat : 12057 (java) S 12042 12042 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475152871 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423866517728 140425000134357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12058] ppid=12042 vsize=15417412 memory=984 CPUtime=0.13 cores=1,3,5,7
/proc/12044/task/12058/stat : 12058 (java) S 12042 12042 11742 0 -1 1077944384 716 0 0 0 5 8 0 0 20 0 19 0 475152872 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423865466032 140425000135298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12306] ppid=12042 vsize=15417412 memory=2004 CPUtime=15.7 cores=1,3,5,7
/proc/12044/task/12306/stat : 12306 (java) R 12042 12042 11742 0 -1 4202560 1699 0 0 0 1568 2 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423856483640 140424643593234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12307] ppid=12042 vsize=15417412 memory=1376 CPUtime=15.72 cores=1,3,5,7
/proc/12044/task/12307/stat : 12307 (java) R 12042 12042 11742 0 -1 4202560 23558 0 0 0 1570 2 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423855431672 140424643691623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12308] ppid=12042 vsize=15417412 memory=1060 CPUtime=15.39 cores=1,3,5,7
/proc/12044/task/12308/stat : 12308 (java) R 12042 12042 11742 0 -1 4202560 40223 0 0 0 1536 3 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423854379176 140424643693364 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
[pid=12044/tid=12309] ppid=12042 vsize=15417412 memory=3636 CPUtime=15.62 cores=1,3,5,7
/proc/12044/task/12309/stat : 12309 (java) R 12042 12042 11742 0 -1 4202560 56128 0 0 0 1559 3 0 0 20 0 19 0 475158820 15787429888 1782205 33554432000 4194304 4196468 140726077954288 140423853326648 140424643694288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11886592 140726077957103 140726077957274 140726077957274 140726077960143 0
Current children cumulated CPU time: 168.96 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7130268 KiB
[startup+76.0009 s]*
/proc/loadavg: 6.98 7.25 4.74 6/222 12310
/proc/meminfo: memFree=3315956/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
[startup+76.1099 s]
/proc/loadavg: 6.98 7.25 4.74 6/222 12310
/proc/meminfo: memFree=3315956/32770624 swapFree=66974496/67108860
[pid=12042] ppid=12039 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12042/stat : 12042 (xcsp3-exec) S 12039 12042 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475152865 115843072 362 33554432000 4194304 5098028 140728922480912 140728922479016 140709728371324 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35610624 140728922485627 140728922485869 140728922485869 140728922488778 0
/proc/12042/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 76.1232
CPU time (s): 170.504
CPU user time (s): 157.715
CPU system time (s): 12.7893
CPU usage (%): 223.985
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 7321276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.715
system time used= 12.7893
maximum resident set size= 7319828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2556883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5634
involuntary context switches= 2966
# summary of solver processes directly reported to runsolver:
# pid: 12042
# total CPU time (s): 170.504
# total CPU user time (s): 157.715
# total CPU system time (s): 12.7893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.538992 second user time and 0.835647 second system time
The end