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 (10707 MiB free)
memory of node 1: 16384 MiB (14089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302053-1532887892/watcher-4302053-1532887892 -o /tmp/evaluation-result-4302053-1532887892/solver-4302053-1532887892 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 591982480 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302053-1532887892.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10653, runsolver pid=10650
[startup+0.100156 s]*
/proc/loadavg: 1.54 1.76 1.94 4/217 10669
/proc/meminfo: memFree=25374748/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14082940 memory=28840 CPUtime=0.12 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 5505 0 0 0 10 2 0 0 20 0 15 0 106352052 14420930560 7210 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3520735 7210 3057 1 0 3483012 0
[pid=10655/tid=10656] ppid=10653 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) R 10653 10653 6529 0 -1 4202560 3502 0 0 0 8 1 0 0 20 0 15 0 106352053 14420930560 7210 33554432000 4194304 4196468 140730586812080 140203155453008 140203151248790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14420930560 7210 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14082940 memory=139866758014592 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14420930560 7210 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14420930560 7210 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352054 14420930560 7210 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14082940 memory=139866758014592 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352055 14420930560 7210 33554432000 4194304 4196468 140730586812080 140202625440240 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106352055 14420930560 7210 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106352056 14420930560 7210 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10664] ppid=10653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14420930560 7210 33554432000 4194304 4196468 140730586812080 140202622282448 140203151255451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10653 10653 6529 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 106352058 14420930560 7210 33554432000 4194304 4196468 140730586812080 140202621229040 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14420930560 7276 33554432000 4194304 4196468 140730586812080 140202620176496 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14082940 memory=139866758014592 CPUtime=0.01 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) R 10653 10653 6529 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 106352058 14420930560 7276 33554432000 4194304 4196468 140730586812080 140202619123952 140203130178302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14420930560 7276 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10669] ppid=10653 vsize=14082940 memory=139866758014592 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352058 14420930560 7276 33554432000 4194304 4196468 140730586812080 140202617019184 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30292 KiB
[startup+0.210613 s]*
/proc/loadavg: 1.54 1.76 1.94 4/217 10669
/proc/meminfo: memFree=25362728/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14082940 memory=41348 CPUtime=0.34 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 8355 0 0 0 31 3 0 0 20 0 15 0 106352052 14420930560 10337 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3520735 10337 3192 1 0 3483012 0
[pid=10655/tid=10656] ppid=10653 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) R 10653 10653 6529 0 -1 4202560 5454 0 0 0 18 2 0 0 20 0 15 0 106352053 14425288704 10340 33554432000 4194304 4196468 140730586812080 140203155457848 140203135317342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14087196 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 10340 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14087196 memory=3834170105142535840 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 10340 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 10340 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14087196 memory=139866758014592 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106352055 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202625440240 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106352055 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106352056 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10664] ppid=10653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202622282448 140203151255451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10653 10653 6529 0 -1 1077944384 748 0 0 0 2 0 0 0 20 0 15 0 106352058 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202621229040 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10653 10653 6529 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 106352058 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202620176496 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14087196 memory=139866758014592 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10653 10653 6529 0 -1 1077944384 769 0 0 0 8 0 0 0 20 0 15 0 106352058 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202619123952 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10669] ppid=10653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352058 14425288704 10340 33554432000 4194304 4196468 140730586812080 140202617019184 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42800 KiB
[startup+0.31033 s]*
/proc/loadavg: 1.54 1.76 1.94 4/217 10669
/proc/meminfo: memFree=25356276/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14087196 memory=48616 CPUtime=0.53 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 9276 0 0 0 49 4 0 0 20 0 15 0 106352052 14425288704 12154 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3521799 12154 3254 1 0 3483012 0
[pid=10655/tid=10656] ppid=10653 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) R 10653 10653 6529 0 -1 4202560 6155 0 0 0 27 3 0 0 20 0 15 0 106352053 14425288704 12154 33554432000 4194304 4196468 140730586812080 140203155474144 140203151258781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 12154 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 12154 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 12154 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352054 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106352055 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202625440240 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106352055 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106352056 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10664] ppid=10653 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202622282448 140203151255451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10653 10653 6529 0 -1 1077944384 862 0 0 0 5 0 0 0 20 0 15 0 106352058 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202621229040 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10653 10653 6529 0 -1 1077944384 116 0 0 0 4 0 0 0 20 0 15 0 106352058 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202620176496 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10653 10653 6529 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 106352058 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202619123952 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10669] ppid=10653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352058 14425288704 12154 33554432000 4194304 4196468 140730586812080 140202617019184 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 50068 KiB
[startup+0.706225 s]
/proc/loadavg: 1.54 1.76 1.94 5/217 10669
/proc/meminfo: memFree=25344864/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14089320 memory=80584 CPUtime=1.63 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 15948 0 0 0 158 5 0 0 20 0 15 0 106352052 14427463680 20146 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3522330 20146 3361 1 0 3483524 0
[pid=10655/tid=10656] ppid=10653 vsize=14089320 memory=30408 CPUtime=0.67 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) R 10653 10653 6529 0 -1 4202560 6835 0 0 0 64 3 0 0 20 0 15 0 106352053 14427463680 20146 33554432000 4194304 4196468 140730586812080 140203155472576 140202784425085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 20146 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 20146 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 20146 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106352055 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202625440240 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106352055 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106352056 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10664] ppid=10653 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202622282448 140203151255451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14089320 memory=8556 CPUtime=0.35 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) R 10653 10653 6529 0 -1 4202560 3721 0 0 0 35 0 0 0 20 0 15 0 106352058 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202621215112 140203129090384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14089320 memory=1444 CPUtime=0.33 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) R 10653 10653 6529 0 -1 4202560 2748 0 0 0 33 0 0 0 20 0 15 0 106352058 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202620165720 140203134737238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14089320 memory=5668 CPUtime=0.24 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10653 10653 6529 0 -1 1077944384 1336 0 0 0 24 0 0 0 20 0 15 0 106352058 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202619123952 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10669] ppid=10653 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 20146 33554432000 4194304 4196468 140730586812080 140202617019184 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 82036 KiB
[startup+1.5009 s]
/proc/loadavg: 1.54 1.76 1.94 5/217 10669
/proc/meminfo: memFree=25297476/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14089320 memory=118092 CPUtime=4.04 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 39272 0 0 0 396 8 0 0 20 0 15 0 106352052 14427463680 29523 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3522330 29523 3362 1 0 3483524 0
[pid=10655/tid=10656] ppid=10653 vsize=14089320 memory=288230583166042425 CPUtime=1.47 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) R 10653 10653 6529 0 -1 4202560 7242 0 0 0 144 3 0 0 20 0 15 0 106352053 14427463680 29523 33554432000 4194304 4196468 140730586812080 140203155473752 140202784895431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14089320 memory=16104758104558012 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 29523 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 29523 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 29523 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14089320 memory=7235147599057021267 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106352055 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202625440240 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14089320 memory=8463010635195834474 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106352055 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106352056 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10664] ppid=10653 vsize=14089320 memory=76516 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202622282448 140203151255451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14089320 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) R 10653 10653 6529 0 -1 4202560 13168 0 0 0 113 2 0 0 20 0 15 0 106352058 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202621214000 140203129253867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14089320 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) R 10653 10653 6529 0 -1 4202560 15413 0 0 0 112 1 0 0 20 0 15 0 106352058 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202620165088 140203132781413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14089320 memory=6943526294502006880 CPUtime=0.27 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10653 10653 6529 0 -1 1077944384 2139 0 0 0 27 0 0 0 20 0 15 0 106352058 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202619123952 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10669] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 29523 33554432000 4194304 4196468 140730586812080 140202617019184 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 119544 KiB
[startup+2.02119 s]
# the end of solver process 10653 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.47516 s, system=0.093509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60105 s]
/proc/loadavg: 1.54 1.76 1.94 5/217 10669
/proc/meminfo: memFree=25297476/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14089320 memory=120140 CPUtime=4.35 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 39366 0 0 0 427 8 0 0 20 0 15 0 106352052 14427463680 30035 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3522330 30035 3362 1 0 3483524 0
[pid=10655/tid=10656] ppid=10653 vsize=14089320 memory=279733233331440 CPUtime=1.57 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) R 10653 10653 6529 0 -1 4202560 7244 0 0 0 154 3 0 0 20 0 15 0 106352053 14427463680 30035 33554432000 4194304 4196468 140730586812080 140203155474160 140203132643130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 30035 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 30035 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 30035 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106352054 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 106352055 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202625440240 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106352055 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106352056 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10664] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202622282448 140203151255451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14089320 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) R 10653 10653 6529 0 -1 4202560 13181 0 0 0 123 2 0 0 20 0 15 0 106352058 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202621214000 140203132781073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14089320 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) R 10653 10653 6529 0 -1 4202560 15469 0 0 0 122 1 0 0 20 0 15 0 106352058 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202620164256 140203132416393 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14089320 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10653 10653 6529 0 -1 1077944384 2153 0 0 0 27 0 0 0 20 0 15 0 106352058 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202619123952 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14089320 memory=279733233259008 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10669] ppid=10653 vsize=14089320 memory=12848 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106352058 14427463680 30035 33554432000 4194304 4196468 140730586812080 140202617019184 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 121592 KiB
[startup+2.00083 s]*
/proc/loadavg: 1.54 1.76 1.94 3/215 10669
/proc/meminfo: memFree=25278196/32770624 swapFree=67108688/67108860
[pid=10653] ppid=10650 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10653/stat : 10653 (xcsp3-exec) S 10650 10653 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106352052 115843072 363 33554432000 4194304 5098028 140737467035728 140737467033832 140347665580668 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11591680 140737467040833 140737467041033 140737467041033 140737467043786 0
/proc/10653/statm: 28282 363 305 221 0 87 0
[pid=10655] ppid=10653 vsize=14089320 memory=130764 CPUtime=5.55 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10653 10653 6529 0 -1 1077944320 40067 0 0 0 547 8 0 0 20 0 13 0 106352052 14427463680 32691 33554432000 4194304 4196468 140730586812080 140730586794624 140203151236855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
/proc/10655/statm: 3522330 32691 3368 1 0 3483524 0
[pid=10655/tid=10656] ppid=10653 vsize=14089320 memory=6791534058613427641 CPUtime=1.96 cores=1,3,5,7
/proc/10655/task/10656/stat : 10656 (java) S 10653 10653 6529 0 -1 1077944384 7468 0 0 0 193 3 0 0 20 0 13 0 106352053 14427463680 32691 33554432000 4194304 4196468 140730586812080 140203155479696 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10657] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106352054 14427463680 32691 33554432000 4194304 4196468 140730586812080 140203103856912 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10658] ppid=10653 vsize=14089320 memory=139866758014592 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106352054 14427463680 32691 33554432000 4194304 4196468 140730586812080 140203102804368 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10659] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10653 10653 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106352054 14427463680 32691 33554432000 4194304 4196468 140730586812080 140203101751824 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10660] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10653 10653 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 106352054 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202744146576 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10661] ppid=10653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10653 10653 6529 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 13 0 106352055 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202625440448 140203151248002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10662] ppid=10653 vsize=14089320 memory=2628519985151 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10653 10653 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 106352055 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202624386464 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10663] ppid=10653 vsize=14089320 memory=279733233983584 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10653 10653 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 106352056 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202623333872 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10665] ppid=10653 vsize=14089320 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10653 10653 6529 0 -1 1077944384 13256 0 0 0 163 2 0 0 20 0 13 0 106352058 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202621213552 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10666] ppid=10653 vsize=14089320 memory=0 CPUtime=1.62 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10653 10653 6529 0 -1 1077944384 15543 0 0 0 161 1 0 0 20 0 13 0 106352058 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202620161568 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10667] ppid=10653 vsize=14089320 memory=-1 CPUtime=0.28 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10653 10653 6529 0 -1 1077944384 2451 0 0 0 28 0 0 0 20 0 13 0 106352058 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202619123952 140203151248002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
[pid=10655/tid=10668] ppid=10653 vsize=14089320 memory=3474726572854975922 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10653 10653 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 106352058 14427463680 32691 33554432000 4194304 4196468 140730586812080 140202618071648 140203151247061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140730586817676 140730586817846 140730586817846 140730586820559 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 132216 KiB
Child status: 0
Real time (s): 2.02124
CPU time (s): 5.56867
CPU user time (s): 5.47516
CPU system time (s): 0.093509
CPU usage (%): 275.508
Max. virtual memory (cumulated for all children) (KiB): 14206536
Max. memory (cumulated for all children) (KiB): 132216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.47516
system time used= 0.093509
maximum resident set size= 131160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1451
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 10653
# total CPU time (s): 5.56867
# total CPU user time (s): 5.47516
# total CPU system time (s): 0.093509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042035 second user time and 0.06254 second system time
The end