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 (12012 MiB free)
memory of node 1: 16384 MiB (13358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282938-1503211365/watcher-4282938-1503211365 -o /tmp/evaluation-result-4282938-1503211365/solver-4282938-1503211365 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1563655735 HOME/instance-4282938-1503211365.xml
running on 4 cores: 1,3,5,7
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=2056, runsolver pid=2053
[startup+0.100142 s]*
/proc/loadavg: 2.14 2.06 1.77 3/218 2072
/proc/meminfo: memFree=25962136/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13978596 memory=28532 CPUtime=0.12 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 5057 0 0 0 11 1 0 0 20 0 15 0 154224585 14314082304 7133 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3494649 7133 2840 1 0 3482966 0
[pid=2058/tid=2059] ppid=2056 vsize=13978596 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 3065 0 0 0 8 0 0 0 20 0 15 0 154224585 14314082304 7198 33554432000 4194304 4196468 140722703853760 140258331972400 140257945325884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14314082304 7198 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13978596 memory=140095823124096 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224586 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13978596 memory=140095823124096 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224587 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154224587 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154224588 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 154224590 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154224590 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13978596 memory=140095823124096 CPUtime=0.01 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) R 2056 2056 32593 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 154224590 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257862814576 140258306711125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13978596 memory=140095823124096 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224590 14314082304 7198 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29916 KiB
[startup+0.211133 s]*
/proc/loadavg: 2.14 2.06 1.77 5/218 2072
/proc/meminfo: memFree=25951468/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13982884 memory=40580 CPUtime=0.34 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 7689 0 0 0 32 2 0 0 20 0 15 0 154224585 14318473216 10145 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3495721 10145 3073 1 0 3482974 0
[pid=2058/tid=2059] ppid=2056 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 4922 0 0 0 18 1 0 0 20 0 15 0 154224585 14318440448 10145 33554432000 4194304 4196468 140722703853760 140258331949888 140258311820638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 10145 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13982852 memory=288370471974835840 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13982852 memory=140095823124096 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224587 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154224587 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154224588 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 616 0 0 0 3 0 0 0 20 0 15 0 154224590 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 154224590 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13982852 memory=140095823124096 CPUtime=0.07 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) S 2056 2056 32593 0 -1 1077944384 707 0 0 0 7 0 0 0 20 0 15 0 154224590 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257862814576 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224590 14318440448 10145 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41964 KiB
[startup+0.310675 s]*
/proc/loadavg: 2.14 2.06 1.77 4/218 2072
/proc/meminfo: memFree=25944396/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13982852 memory=47400 CPUtime=0.51 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 8523 0 0 0 48 3 0 0 20 0 15 0 154224585 14318440448 11850 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3495713 11850 3097 1 0 3482966 0
[pid=2058/tid=2059] ppid=2056 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 5467 0 0 0 27 2 0 0 20 0 15 0 154224585 14318440448 11850 33554432000 4194304 4196468 140722703853760 140258331977944 140258327762077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13982852 memory=7165352528105715256 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 11850 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13982852 memory=3251791941724983200 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13982852 memory=7305218370954617939 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13982852 memory=8386028099987781680 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224586 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13982852 memory=2319824995165259960 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224587 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13982852 memory=7526403520979220784 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154224587 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13982852 memory=8463010864238781061 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154224588 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13982852 memory=7160794207226718805 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 618 0 0 0 4 0 0 0 20 0 15 0 154224590 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13982852 memory=3539882222019884343 CPUtime=0.03 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 15 0 154224590 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13982852 memory=3906231158131443635 CPUtime=0.13 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) R 2056 2056 32593 0 -1 4202560 826 0 0 0 13 0 0 0 20 0 15 0 154224590 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257862812240 140258306273426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13982852 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13982852 memory=3617714981618169524 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224590 14318440448 11850 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48784 KiB
[startup+0.70085 s]
/proc/loadavg: 2.14 2.06 1.77 3/218 2072
/proc/meminfo: memFree=25931504/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13984976 memory=75868 CPUtime=1.33 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 9972 0 0 0 129 4 0 0 20 0 15 0 154224585 14320615424 18967 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3496244 18967 3189 1 0 3483478 0
[pid=2058/tid=2059] ppid=2056 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 5918 0 0 0 64 3 0 0 20 0 15 0 154224585 14320615424 18967 33554432000 4194304 4196468 140722703853760 140258331977296 140258327754033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14320615424 18967 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13984976 memory=153 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13984976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224586 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154224586 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154224587 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154224587 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154224588 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13984976 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 820 0 0 0 16 0 0 0 20 0 15 0 154224590 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13984976 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 643 0 0 0 17 0 0 0 20 0 15 0 154224590 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) S 2056 2056 32593 0 -1 1077944384 1284 0 0 0 31 0 0 0 20 0 15 0 154224590 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257862814576 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 18967 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77252 KiB
[startup+1.50088 s]
/proc/loadavg: 2.14 2.06 1.77 5/218 2072
/proc/meminfo: memFree=25905308/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154224588 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13984976 memory=7957395887041307737 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13984976 memory=280191453456048 CPUtime=1.97 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 9274 0 0 0 196 1 0 0 20 0 15 0 154224590 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13984976 memory=6655300316396806240 CPUtime=2.11 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 7788 0 0 0 210 1 0 0 20 0 15 0 154224590 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.61 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) S 2056 2056 32593 0 -1 1077944384 5319 0 0 0 60 1 0 0 20 0 15 0 154224590 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257862814576 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13984976 memory=213368 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 979 0 0 0 1 1 0 0 20 0 15 0 154224590 14320615424 53342 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 107.18 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 214752 KiB
[startup+162.301 s]
/proc/loadavg: 1.63 1.89 1.76 3/218 2082
/proc/meminfo: memFree=25480400/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13984976 memory=154608 CPUtime=167.5 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 45896 0 0 0 16730 20 0 0 20 0 15 0 154224585 14320615424 38652 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3496244 38652 3268 1 0 3483478 0
[pid=2058/tid=2059] ppid=2056 vsize=13984976 memory=154608 CPUtime=162.16 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 11927 0 0 0 16211 5 0 0 20 0 15 0 154224585 14320615424 38652 33554432000 4194304 4196468 140722703853760 140258331979728 140257949568818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13984976 memory=154608 CPUtime=0.06 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 483 0 0 0 5 1 0 0 20 0 15 0 154224586 14320615424 38652 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13984976 memory=140095726981672 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1272 0 0 0 4 1 0 0 20 0 15 0 154224586 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13984976 memory=7375036169847007552 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 894 0 0 0 4 1 0 0 20 0 15 0 154224586 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 784 0 0 0 4 1 0 0 20 0 15 0 154224586 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 1171 0 0 0 3 1 0 0 20 0 15 0 154224587 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154224587 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154224588 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13984976 memory=156660 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13984976 memory=1384 CPUtime=2.15 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 11602 0 0 0 214 1 0 0 20 0 15 0 154224590 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13984976 memory=1384 CPUtime=2.19 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 9235 0 0 0 218 1 0 0 20 0 15 0 154224590 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.62 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) S 2056 2056 32593 0 -1 1077944384 6138 0 0 0 61 1 0 0 20 0 15 0 154224590 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257862814576 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13984976 memory=154608 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1035 0 0 0 2 2 0 0 20 0 15 0 154224590 14320615424 38652 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 167.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 155992 KiB
[startup+222.301 s]
/proc/loadavg: 1.70 1.87 1.76 3/218 2164
/proc/meminfo: memFree=25881968/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13984976 memory=145384 CPUtime=227.53 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 47221 0 0 0 22732 21 0 0 20 0 15 0 154224585 14320615424 36346 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3496244 36346 3268 1 0 3483478 0
[pid=2058/tid=2059] ppid=2056 vsize=13984976 memory=147436 CPUtime=222.14 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 12505 0 0 0 22209 5 0 0 20 0 15 0 154224585 14320615424 36346 33554432000 4194304 4196468 140722703853760 140258331979808 140257949568832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13984976 memory=147436 CPUtime=0.06 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 497 0 0 0 5 1 0 0 20 0 15 0 154224586 14320615424 36346 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13984976 memory=147436 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1628 0 0 0 4 1 0 0 20 0 15 0 154224586 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 941 0 0 0 4 1 0 0 20 0 15 0 154224586 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13984976 memory=145384 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 837 0 0 0 4 1 0 0 20 0 15 0 154224586 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13984976 memory=151528 CPUtime=0.04 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 1400 0 0 0 3 1 0 0 20 0 15 0 154224587 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154224587 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13984976 memory=42724 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154224588 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13984976 memory=4140 CPUtime=2.15 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 11610 0 0 0 214 1 0 0 20 0 15 0 154224590 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13984976 memory=1384 CPUtime=2.19 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 9238 0 0 0 218 1 0 0 20 0 15 0 154224590 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13984976 memory=147436 CPUtime=0.62 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) S 2056 2056 32593 0 -1 1077944384 6142 0 0 0 61 1 0 0 20 0 15 0 154224590 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257862814576 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13984976 memory=23736 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13984976 memory=4040 CPUtime=0.05 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1068 0 0 0 2 3 0 0 20 0 15 0 154224590 14320615424 36346 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 227.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 146768 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.79 1.88 1.77 3/218 2164
/proc/meminfo: memFree=25865912/32770624 swapFree=67108860/67108860
[pid=2056] ppid=2053 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (xcsp3-exec) S 2053 2056 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154224584 9740288 346 33554432000 4194304 5098028 140728421087536 140728421085640 139694611305084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38178816 140728421090420 140728421090624 140728421090624 140728421093355 0
/proc/2056/statm: 2378 346 289 221 0 87 0
[pid=2058] ppid=2056 vsize=13984976 memory=139228 CPUtime=245.26 cores=1,3,5,7
/proc/2058/stat : 2058 (java) S 2056 2056 32593 0 -1 1077944320 47261 0 0 0 24504 22 0 0 20 0 15 0 154224585 14320615424 34807 33554432000 4194304 4196468 140722703853760 140722703836304 140258327740151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
/proc/2058/statm: 3496244 34807 3268 1 0 3483478 0
[pid=2058/tid=2059] ppid=2056 vsize=13984976 memory=2428 CPUtime=239.84 cores=1,3,5,7
/proc/2058/task/2059/stat : 2059 (java) R 2056 2056 32593 0 -1 4202560 12524 0 0 0 23979 5 0 0 20 0 15 0 154224585 14320615424 34807 33554432000 4194304 4196468 140722703853760 140258331979808 140257949569051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2060] ppid=2056 vsize=13984976 memory=928 CPUtime=0.06 cores=1,3,5,7
/proc/2058/task/2060/stat : 2060 (java) S 2056 2056 32593 0 -1 1077944384 500 0 0 0 5 1 0 0 20 0 15 0 154224586 14320615424 34807 33554432000 4194304 4196468 140722703853760 140258265340816 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2061] ppid=2056 vsize=13984976 memory=141792 CPUtime=0.06 cores=1,3,5,7
/proc/2058/task/2061/stat : 2061 (java) S 2056 2056 32593 0 -1 1077944384 1628 0 0 0 5 1 0 0 20 0 15 0 154224586 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257922652944 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2062] ppid=2056 vsize=13984976 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/2058/task/2062/stat : 2062 (java) S 2056 2056 32593 0 -1 1077944384 943 0 0 0 5 2 0 0 20 0 15 0 154224586 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257921600656 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2063] ppid=2056 vsize=13984976 memory=7788 CPUtime=0.06 cores=1,3,5,7
/proc/2058/task/2063/stat : 2063 (java) S 2056 2056 32593 0 -1 1077944384 840 0 0 0 5 1 0 0 20 0 15 0 154224586 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257920547856 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2064] ppid=2056 vsize=13984976 memory=840 CPUtime=0.04 cores=1,3,5,7
/proc/2058/task/2064/stat : 2064 (java) S 2056 2056 32593 0 -1 1077944384 1411 0 0 0 3 1 0 0 20 0 15 0 154224587 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257869129840 140258327751298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2065] ppid=2056 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2065/stat : 2065 (java) S 2056 2056 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154224587 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257868075808 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2066] ppid=2056 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2066/stat : 2066 (java) S 2056 2056 32593 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154224588 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257867023472 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2067] ppid=2056 vsize=13984976 memory=920 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2067/stat : 2067 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257865971792 140258327758747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2068] ppid=2056 vsize=13984976 memory=3832 CPUtime=2.15 cores=1,3,5,7
/proc/2058/task/2068/stat : 2068 (java) S 2056 2056 32593 0 -1 1077944384 11610 0 0 0 214 1 0 0 20 0 15 0 154224590 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257864919664 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2069] ppid=2056 vsize=13984976 memory=2548 CPUtime=2.19 cores=1,3,5,7
/proc/2058/task/2069/stat : 2069 (java) S 2056 2056 32593 0 -1 1077944384 9238 0 0 0 218 1 0 0 20 0 15 0 154224590 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257863866864 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2070] ppid=2056 vsize=13984976 memory=2548 CPUtime=0.62 cores=1,3,5,7
/proc/2058/task/2070/stat : 2070 (java) S 2056 2056 32593 0 -1 1077944384 6142 0 0 0 61 1 0 0 20 0 15 0 154224590 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257862814576 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2071] ppid=2056 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/2058/task/2071/stat : 2071 (java) S 2056 2056 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154224590 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257794190304 140258327750357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
[pid=2058/tid=2072] ppid=2056 vsize=13984976 memory=8596 CPUtime=0.06 cores=1,3,5,7
/proc/2058/task/2072/stat : 2072 (java) S 2056 2056 32593 0 -1 1077944384 1070 0 0 0 3 3 0 0 20 0 15 0 154224590 14320615424 34807 33554432000 4194304 4196468 140722703853760 140257793137072 140258327751298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9543680 140722703856797 140722703856972 140722703856972 140722703859663 0
Current children cumulated CPU time: 245.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 140612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 2056 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.0017 s, system=0.00062 s
[startup+240.022 s]
# the end of solver process 2058 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.052 s, system=0.233768 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.022
CPU time (s): 245.286
CPU user time (s): 245.052
CPU system time (s): 0.233768
CPU usage (%): 102.193
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 224924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.052
system time used= 0.233768
maximum resident set size= 224048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8833
involuntary context switches= 130
# summary of solver processes directly reported to runsolver:
# pid: 2056,2058
# total CPU time (s): 245.286
# total CPU user time (s): 245.052
# total CPU system time (s): 0.233768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44624 second user time and 2.28965 second system time
The end