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 (10362 MiB free)
memory of node 1: 16384 MiB (14102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393067-1568321011/watcher-4393067-1568321011 -o /tmp/evaluation-result-4393067-1568321011/solver-4393067-1568321011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 281539035 HOME/instance-4393067-1568321011.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=23876, runsolver pid=23873
[startup+0.100058 s]*
/proc/loadavg: 7.95 8.39 8.30 7/234 23892
/proc/meminfo: memFree=25036432/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
[pid=23878] ppid=23876 vsize=15144768 memory=28928 CPUtime=0.13 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 5706 0 0 0 12 1 0 0 20 0 15 0 408043015 15508242432 7232 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3786192 7232 3182 1 0 3748377 0
[pid=23878/tid=23879] ppid=23876 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) R 23876 23876 11591 0 -1 4202560 3580 0 0 0 8 1 0 0 20 0 15 0 408043016 15508242432 7232 33554432000 4194304 4196468 140723148420672 140666143052656 140666122900756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 7232 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15144768 memory=140133189228160 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 7232 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 7232 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 7232 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15144768 memory=140133189228160 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043018 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408043018 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665606333728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408043018 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665605281392 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) S 23876 23876 11591 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665603176560 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) S 23876 23876 11591 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665602123760 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15144768 memory=140133189228160 CPUtime=0.02 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) R 23876 23876 11591 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 408043021 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665601071472 140666117946156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15144768 memory=140133189228160 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 7232 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30380 KiB
[startup+0.210882 s]*
/proc/loadavg: 7.95 8.39 8.30 9/234 23892
/proc/meminfo: memFree=25023240/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
[pid=23878] ppid=23876 vsize=15144768 memory=40920 CPUtime=0.35 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 9447 0 0 0 32 3 0 0 20 0 15 0 408043015 15508242432 10230 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3786192 10230 3294 1 0 3748377 0
[pid=23878/tid=23879] ppid=23876 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) R 23876 23876 11591 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 408043016 15508242432 10230 33554432000 4194304 4196468 140723148420672 140666143054400 140666122900830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 10230 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15144768 memory=140133189245776 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 10230 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 10230 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15508242432 10230 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15144768 memory=140133189228160 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408043018 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408043018 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665606333728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408043018 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665605281392 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) S 23876 23876 11591 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 408043021 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665603176560 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) S 23876 23876 11591 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 15 0 408043021 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665602123760 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15144768 memory=140133189228160 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) S 23876 23876 11591 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 408043021 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665601071472 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043021 15508242432 10230 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42372 KiB
[startup+0.310753 s]*
/proc/loadavg: 7.95 8.39 8.30 8/234 23892
/proc/meminfo: memFree=25015448/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
[pid=23878] ppid=23876 vsize=15149024 memory=50436 CPUtime=0.53 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 10913 0 0 0 49 4 0 0 20 0 15 0 408043015 15512600576 12609 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3787256 12609 3344 1 0 3748377 0
[pid=23878/tid=23879] ppid=23876 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) R 23876 23876 11591 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 15 0 408043016 15512600576 12609 33554432000 4194304 4196468 140723148420672 140666143051456 140666122900830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15512600576 12609 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15512600576 12609 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15512600576 12609 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15512600576 12609 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15149024 memory=-7017622378923016351 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408043018 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408043018 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665606333728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408043018 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665605281392 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) S 23876 23876 11591 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 15 0 408043021 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665603176560 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) S 23876 23876 11591 0 -1 1077944384 345 0 0 0 4 0 0 0 20 0 15 0 408043021 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665602123760 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) S 23876 23876 11591 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 408043021 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665601071472 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043021 15512600576 12609 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51888 KiB
[startup+0.701353 s]
/proc/loadavg: 7.95 8.39 8.30 9/234 23892
/proc/meminfo: memFree=25001384/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
[pid=23878] ppid=23876 vsize=15151148 memory=94452 CPUtime=1.62 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 14216 0 0 0 156 6 0 0 20 0 15 0 408043015 15514775552 23613 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3787787 23613 3450 1 0 3748889 0
[pid=23878/tid=23879] ppid=23876 vsize=15151148 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) R 23876 23876 11591 0 -1 4202560 8509 0 0 0 62 4 0 0 20 0 15 0 408043016 15514775552 23613 33554432000 4194304 4196468 140723148420672 140666143054216 140665769050117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15151148 memory=38080 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15514775552 23613 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15151148 memory=992 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15514775552 23613 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15151148 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043016 15514775552 23613 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15151148 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408043016 15514775552 23613 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408043018 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15151148 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408043018 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665606333728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408043018 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665605281392 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15151148 memory=944 CPUtime=0.27 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) R 23876 23876 11591 0 -1 4202560 1319 0 0 0 27 0 0 0 20 0 15 0 408043021 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665603176688 140666118058752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15151148 memory=4004 CPUtime=0.25 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) R 23876 23876 11591 0 -1 4202560 1193 0 0 0 25 0 0 0 20 0 15 0 408043021 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665602113552 140666122303806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15151148 memory=780 CPUtime=0.4 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) S 23876 23876 11591 0 -1 1077944384 1888 0 0 0 40 0 0 0 20 0 15 0 408043021 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665601071472 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408043021 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15151148 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408043021 15514775552 23613 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 95904 KiB
[startup+1.51031 s]
/proc/loadavg: 7.87 8.37 8.30 12/238 23896
/proc/meminfo: memFree=24911352/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 67725 0 0 0 231088 51 0 0 20 0 19 0 408043015 15787421696 119110 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3854351 119110 3539 1 0 3815453 0
[pid=23878/tid=23879] ppid=23876 vsize=15417404 memory=476440 CPUtime=0.86 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) S 23876 23876 11591 0 -1 1077944384 8588 0 0 0 81 5 0 0 20 0 19 0 408043016 15787421696 119110 33554432000 4194304 4196468 140723148420672 140666143061120 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15417404 memory=476144 CPUtime=0.96 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 2452 0 0 0 89 7 0 0 20 0 19 0 408043016 15787421696 119110 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15417404 memory=476168 CPUtime=0.95 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 3017 0 0 0 88 7 0 0 20 0 19 0 408043016 15787421696 119110 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15417404 memory=476244 CPUtime=0.96 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 2631 0 0 0 90 6 0 0 20 0 19 0 408043016 15787421696 119110 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15417404 memory=476440 CPUtime=0.96 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2316 0 0 0 88 8 0 0 20 0 19 0 408043016 15787421696 119110 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15417404 memory=476440 CPUtime=0.55 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 10519 0 0 0 50 5 0 0 20 0 19 0 408043018 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 408043018 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665606333792 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15417404 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 408043018 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665605281408 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15417404 memory=38088 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408043021 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15417404 memory=752 CPUtime=1.85 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) S 23876 23876 11591 0 -1 1077944384 11037 0 0 0 184 1 0 0 20 0 19 0 408043021 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665603176560 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15417404 memory=1056 CPUtime=1.76 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) S 23876 23876 11591 0 -1 1077944384 7455 0 0 0 175 1 0 0 20 0 19 0 408043021 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665602123760 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15417404 memory=476440 CPUtime=0.69 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) S 23876 23876 11591 0 -1 1077944384 5363 0 0 0 68 1 0 0 20 0 19 0 408043021 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665601071472 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408043021 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15417404 memory=1452 CPUtime=0.16 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 627 0 0 0 0 16 0 0 20 0 19 0 408043021 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23893] ppid=23876 vsize=15417404 memory=476440 CPUtime=575.76 cores=1,3,5,7
/proc/23878/task/23893/stat : 23893 (java) R 23876 23876 11591 0 -1 4202560 1800 0 0 0 57575 1 0 0 20 0 19 0 408043106 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665589754952 140665773541249 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23894] ppid=23876 vsize=15417404 memory=992 CPUtime=574.22 cores=1,3,5,7
/proc/23878/task/23894/stat : 23894 (java) R 23876 23876 11591 0 -1 4202560 5706 0 0 0 57418 4 0 0 20 0 19 0 408043106 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665588703680 140665773541026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23895] ppid=23876 vsize=15417404 memory=2044 CPUtime=575.61 cores=1,3,5,7
/proc/23878/task/23895/stat : 23895 (java) R 23876 23876 11591 0 -1 4202560 1238 0 0 0 57560 1 0 0 20 0 19 0 408043106 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665587650848 140665772072941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23896] ppid=23876 vsize=15417404 memory=1324 CPUtime=575.96 cores=1,3,5,7
/proc/23878/task/23896/stat : 23896 (java) R 23876 23876 11591 0 -1 4202560 3591 0 0 0 57593 3 0 0 20 0 19 0 408043106 15787421696 119110 33554432000 4194304 4196468 140723148420672 140665586600752 140665771959129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 2311.39 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 477892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.901 s]
/proc/loadavg: 8.19 8.33 8.35 9/239 24036
/proc/meminfo: memFree=24748816/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
[pid=23878] ppid=23876 vsize=15417404 memory=476636 CPUtime=2520.06 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 68426 0 0 0 251953 53 0 0 20 0 19 0 408043015 15787421696 119159 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3854351 119159 3539 1 0 3815453 0
[pid=23878/tid=23879] ppid=23876 vsize=15417404 memory=476636 CPUtime=0.86 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) S 23876 23876 11591 0 -1 1077944384 8588 0 0 0 81 5 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666143061120 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15417404 memory=1452 CPUtime=1.03 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 2502 0 0 0 96 7 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15417404 memory=476636 CPUtime=1.03 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 3051 0 0 0 96 7 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15417404 memory=476636 CPUtime=1.05 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 2675 0 0 0 98 7 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15417404 memory=476636 CPUtime=1.03 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2602 0 0 0 95 8 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15417404 memory=476636 CPUtime=0.63 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 10556 0 0 0 57 6 0 0 20 0 19 0 408043018 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 408043018 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665606333792 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15417404 memory=476488 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 408043018 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665605281408 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15417404 memory=57 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15417404 memory=476488 CPUtime=1.86 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) S 23876 23876 11591 0 -1 1077944384 11037 0 0 0 185 1 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665603176560 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15417404 memory=11624 CPUtime=1.76 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) S 23876 23876 11591 0 -1 1077944384 7455 0 0 0 175 1 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665602123760 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15417404 memory=752 CPUtime=0.69 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) S 23876 23876 11591 0 -1 1077944384 5363 0 0 0 68 1 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665601071472 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15417404 memory=17 CPUtime=0.17 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 629 0 0 0 0 17 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23893] ppid=23876 vsize=15417404 memory=1452 CPUtime=627.9 cores=1,3,5,7
/proc/23878/task/23893/stat : 23893 (java) R 23876 23876 11591 0 -1 4202560 1855 0 0 0 62789 1 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665589754856 140665773540242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23894] ppid=23876 vsize=15417404 memory=1452 CPUtime=626.22 cores=1,3,5,7
/proc/23878/task/23894/stat : 23894 (java) R 23876 23876 11591 0 -1 4202560 5757 0 0 0 62618 4 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665588706656 140665773541106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23895] ppid=23876 vsize=15417404 memory=3848 CPUtime=627.72 cores=1,3,5,7
/proc/23878/task/23895/stat : 23895 (java) R 23876 23876 11591 0 -1 4202560 1270 0 0 0 62770 2 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665587650984 140665773541206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23896] ppid=23876 vsize=15417404 memory=2596 CPUtime=627.98 cores=1,3,5,7
/proc/23878/task/23896/stat : 23896 (java) R 23876 23876 11591 0 -1 4202560 3701 0 0 0 62795 3 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665586597584 140665773541082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 478088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.931 s]
# the end of solver process 23876 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002203 s, system=0 s
[startup+634.977 s]
# the end of solver process 23878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.8 s, system=0.539007 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+634.901 s]
/proc/loadavg: 8.19 8.33 8.35 9/239 24036
/proc/meminfo: memFree=24748816/32770624 swapFree=66952812/67108860
[pid=23876] ppid=23873 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23876/stat : 23876 (xcsp3-exec) S 23873 23876 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408043015 115843072 363 33554432000 4194304 5098028 140722178774224 140722178772328 140100847575676 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16707584 140722178782075 140722178782317 140722178782317 140722178785226 0
/proc/23876/statm: 28282 363 304 221 0 87 0
[pid=23878] ppid=23876 vsize=15417404 memory=476636 CPUtime=2520.06 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23876 23876 11591 0 -1 1077944320 68426 0 0 0 251953 53 0 0 20 0 19 0 408043015 15787421696 119159 33554432000 4194304 4196468 140723148420672 140723148403216 140666138820343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
/proc/23878/statm: 3854351 119159 3539 1 0 3815453 0
[pid=23878/tid=23879] ppid=23876 vsize=15417404 memory=476636 CPUtime=0.86 cores=1,3,5,7
/proc/23878/task/23879/stat : 23879 (java) S 23876 23876 11591 0 -1 1077944384 8588 0 0 0 81 5 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666143061120 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23880] ppid=23876 vsize=15417404 memory=1452 CPUtime=1.03 cores=1,3,5,7
/proc/23878/task/23880/stat : 23880 (java) S 23876 23876 11591 0 -1 1077944384 2502 0 0 0 96 7 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666091440528 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23881] ppid=23876 vsize=15417404 memory=476636 CPUtime=1.03 cores=1,3,5,7
/proc/23878/task/23881/stat : 23881 (java) S 23876 23876 11591 0 -1 1077944384 3051 0 0 0 96 7 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666090387728 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23882] ppid=23876 vsize=15417404 memory=476636 CPUtime=1.05 cores=1,3,5,7
/proc/23878/task/23882/stat : 23882 (java) S 23876 23876 11591 0 -1 1077944384 2675 0 0 0 98 7 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666089335440 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23883] ppid=23876 vsize=15417404 memory=476636 CPUtime=1.03 cores=1,3,5,7
/proc/23878/task/23883/stat : 23883 (java) S 23876 23876 11591 0 -1 1077944384 2602 0 0 0 95 8 0 0 20 0 19 0 408043016 15787421696 119159 33554432000 4194304 4196468 140723148420672 140666088282640 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23884] ppid=23876 vsize=15417404 memory=476636 CPUtime=0.63 cores=1,3,5,7
/proc/23878/task/23884/stat : 23884 (java) S 23876 23876 11591 0 -1 1077944384 10556 0 0 0 57 6 0 0 20 0 19 0 408043018 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665607387760 140666138831490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23885] ppid=23876 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23885/stat : 23885 (java) S 23876 23876 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 408043018 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665606333792 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23886] ppid=23876 vsize=15417404 memory=476488 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23886/stat : 23886 (java) S 23876 23876 11591 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 408043018 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665605281408 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23887] ppid=23876 vsize=15417404 memory=57 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23887/stat : 23887 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665604229712 140666138838939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23888] ppid=23876 vsize=15417404 memory=476488 CPUtime=1.86 cores=1,3,5,7
/proc/23878/task/23888/stat : 23888 (java) S 23876 23876 11591 0 -1 1077944384 11037 0 0 0 185 1 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665603176560 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23889] ppid=23876 vsize=15417404 memory=11624 CPUtime=1.76 cores=1,3,5,7
/proc/23878/task/23889/stat : 23889 (java) S 23876 23876 11591 0 -1 1077944384 7455 0 0 0 175 1 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665602123760 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23890] ppid=23876 vsize=15417404 memory=752 CPUtime=0.69 cores=1,3,5,7
/proc/23878/task/23890/stat : 23890 (java) S 23876 23876 11591 0 -1 1077944384 5363 0 0 0 68 1 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665601071472 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23891] ppid=23876 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23878/task/23891/stat : 23891 (java) S 23876 23876 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665600018912 140666138830549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23892] ppid=23876 vsize=15417404 memory=17 CPUtime=0.17 cores=1,3,5,7
/proc/23878/task/23892/stat : 23892 (java) S 23876 23876 11591 0 -1 1077944384 629 0 0 0 0 17 0 0 20 0 19 0 408043021 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665598966704 140666138831490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23893] ppid=23876 vsize=15417404 memory=1452 CPUtime=627.9 cores=1,3,5,7
/proc/23878/task/23893/stat : 23893 (java) R 23876 23876 11591 0 -1 4202560 1855 0 0 0 62789 1 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665589754856 140665773540242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23894] ppid=23876 vsize=15417404 memory=1452 CPUtime=626.22 cores=1,3,5,7
/proc/23878/task/23894/stat : 23894 (java) R 23876 23876 11591 0 -1 4202560 5757 0 0 0 62618 4 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665588706656 140665773541106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23895] ppid=23876 vsize=15417404 memory=3848 CPUtime=627.72 cores=1,3,5,7
/proc/23878/task/23895/stat : 23895 (java) R 23876 23876 11591 0 -1 4202560 1270 0 0 0 62770 2 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665587650984 140665773541206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
[pid=23878/tid=23896] ppid=23876 vsize=15417404 memory=2596 CPUtime=627.98 cores=1,3,5,7
/proc/23878/task/23896/stat : 23896 (java) R 23876 23876 11591 0 -1 4202560 3701 0 0 0 62795 3 0 0 20 0 19 0 408043106 15787421696 119159 33554432000 4194304 4196468 140723148420672 140665586597584 140665773541082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140723148424175 140723148424346 140723148424346 140723148427215 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 478088 KiB
Child status: 143
Real time (s): 634.977
CPU time (s): 2520.34
CPU user time (s): 2519.8
CPU system time (s): 0.539007
CPU usage (%): 396.918
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 632040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.539007
maximum resident set size= 631280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36357
involuntary context switches= 52496
# summary of solver processes directly reported to runsolver:
# pid: 23876,23878
# total CPU time (s): 2520.34
# total CPU user time (s): 2519.8
# total CPU system time (s): 0.539007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09051 second user time and 7.43641 second system time
The end