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 (14183 MiB free)
memory of node 1: 16384 MiB (13258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282861-1503213207/watcher-4282861-1503213207 -o /tmp/evaluation-result-4282861-1503213207/solver-4282861-1503213207 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2124850833 HOME/instance-4282861-1503213207.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=24868, runsolver pid=24865
[startup+0.100426 s]*
/proc/loadavg: 1.99 2.07 1.99 3/217 24884
/proc/meminfo: memFree=28083640/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13978596 memory=28036 CPUtime=0.11 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 5302 0 0 0 10 1 0 0 20 0 15 0 154408846 14314082304 7009 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3494649 7009 2898 1 0 3482966 0
[pid=24870/tid=24871] ppid=24868 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 3316 0 0 0 8 1 0 0 20 0 15 0 154408846 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146663983536 140146659769750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13978596 memory=139977499473536 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13978596 memory=139977499473536 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408848 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) S 24868 24868 21899 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 154408851 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146196957296 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146195904496 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13978596 memory=139977499473536 CPUtime=0.01 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) R 24868 24868 21899 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 154408851 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146194852208 140146638248784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13978596 memory=139977499473536 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408852 14314082304 7009 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29420 KiB
[startup+0.210492 s]*
/proc/loadavg: 1.99 2.07 1.99 3/217 24884
/proc/meminfo: memFree=28071748/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13982852 memory=40228 CPUtime=0.33 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 8128 0 0 0 31 2 0 0 20 0 15 0 154408846 14318440448 10057 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3495713 10057 3058 1 0 3482966 0
[pid=24870/tid=24871] ppid=24868 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 5231 0 0 0 18 1 0 0 20 0 15 0 154408846 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146663978808 140146643838302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13982852 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13982852 memory=3688648756747957920 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13982852 memory=139977499473536 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408848 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) S 24868 24868 21899 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 154408851 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146196957296 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) S 24868 24868 21899 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 154408851 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146195904496 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13982852 memory=139977499473536 CPUtime=0.07 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) S 24868 24868 21899 0 -1 1077944384 780 0 0 0 7 0 0 0 20 0 15 0 154408851 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146194852208 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408852 14318440448 10057 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41612 KiB
[startup+0.310492 s]*
/proc/loadavg: 1.99 2.07 1.99 3/217 24884
/proc/meminfo: memFree=28065108/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13982928 memory=47516 CPUtime=0.49 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 9026 0 0 0 46 3 0 0 20 0 15 0 154408846 14318518272 11879 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3495732 11879 3105 1 0 3482966 0
[pid=24870/tid=24871] ppid=24868 vsize=13982928 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 6012 0 0 0 27 2 0 0 20 0 15 0 154408846 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146663990176 140146643838302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13982928 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13982928 memory=4337868251985084448 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408848 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) S 24868 24868 21899 0 -1 1077944384 643 0 0 0 3 0 0 0 20 0 15 0 154408851 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146196957296 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) S 24868 24868 21899 0 -1 1077944384 211 0 0 0 4 0 0 0 20 0 15 0 154408851 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146195904496 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13982928 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) S 24868 24868 21899 0 -1 1077944384 860 0 0 0 11 0 0 0 20 0 15 0 154408851 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146194852208 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408852 14318518272 11879 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48900 KiB
[startup+0.700799 s]
/proc/loadavg: 1.99 2.07 1.99 5/217 24884
/proc/meminfo: memFree=28050300/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13984976 memory=78292 CPUtime=1.63 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 15408 0 0 0 158 5 0 0 20 0 15 0 154408846 14320615424 19573 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3496244 19573 3205 1 0 3483478 0
[pid=24870/tid=24871] ppid=24868 vsize=13984976 memory=24620 CPUtime=0.67 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 6496 0 0 0 64 3 0 0 20 0 15 0 154408846 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146663989072 140146637753376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154408848 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13984976 memory=4316 CPUtime=0.35 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) R 24868 24868 21899 0 -1 4202560 3243 0 0 0 35 0 0 0 20 0 15 0 154408851 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146196942520 140146639601423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13984976 memory=2196 CPUtime=0.35 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) R 24868 24868 21899 0 -1 4202560 2640 0 0 0 35 0 0 0 20 0 15 0 154408851 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146195890600 140146640460805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13984976 memory=7784 CPUtime=0.22 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) S 24868 24868 21899 0 -1 1077944384 1719 0 0 0 22 0 0 0 20 0 15 0 154408851 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146194852208 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 19573 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79676 KiB
[startup+1.5009 s]
/proc/loadavg: 1.99 2.07 1.99 5/217 24884
/proc/meminfo: memFree=28000616/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13984976 memory=127936 CPUtime=4.04 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 36811 0 0 0 397 7 0 0 20 0 15 0 154408846 14320615424 31984 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3496244 31984 3214 1 0 3483478 0
[pid=24870/tid=24871] ppid=24868 vsize=13984976 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 6784 0 0 0 144 3 0 0 20 0 15 0 154408846 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146663993376 140146645693089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13984976 memory=7885351504946030442 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13984976 memory=6153727326982138983 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13984976 memory=6153720717128133735 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13984976 memory=6153720717128133735 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13984976 memory=7588684550706915689 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 154408848 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13984976 memory=7380671265740710997 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13984976 memory=7450739838949223528 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13984976 memory=7741230815469988432 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13984976 memory=7445966687122313298 CPUtime=1.14 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) S 24868 24868 21899 0 -1 1077944384 16403 0 0 0 113 1 0 0 20 0 15 0 154408851 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146196957296 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13984976 memory=1160 CPUtime=1.14 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) S 24868 24868 21899 0 -1 1077944384 9458 0 0 0 113 1 0 0 20 0 15 0 154408851 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146195904496 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13984976 memory=2209 CPUtime=0.25 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) S 24868 24868 21899 0 -1 1077944384 2843 0 0 0 25 0 0 0 20 0 15 0 154408851 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146194852208 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13984976 memory=12880606923214 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 31984 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 129320 KiB
[startup+1.88263 s]
# the end of solver process 24868 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.46541 s, system=0.083091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60095 s]
/proc/loadavg: 1.99 2.07 1.99 5/217 24884
/proc/meminfo: memFree=28000616/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13984976 memory=132132 CPUtime=4.19 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 36916 0 0 0 412 7 0 0 20 0 15 0 154408846 14320615424 33033 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3496244 33033 3214 1 0 3483478 0
[pid=24870/tid=24871] ppid=24868 vsize=13984976 memory=279954693408200 CPUtime=1.57 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 6787 0 0 0 154 3 0 0 20 0 15 0 154408846 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146663993376 140146279650378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13984976 memory=279954693408452 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13984976 memory=6298398794860095592 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13984976 memory=6154820267226784105 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13984976 memory=7739811328609576000 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13984976 memory=7523382201372729942 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 154408848 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13984976 memory=7450759527196617835 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13984976 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13984976 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13984976 memory=6944656592452807320 CPUtime=1.16 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) S 24868 24868 21899 0 -1 1077944384 16407 0 0 0 115 1 0 0 20 0 15 0 154408851 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146196957296 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13984976 memory=180 CPUtime=1.17 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) R 24868 24868 21899 0 -1 4202560 9467 0 0 0 116 1 0 0 20 0 15 0 154408851 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146195894608 140146644046707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13984976 memory=288230583166042426 CPUtime=0.26 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) S 24868 24868 21899 0 -1 1077944384 2932 0 0 0 26 0 0 0 20 0 15 0 154408851 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146194852208 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13984976 memory=14694093276063033 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 33033 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 133516 KiB
[startup+1.80083 s]
/proc/loadavg: 1.99 2.07 1.99 5/217 24884
/proc/meminfo: memFree=28000616/32770624 swapFree=67108860/67108860
[pid=24868] ppid=24865 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24868/stat : 24868 (xcsp3-exec) S 24865 24868 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154408846 9740288 346 33554432000 4194304 5098028 140734382365088 140734382363192 140186755719804 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24113152 140734382367860 140734382368064 140734382368064 140734382370795 0
/proc/24868/statm: 2378 346 289 221 0 87 0
[pid=24870] ppid=24868 vsize=13984976 memory=142372 CPUtime=4.45 cores=0,2,4,6
/proc/24870/stat : 24870 (java) S 24868 24868 21899 0 -1 1077944320 36937 0 0 0 438 7 0 0 20 0 15 0 154408846 14320615424 35593 33554432000 4194304 4196468 140736822518480 140736822501024 140146659757815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
/proc/24870/statm: 3496244 35593 3214 1 0 3483478 0
[pid=24870/tid=24871] ppid=24868 vsize=13984976 memory=6153720717128133735 CPUtime=1.77 cores=0,2,4,6
/proc/24870/task/24871/stat : 24871 (java) R 24868 24868 21899 0 -1 4202560 6792 0 0 0 174 3 0 0 20 0 15 0 154408846 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146663994784 140146279650399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24872] ppid=24868 vsize=13984976 memory=6153720717128133735 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24872/stat : 24872 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146597357968 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24873] ppid=24868 vsize=13984976 memory=7588684550706915689 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24873/stat : 24873 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146596305168 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24874] ppid=24868 vsize=13984976 memory=7380671265740710997 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24874/stat : 24874 (java) S 24868 24868 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146253503120 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24875] ppid=24868 vsize=13984976 memory=7450739838949223528 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24875/stat : 24875 (java) S 24868 24868 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154408847 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146252450320 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24876] ppid=24868 vsize=13984976 memory=7741230815469988432 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24876/stat : 24876 (java) S 24868 24868 21899 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 154408848 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146201168496 140146659768962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24877] ppid=24868 vsize=13984976 memory=7445966687122313298 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24877/stat : 24877 (java) S 24868 24868 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146200114464 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24878] ppid=24868 vsize=13984976 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24878/stat : 24878 (java) S 24868 24868 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154408849 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146199062128 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24879] ppid=24868 vsize=13984976 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24879/stat : 24879 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408851 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146198010448 140146659776411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24880] ppid=24868 vsize=13984976 memory=119612 CPUtime=1.21 cores=0,2,4,6
/proc/24870/task/24880/stat : 24880 (java) S 24868 24868 21899 0 -1 1077944384 16419 0 0 0 120 1 0 0 20 0 15 0 154408851 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146196957296 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24881] ppid=24868 vsize=13984976 memory=56 CPUtime=1.18 cores=0,2,4,6
/proc/24870/task/24881/stat : 24881 (java) S 24868 24868 21899 0 -1 1077944384 9468 0 0 0 117 1 0 0 20 0 15 0 154408851 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146195904496 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24882] ppid=24868 vsize=13984976 memory=-6237260532469557610 CPUtime=0.26 cores=0,2,4,6
/proc/24870/task/24882/stat : 24882 (java) S 24868 24868 21899 0 -1 1077944384 2935 0 0 0 26 0 0 0 20 0 15 0 154408851 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146194852208 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24883] ppid=24868 vsize=13984976 memory=-7737621075815361632 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24883/stat : 24883 (java) S 24868 24868 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146193799648 140146659768021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
[pid=24870/tid=24884] ppid=24868 vsize=13984976 memory=-7595718147998060693 CPUtime=0 cores=0,2,4,6
/proc/24870/task/24884/stat : 24884 (java) S 24868 24868 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154408852 14320615424 35593 33554432000 4194304 4196468 140736822518480 140146125040560 140146659768962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140736822523037 140736822523212 140736822523212 140736822525903 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 143756 KiB
Child status: 0
Real time (s): 1.88269
CPU time (s): 4.5485
CPU user time (s): 4.46541
CPU system time (s): 0.083091
CPU usage (%): 241.597
Max. virtual memory (cumulated for all children) (KiB): 13996780
Max. memory (cumulated for all children) (KiB): 143756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46541
system time used= 0.083091
maximum resident set size= 148988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1470
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 24868
# total CPU time (s): 4.5485
# total CPU user time (s): 4.46541
# total CPU system time (s): 0.083091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044901 second user time and 0.049149 second system time
The end