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 (12851 MiB free)
memory of node 1: 16384 MiB (12918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282910-1503211254/watcher-4282910-1503211254 -o /tmp/evaluation-result-4282910-1503211254/solver-4282910-1503211254 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21036 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1677038223 HOME/instance-4282910-1503211254.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=22576, runsolver pid=22573
[startup+0.100137 s]*
/proc/loadavg: 1.35 1.59 1.54 3/211 22586
/proc/meminfo: memFree=26378632/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13578728 memory=18676 CPUtime=0.04 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 3950 0 0 0 3 1 0 0 20 0 9 0 154213334 13904617472 4669 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3394682 4669 2164 1 0 3383120 0
[pid=22578/tid=22579] ppid=22576 vsize=13578728 memory=8514701219881254564 CPUtime=0.03 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 2653 0 0 0 3 0 0 0 20 0 9 0 154213335 13904617472 4669 33554432000 4194304 4196468 140735258245456 139743653265272 139743628673936 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13578728 memory=3472468084510848208 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 154213336 13904617472 4669 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13578728 memory=139955615696512 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 154213336 13904617472 4669 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13578728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 154213336 13904617472 4669 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13578728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 154213336 13904617472 4669 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13578728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 154213337 13904617472 4669 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13578728 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 154213337 13904617472 4669 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13578728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 154213338 13904617472 4669 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13588240 KiB
Current children cumulated memory: 20060 KiB
[startup+0.212455 s]*
/proc/loadavg: 1.35 1.59 1.54 4/217 22592
/proc/meminfo: memFree=26368364/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13978596 memory=31640 CPUtime=0.21 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 6355 0 0 0 20 1 0 0 20 0 15 0 154213334 14314082304 7910 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3494649 7910 2992 1 0 3482966 0
[pid=22578/tid=22579] ppid=22576 vsize=13978596 memory=5854525174214068640 CPUtime=0.13 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 3545 0 0 0 12 1 0 0 20 0 15 0 154213335 14314082304 7910 33554432000 4194304 4196468 140735258245456 139743653268624 139743649051805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13978596 memory=3472468084510848208 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14314082304 7910 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13978596 memory=139955615696512 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14314082304 7910 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14314082304 7910 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14314082304 7910 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213337 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213337 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213338 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13978596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) S 22576 22576 21004 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 15 0 154213340 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742557153904 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13978596 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) S 22576 22576 21004 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 154213340 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742556101104 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13978596 memory=139955615696512 CPUtime=0.05 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) R 22576 22576 21004 0 -1 4202560 722 0 0 0 5 0 0 0 20 0 15 0 154213340 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742555048816 139743649051226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13978596 memory=139955615696512 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213342 14314082304 7910 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 33024 KiB
[startup+0.310316 s]*
/proc/loadavg: 1.35 1.59 1.54 3/217 22592
/proc/meminfo: memFree=26357756/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13982852 memory=42984 CPUtime=0.37 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 8444 0 0 0 35 2 0 0 20 0 15 0 154213334 14318440448 10746 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3495713 10746 3045 1 0 3482966 0
[pid=22578/tid=22579] ppid=22576 vsize=13982852 memory=6791534058613427641 CPUtime=0.23 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 5496 0 0 0 21 2 0 0 20 0 15 0 154213335 14318440448 10746 33554432000 4194304 4196468 140735258245456 139743653246032 139743649051805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13982852 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14318440448 10746 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14318440448 10746 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14318440448 10746 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14318440448 10746 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213337 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213337 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213338 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) S 22576 22576 21004 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 154213340 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742557153904 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) S 22576 22576 21004 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 154213340 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742556101104 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13982852 memory=139955615696512 CPUtime=0.08 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) R 22576 22576 21004 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 15 0 154213340 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742555048816 139743627434305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13982852 memory=139955615696512 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213342 14318440448 10746 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 44368 KiB
[startup+0.701773 s]
/proc/loadavg: 1.35 1.59 1.54 5/217 22592
/proc/meminfo: memFree=26345776/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13984976 memory=77140 CPUtime=1.42 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 11889 0 0 0 138 4 0 0 20 0 15 0 154213334 14320615424 19285 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3496244 19285 3200 1 0 3483478 0
[pid=22578/tid=22579] ppid=22576 vsize=13984976 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 6656 0 0 0 58 2 0 0 20 0 15 0 154213335 14320615424 19285 33554432000 4194304 4196468 140735258245456 139743653269872 139743649051226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 19285 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13984976 memory=61 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 19285 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 19285 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13984976 memory=1 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 19285 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13984976 memory=7163085330834273590 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154213337 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13984976 memory=5787798870328301670 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213337 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213338 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13984976 memory=4580 CPUtime=0.23 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) R 22576 22576 21004 0 -1 4202560 1292 0 0 0 23 0 0 0 20 0 15 0 154213340 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742557153824 139743630549402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13984976 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) R 22576 22576 21004 0 -1 4202560 964 0 0 0 23 0 0 0 20 0 15 0 154213340 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742556101104 139743630440029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13984976 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) R 22576 22576 21004 0 -1 4202560 1669 0 0 0 32 0 0 0 20 0 15 0 154213340 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742555048816 139743649041814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213342 14320615424 19285 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78524 KiB
[startup+1.50083 s]
/proc/loadavg: 1.35 1.59 1.54 6/217 22592
/proc/meminfo: memFree=26298504/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13984976 memory=107480 CPUtime=3.27 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 16841 0 0 0 322 5 0 0 20 0 15 0 154213334 14320615424 26870 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3496244 26870 3208 1 0 3483478 0
[pid=22578/tid=22579] ppid=22576 vsize=13984976 memory=164 CPUtime=1.4 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 6987 0 0 0 137 3 0 0 20 0 15 0 154213335 14320615424 26870 33554432000 4194304 4196468 140735258245456 139743653265904 139743289369462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 26870 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 26870 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13984976 memory=96604 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213336 14320615424 26870 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13984976 memory=4580 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154213338 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13984976 memory=1384 CPUtime=1.47 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) S 22576 22576 21004 0 -1 1077944384 8473 0 0 0 146 1 0 0 20 0 15 0 154213340 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742557153904 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13984976 memory=279910938189616 CPUtime=1.97 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) S 22576 22576 21004 0 -1 1077944384 13186 0 0 0 195 2 0 0 20 0 15 0 154213340 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742556101104 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13984976 memory=604431752327292718 CPUtime=0.49 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) S 22576 22576 21004 0 -1 1077944384 6295 0 0 0 48 1 0 0 20 0 15 0 154213340 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742555048816 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13984976 memory=42840 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 794 0 0 0 0 1 0 0 20 0 15 0 154213342 14320615424 53381 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 106.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 214908 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.77 1.62 3/217 22673
/proc/meminfo: memFree=25017544/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13984976 memory=238008 CPUtime=166.27 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 45014 0 0 0 16614 13 0 0 20 0 15 0 154213334 14320615424 59502 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3496244 59502 3254 1 0 3483478 0
[pid=22578/tid=22579] ppid=22576 vsize=13984976 memory=223896 CPUtime=162.16 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 11041 0 0 0 16212 4 0 0 20 0 15 0 154213335 14320615424 59502 33554432000 4194304 4196468 140735258245456 139743653268576 139743289368177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13984976 memory=223896 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 773 0 0 0 1 0 0 0 20 0 15 0 154213336 14320615424 59502 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13984976 memory=223896 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 636 0 0 0 1 0 0 0 20 0 15 0 154213336 14320615424 59502 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13984976 memory=231892 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 644 0 0 0 1 0 0 0 20 0 15 0 154213336 14320615424 59502 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13984976 memory=231892 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 15 0 154213336 14320615424 59502 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 872 0 0 0 0 0 0 0 20 0 15 0 154213337 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13984976 memory=238008 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154213337 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154213338 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13984976 memory=231892 CPUtime=1.48 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) S 22576 22576 21004 0 -1 1077944384 8868 0 0 0 147 1 0 0 20 0 15 0 154213340 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742557153904 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13984976 memory=231892 CPUtime=1.97 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) S 22576 22576 21004 0 -1 1077944384 13347 0 0 0 195 2 0 0 20 0 15 0 154213340 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742556101104 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13984976 memory=1384 CPUtime=0.49 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) S 22576 22576 21004 0 -1 1077944384 6464 0 0 0 48 1 0 0 20 0 15 0 154213340 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742555048816 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13984976 memory=288230621803970871 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 821 0 0 0 1 1 0 0 20 0 15 0 154213342 14320615424 59502 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 166.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 239392 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.82 1.65 3/217 22681
/proc/meminfo: memFree=25010172/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13984976 memory=238060 CPUtime=226.3 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 47134 0 0 0 22617 13 0 0 20 0 15 0 154213334 14320615424 59515 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3496244 59515 3254 1 0 3483478 0
[pid=22578/tid=22579] ppid=22576 vsize=13984976 memory=238008 CPUtime=222.15 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 11627 0 0 0 22211 4 0 0 20 0 15 0 154213335 14320615424 59515 33554432000 4194304 4196468 140735258245456 139743653268528 139743289783650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13984976 memory=238060 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 831 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 59515 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 893 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 59515 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13984976 memory=238060 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 681 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 59515 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13984976 memory=238060 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 59515 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 1064 0 0 0 1 0 0 0 20 0 15 0 154213337 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13984976 memory=238060 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154213337 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154213338 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13984976 memory=1384 CPUtime=1.48 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) S 22576 22576 21004 0 -1 1077944384 8871 0 0 0 147 1 0 0 20 0 15 0 154213340 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742557153904 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13984976 memory=4140 CPUtime=1.97 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) S 22576 22576 21004 0 -1 1077944384 13356 0 0 0 195 2 0 0 20 0 15 0 154213340 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742556101104 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13984976 memory=42848 CPUtime=0.5 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) S 22576 22576 21004 0 -1 1077944384 7033 0 0 0 49 1 0 0 20 0 15 0 154213340 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742555048816 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13984976 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 851 0 0 0 2 2 0 0 20 0 15 0 154213342 14320615424 59515 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 226.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 239444 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.82 1.65 3/217 22681
/proc/meminfo: memFree=24984664/32770624 swapFree=67108860/67108860
[pid=22576] ppid=22573 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (xcsp3-exec) S 22573 22576 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154213329 9740288 346 33554432000 4194304 5098028 140735947634928 140735947633032 140379244069500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19640320 140735947641972 140735947642176 140735947642176 140735947644907 0
/proc/22576/statm: 2378 346 289 221 0 87 0
[pid=22578] ppid=22576 vsize=13984976 memory=228292 CPUtime=244.02 cores=1,3,5,7
/proc/22578/stat : 22578 (java) S 22576 22576 21004 0 -1 1077944320 47159 0 0 0 24389 13 0 0 20 0 15 0 154213334 14320615424 57073 33554432000 4194304 4196468 140735258245456 140735258228000 139743649029879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
/proc/22578/statm: 3496244 57073 3254 1 0 3483478 0
[pid=22578/tid=22579] ppid=22576 vsize=13984976 memory=6791534058613427641 CPUtime=239.85 cores=1,3,5,7
/proc/22578/task/22579/stat : 22579 (java) R 22576 22576 21004 0 -1 4202560 11646 0 0 0 23981 4 0 0 20 0 15 0 154213335 14320615424 57073 33554432000 4194304 4196468 140735258245456 139743653268496 139743289274442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22580] ppid=22576 vsize=13984976 memory=-7003737579269690708 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22580/stat : 22580 (java) S 22576 22576 21004 0 -1 1077944384 832 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 57073 33554432000 4194304 4196468 140735258245456 139743607790480 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22581] ppid=22576 vsize=13984976 memory=15876 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22581/stat : 22581 (java) S 22576 22576 21004 0 -1 1077944384 894 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 57073 33554432000 4194304 4196468 140735258245456 139743243614992 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22582] ppid=22576 vsize=13984976 memory=18448 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22582/stat : 22582 (java) S 22576 22576 21004 0 -1 1077944384 681 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 57073 33554432000 4194304 4196468 140735258245456 139743242562704 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22583] ppid=22576 vsize=13984976 memory=23984 CPUtime=0.02 cores=1,3,5,7
/proc/22578/task/22583/stat : 22583 (java) S 22576 22576 21004 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 15 0 154213336 14320615424 57073 33554432000 4194304 4196468 140735258245456 139743241509904 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22584] ppid=22576 vsize=13984976 memory=4044 CPUtime=0.01 cores=1,3,5,7
/proc/22578/task/22584/stat : 22584 (java) S 22576 22576 21004 0 -1 1077944384 1067 0 0 0 1 0 0 0 20 0 15 0 154213337 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742561364080 139743649041026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22585] ppid=22576 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22585/stat : 22585 (java) S 22576 22576 21004 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154213337 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742560310048 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22586] ppid=22576 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22586/stat : 22586 (java) S 22576 22576 21004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154213338 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742559257712 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22587] ppid=22576 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22587/stat : 22587 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742558206032 139743649048475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22588] ppid=22576 vsize=13984976 memory=228292 CPUtime=1.48 cores=1,3,5,7
/proc/22578/task/22588/stat : 22588 (java) S 22576 22576 21004 0 -1 1077944384 8871 0 0 0 147 1 0 0 20 0 15 0 154213340 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742557153904 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22589] ppid=22576 vsize=13984976 memory=1292 CPUtime=1.97 cores=1,3,5,7
/proc/22578/task/22589/stat : 22589 (java) S 22576 22576 21004 0 -1 1077944384 13356 0 0 0 195 2 0 0 20 0 15 0 154213340 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742556101104 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22590] ppid=22576 vsize=13984976 memory=2428 CPUtime=0.5 cores=1,3,5,7
/proc/22578/task/22590/stat : 22590 (java) S 22576 22576 21004 0 -1 1077944384 7033 0 0 0 49 1 0 0 20 0 15 0 154213340 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742555048816 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22591] ppid=22576 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/22578/task/22591/stat : 22591 (java) S 22576 22576 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213340 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742553996256 139743649040085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
[pid=22578/tid=22592] ppid=22576 vsize=13984976 memory=1420 CPUtime=0.04 cores=1,3,5,7
/proc/22578/task/22592/stat : 22592 (java) S 22576 22576 21004 0 -1 1077944384 851 0 0 0 2 2 0 0 20 0 15 0 154213342 14320615424 57073 33554432000 4194304 4196468 140735258245456 139742552943024 139743649041026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34664448 140735258252445 140735258252620 140735258252620 140735258255311 0
Current children cumulated CPU time: 244.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 22576 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001934 s, system=0 s
[startup+240.021 s]
# the end of solver process 22578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.908 s, system=0.142057 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.021
CPU time (s): 244.05
CPU user time (s): 243.908
CPU system time (s): 0.142057
CPU usage (%): 101.679
Max. virtual memory (cumulated for all children) (KiB): 13996484
Max. memory (cumulated for all children) (KiB): 239444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.908
system time used= 0.142057
maximum resident set size= 238060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7776
involuntary context switches= 131
# summary of solver processes directly reported to runsolver:
# pid: 22576,22578
# total CPU time (s): 244.05
# total CPU user time (s): 243.908
# total CPU system time (s): 0.142057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28809 second user time and 2.2887 second system time
The end