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 (1639 MiB free)
memory of node 1: 16384 MiB (10432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306523-1534090517/watcher-4306523-1534090517 -o /tmp/evaluation-result-4306523-1534090517/solver-4306523-1534090517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580 HOME/xcsp3-exec -seed 1910240044 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306523-1534090517.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=29049, runsolver pid=29046
[startup+0.100156 s]*
/proc/loadavg: 2.32 2.23 2.13 3/219 29065
/proc/meminfo: memFree=12342652/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14082940 memory=29992 CPUtime=0.12 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 5280 0 0 0 11 1 0 0 20 0 15 0 226614914 14420930560 7498 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3520735 7498 3055 1 0 3483012 0
[pid=29051/tid=29052] ppid=29049 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) R 29049 29049 25200 0 -1 4202560 3297 0 0 0 8 0 0 0 20 0 15 0 226614914 14420930560 7498 33554432000 4194304 4196468 140731875809200 140525263916256 140525243733349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614915 14420930560 7498 33554432000 4194304 4196468 140731875809200 140525224971024 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14082940 memory=140026934990464 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614915 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524854033296 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614915 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524852980752 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614915 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524851928208 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14082940 memory=140026934990464 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614916 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524733929456 140525259700866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226614917 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524732875680 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226614917 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524731823088 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) S 29049 29049 25200 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 226614919 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524729719280 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614919 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14082940 memory=140026934990464 CPUtime=0.01 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) R 29049 29049 25200 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 226614919 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524727614192 140525238389920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14082940 memory=140026934990464 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614920 14420930560 7498 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31448 KiB
[startup+0.218034 s]*
/proc/loadavg: 2.32 2.23 2.13 3/219 29065
/proc/meminfo: memFree=12332868/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14087196 memory=41172 CPUtime=0.34 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 7800 0 0 0 32 2 0 0 20 0 15 0 226614914 14425288704 10293 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3521799 10293 3215 1 0 3483012 0
[pid=29051/tid=29052] ppid=29049 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) R 29049 29049 25200 0 -1 4202560 5045 0 0 0 19 1 0 0 20 0 15 0 226614914 14425288704 10293 33554432000 4194304 4196468 140731875809200 140525263910712 140525243770206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14087196 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 10293 33554432000 4194304 4196468 140731875809200 140525224971024 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14087196 memory=140026935016143 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524854033296 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524852980752 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524851928208 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14087196 memory=140026934990464 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226614916 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524733929456 140525259700866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226614917 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524732875680 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226614917 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524731823088 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) S 29049 29049 25200 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 226614919 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524729719280 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 226614919 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14087196 memory=140026934990464 CPUtime=0.08 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 226614919 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614920 14425288704 10293 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42628 KiB
[startup+0.310751 s]*
/proc/loadavg: 2.32 2.23 2.13 4/219 29065
/proc/meminfo: memFree=12326168/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14087196 memory=47768 CPUtime=0.53 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 8620 0 0 0 50 3 0 0 20 0 15 0 226614914 14425288704 11942 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3521799 11942 3257 1 0 3483012 0
[pid=29051/tid=29052] ppid=29049 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) R 29049 29049 25200 0 -1 4202560 5637 0 0 0 27 2 0 0 20 0 15 0 226614914 14425288704 11942 33554432000 4194304 4196468 140731875809200 140525263929504 140525259711645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 11942 33554432000 4194304 4196468 140731875809200 140525224971024 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524854033296 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524852980752 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) S 29049 29049 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226614915 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524851928208 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226614916 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524733929456 140525259700866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226614917 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524732875680 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226614917 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524731823088 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) R 29049 29049 25200 0 -1 4202560 683 0 0 0 5 0 0 0 20 0 15 0 226614919 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524729717680 140525244815025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 112 0 0 0 4 0 0 0 20 0 15 0 226614919 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 226614919 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614920 14425288704 11942 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49224 KiB
[startup+0.701437 s]
/proc/loadavg: 2.32 2.23 2.13 5/219 29065
/proc/meminfo: memFree=12278948/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14089320 memory=200720 CPUtime=1.56 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 11049 0 0 0 149 7 0 0 20 0 15 0 226614914 14427463680 50180 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3522330 50180 3348 1 0 3483524 0
[pid=29051/tid=29052] ppid=29049 vsize=14089320 memory=1752 CPUtime=0.66 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) S 29049 29049 25200 0 -1 1077944384 6151 0 0 0 62 4 0 0 20 0 15 0 226614914 14427463680 50180 33554432000 4194304 4196468 140731875809200 140525263927328 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14089320 memory=5752 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) R 29049 29049 25200 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 226614915 14427463680 50180 33554432000 4194304 4196468 140731875809200 140525224971024 140525244711840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14089320 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) R 29049 29049 25200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 226614915 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524854033496 140525244717557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) R 29049 29049 25200 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 226614915 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524852980752 140525244717557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14089320 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) R 29049 29049 25200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 226614915 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524851928208 140525244716842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14089320 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 226614916 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524733927968 140525259699925 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14089320 memory=868 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524732875680 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14089320 memory=6792 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524731823088 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14089320 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14089320 memory=752 CPUtime=0.32 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) R 29049 29049 25200 0 -1 4202560 1327 0 0 0 32 0 0 0 20 0 15 0 226614919 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524729719576 140525244611566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14089320 memory=1276 CPUtime=0.27 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 745 0 0 0 27 0 0 0 20 0 15 0 226614919 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14089320 memory=1068 CPUtime=0.23 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 1452 0 0 0 23 0 0 0 20 0 15 0 226614919 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14089320 memory=15064 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14089320 memory=33980 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226614920 14427463680 50180 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 202176 KiB
[startup+1.50098 s]
/proc/loadavg: 2.32 2.23 2.13 6/219 29065
/proc/meminfo: memFree=12137888/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524731823104 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14089320 memory=11533576 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14089320 memory=1456 CPUtime=0.52 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) S 29049 29049 25200 0 -1 1077944384 2340 0 0 0 52 0 0 0 20 0 15 0 226614919 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524729719280 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14089320 memory=11510732 CPUtime=0.5 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 1238 0 0 0 50 0 0 0 20 0 15 0 226614919 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14089320 memory=1456 CPUtime=0.33 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 2334 0 0 0 32 1 0 0 20 0 15 0 226614919 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14089320 memory=10720956 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14089320 memory=11533540 CPUtime=0.04 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 383 0 0 0 2 2 0 0 20 0 15 0 226614920 14427463680 2883394 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 181.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11535032 KiB
[startup+142.401 s]
/proc/loadavg: 2.28 2.32 2.19 6/217 29067
/proc/meminfo: memFree=821068/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14089320 memory=11533600 CPUtime=187.58 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 1221413 0 0 0 17323 1435 0 0 20 0 15 0 226614914 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3522330 2883400 3401 1 0 3483524 0
[pid=29051/tid=29052] ppid=29049 vsize=14089320 memory=1620 CPUtime=126.65 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) S 29049 29049 25200 0 -1 1077944384 11929 0 0 0 12654 11 0 0 20 0 15 0 226614914 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140525263929696 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14089320 memory=1220 CPUtime=14.7 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) R 29049 29049 25200 0 -1 4202560 213052 0 0 0 1111 359 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140525224971024 140525252789391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14089320 memory=1800 CPUtime=14.72 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) R 29049 29049 25200 0 -1 4202560 529599 0 0 0 1107 365 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524854033496 140525252789492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14089320 memory=1456 CPUtime=14.67 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) R 29049 29049 25200 0 -1 4202560 165365 0 0 0 1139 328 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524852980952 140525252789395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14089320 memory=11533600 CPUtime=14.58 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) R 29049 29049 25200 0 -1 4202560 271803 0 0 0 1095 363 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524851928208 140525252789387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14089320 memory=1616 CPUtime=0.8 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 22041 0 0 0 78 2 0 0 20 0 15 0 226614916 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524733928000 140525259699925 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524732875744 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14089320 memory=61700 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524731823104 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14089320 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14089320 memory=2144 CPUtime=0.52 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) S 29049 29049 25200 0 -1 1077944384 2340 0 0 0 52 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524729719280 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14089320 memory=1172 CPUtime=0.5 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 1238 0 0 0 50 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14089320 memory=932 CPUtime=0.33 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 2334 0 0 0 32 1 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14089320 memory=6416 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14089320 memory=1572 CPUtime=0.04 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 383 0 0 0 2 2 0 0 20 0 15 0 226614920 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 187.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11535056 KiB
[startup+143.201 s]
/proc/loadavg: 2.28 2.32 2.19 6/217 29067
/proc/meminfo: memFree=821068/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14089320 memory=11533600 CPUtime=190.76 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 1221413 0 0 0 17641 1435 0 0 20 0 15 0 226614914 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3522330 2883400 3401 1 0 3483524 0
[pid=29051/tid=29052] ppid=29049 vsize=14089320 memory=1456 CPUtime=126.65 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) S 29049 29049 25200 0 -1 1077944384 11929 0 0 0 12654 11 0 0 20 0 15 0 226614914 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140525263929696 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14089320 memory=6791534058613427641 CPUtime=15.5 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) R 29049 29049 25200 0 -1 4202560 213052 0 0 0 1191 359 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140525224971224 140525252789383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14089320 memory=-6520471753822164382 CPUtime=15.52 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) R 29049 29049 25200 0 -1 4202560 529599 0 0 0 1187 365 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524854033496 140525252789482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14089320 memory=-8707038579349950309 CPUtime=15.45 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) R 29049 29049 25200 0 -1 4202560 165365 0 0 0 1217 328 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524852980952 140525252789375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14089320 memory=7955442068605124708 CPUtime=15.38 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) R 29049 29049 25200 0 -1 4202560 271803 0 0 0 1175 363 0 0 20 0 15 0 226614915 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524851928328 140525252789492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14089320 memory=7233152998915860328 CPUtime=0.8 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 22041 0 0 0 78 2 0 0 20 0 15 0 226614916 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524733928000 140525259699925 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14089320 memory=7233152998915860328 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524732875744 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14089320 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524731823104 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14089320 memory=752 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14089320 memory=1276 CPUtime=0.52 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) S 29049 29049 25200 0 -1 1077944384 2340 0 0 0 52 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524729719280 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14089320 memory=1068 CPUtime=0.5 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 1238 0 0 0 50 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14089320 memory=15064 CPUtime=0.33 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 2334 0 0 0 32 1 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14089320 memory=33980 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14089320 memory=13756 CPUtime=0.04 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 383 0 0 0 2 2 0 0 20 0 15 0 226614920 14427463680 2883400 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 190.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11535056 KiB
[startup+144.001 s]*
/proc/loadavg: 2.28 2.32 2.19 6/217 29067
/proc/meminfo: memFree=821068/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
[pid=29051] ppid=29049 vsize=14089320 memory=11533604 CPUtime=194 cores=1,3,5,7
/proc/29051/stat : 29051 (java) S 29049 29049 25200 0 -1 1077944320 1222153 0 0 0 17964 1436 0 0 20 0 15 0 226614914 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140731875791744 140525259689719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
/proc/29051/statm: 3522330 2883401 3401 1 0 3483524 0
[pid=29051/tid=29052] ppid=29049 vsize=14089320 memory=6791534058613427641 CPUtime=126.65 cores=1,3,5,7
/proc/29051/task/29052/stat : 29052 (java) S 29049 29049 25200 0 -1 1077944384 11929 0 0 0 12654 11 0 0 20 0 15 0 226614914 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140525263929696 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29053] ppid=29049 vsize=14089320 memory=4126316290023845779 CPUtime=16.34 cores=1,3,5,7
/proc/29051/task/29053/stat : 29053 (java) R 29049 29049 25200 0 -1 4202560 213141 0 0 0 1274 360 0 0 20 0 15 0 226614915 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140525224971224 140525252786444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29054] ppid=29049 vsize=14089320 memory=3988 CPUtime=16.34 cores=1,3,5,7
/proc/29051/task/29054/stat : 29054 (java) R 29049 29049 25200 0 -1 4202560 529703 0 0 0 1269 365 0 0 20 0 15 0 226614915 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524854033496 140525252786428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29055] ppid=29049 vsize=14089320 memory=1924 CPUtime=16.26 cores=1,3,5,7
/proc/29051/task/29055/stat : 29055 (java) R 29049 29049 25200 0 -1 4202560 165609 0 0 0 1298 328 0 0 20 0 15 0 226614915 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524852980952 140525252786452 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29056] ppid=29049 vsize=14089320 memory=7532 CPUtime=16.21 cores=1,3,5,7
/proc/29051/task/29056/stat : 29056 (java) R 29049 29049 25200 0 -1 4202560 272106 0 0 0 1258 363 0 0 20 0 15 0 226614915 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524851928328 140525252786428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29057] ppid=29049 vsize=14089320 memory=808 CPUtime=0.8 cores=1,3,5,7
/proc/29051/task/29057/stat : 29057 (java) S 29049 29049 25200 0 -1 1077944384 22041 0 0 0 78 2 0 0 20 0 15 0 226614916 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524733928000 140525259699925 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29058] ppid=29049 vsize=14089320 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29058/stat : 29058 (java) S 29049 29049 25200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524732875744 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29059] ppid=29049 vsize=14089320 memory=920 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29059/stat : 29059 (java) S 29049 29049 25200 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 226614917 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524731823104 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29060] ppid=29049 vsize=14089320 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29060/stat : 29060 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524730771664 140525259708315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29061] ppid=29049 vsize=14089320 memory=1456 CPUtime=0.52 cores=1,3,5,7
/proc/29051/task/29061/stat : 29061 (java) S 29049 29049 25200 0 -1 1077944384 2340 0 0 0 52 0 0 0 20 0 15 0 226614919 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524729719280 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29062] ppid=29049 vsize=14089320 memory=11533584 CPUtime=0.5 cores=1,3,5,7
/proc/29051/task/29062/stat : 29062 (java) S 29049 29049 25200 0 -1 1077944384 1238 0 0 0 50 0 0 0 20 0 15 0 226614919 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524728666736 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29063] ppid=29049 vsize=14089320 memory=1800 CPUtime=0.33 cores=1,3,5,7
/proc/29051/task/29063/stat : 29063 (java) S 29049 29049 25200 0 -1 1077944384 2334 0 0 0 32 1 0 0 20 0 15 0 226614919 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524727614192 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29064] ppid=29049 vsize=14089320 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/29051/task/29064/stat : 29064 (java) S 29049 29049 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226614919 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524726561888 140525259699925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
[pid=29051/tid=29065] ppid=29049 vsize=14089320 memory=61700 CPUtime=0.04 cores=1,3,5,7
/proc/29051/task/29065/stat : 29065 (java) S 29049 29049 25200 0 -1 1077944384 383 0 0 0 2 2 0 0 20 0 15 0 226614920 14427463680 2883401 33554432000 4194304 4196468 140731875809200 140524725508400 140525259700866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 20045824 140731875816582 140731875816753 140731875816753 140731875819471 0
Current children cumulated CPU time: 194 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11535060 KiB
[startup+144.202 s]
/proc/loadavg: 2.28 2.32 2.19 6/217 29067
/proc/meminfo: memFree=821068/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
[startup+144.301 s]
/proc/loadavg: 2.28 2.32 2.19 6/217 29067
/proc/meminfo: memFree=821068/32770624 swapFree=67108372/67108860
[pid=29049] ppid=29046 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (xcsp3-exec) S 29046 29049 25200 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 226614913 115843072 364 33554432000 4194304 5098028 140731115690352 140731115688456 140577482543740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9129984 140731115693114 140731115693316 140731115693316 140731115696074 0
/proc/29049/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 1
Real time (s): 144.345
CPU time (s): 194.512
CPU user time (s): 179.95
CPU system time (s): 14.5621
CPU usage (%): 134.755
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 11535068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.95
system time used= 14.5621
maximum resident set size= 11533940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1235699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8955
involuntary context switches= 689
# summary of solver processes directly reported to runsolver:
# pid: 29049
# total CPU time (s): 194.512
# total CPU user time (s): 179.95
# total CPU system time (s): 14.5621
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.858873 second user time and 1.46171 second system time
The end