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 (10822 MiB free)
memory of node 1: 16384 MiB (3409 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306555-1534122709/watcher-4306555-1534122709 -o /tmp/evaluation-result-4306555-1534122709/solver-4306555-1534122709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4444 --watchdog 2580 HOME/xcsp3-exec -seed 173060897 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306555-1534122709.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7850, runsolver pid=7847
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.69 1.73 1.76 3/218 7866
/proc/meminfo: memFree=14556928/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14082940 memory=28716 CPUtime=0.12 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 5618 0 0 0 11 1 0 0 20 0 15 0 229834090 14420930560 7179 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3520735 7179 2992 1 0 3483012 0
[pid=7852/tid=7853] ppid=7850 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) R 7850 7850 4413 0 -1 4202560 3622 0 0 0 8 0 0 0 20 0 15 0 229834091 14420930560 7244 33554432000 4194304 4196468 140735288216432 140661069378032 140660665618696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14082940 memory=3472468065004504272 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229834093 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229834093 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660538041888 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229834094 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) R 7850 7850 4413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0.01 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) R 7850 7850 4413 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 229834096 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660532779120 140661044280644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 7244 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30168 KiB
[startup+0.210737 s]*
/proc/loadavg: 1.69 1.73 1.76 4/218 7866
/proc/meminfo: memFree=14546276/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14082940 memory=40964 CPUtime=0.34 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 8314 0 0 0 33 1 0 0 20 0 15 0 229834090 14420930560 10241 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3520735 10241 3190 1 0 3483012 0
[pid=7852/tid=7853] ppid=7850 vsize=14082940 memory=4788064525053108374 CPUtime=0.2 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) R 7850 7850 4413 0 -1 4202560 5457 0 0 0 19 1 0 0 20 0 15 0 229834091 14420930560 10241 33554432000 4194304 4196468 140735288216432 140661069380640 140661049226590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14082940 memory=3472468065004504272 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229834092 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229834093 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229834093 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660538041888 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229834094 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 229834096 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 229834096 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0.08 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) S 7850 7850 4413 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 229834096 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660532779120 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14082940 memory=139936109352576 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834096 14420930560 10305 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42416 KiB
[startup+0.310702 s]*
/proc/loadavg: 1.69 1.73 1.76 4/218 7866
/proc/meminfo: memFree=14539700/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14087196 memory=48024 CPUtime=0.53 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 9215 0 0 0 50 3 0 0 20 0 15 0 229834090 14425288704 12006 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3521799 12006 3262 1 0 3483012 0
[pid=7852/tid=7853] ppid=7850 vsize=14087196 memory=4788064525187063192 CPUtime=0.29 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) R 7850 7850 4413 0 -1 4202560 6178 0 0 0 27 2 0 0 20 0 15 0 229834091 14425288704 12071 33554432000 4194304 4196468 140735288216432 140661069379888 140661065168029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14087196 memory=3472468232337032880 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14087196 memory=139936109352579 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14087196 memory=100 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14087196 memory=139936007313151 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229834092 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14087196 memory=279872014651680 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229834093 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14087196 memory=139936007313167 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229834093 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660538041888 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14087196 memory=279872116546568 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229834094 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14087196 memory=139936007336223 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 15 0 229834096 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14087196 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 518 0 0 0 5 0 0 0 20 0 15 0 229834096 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) S 7850 7850 4413 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 229834096 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660532779120 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834096 14425288704 12071 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49476 KiB
[startup+0.700928 s]
/proc/loadavg: 1.69 1.73 1.76 6/218 7866
/proc/meminfo: memFree=14514752/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14089320 memory=88612 CPUtime=1.81 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 13319 0 0 0 177 4 0 0 20 0 15 0 229834090 14427463680 22153 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3522330 22153 3352 1 0 3483524 0
[pid=7852/tid=7853] ppid=7850 vsize=14089320 memory=6154820267226784105 CPUtime=0.67 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) S 7850 7850 4413 0 -1 1077944384 7049 0 0 0 64 3 0 0 20 0 15 0 229834091 14427463680 22153 33554432000 4194304 4196468 140735288216432 140661069381408 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14089320 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14089320 memory=7228928657758113879 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14089320 memory=7747766295893256779 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834092 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14089320 memory=3054156605267021953 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229834092 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14089320 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229834093 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229834093 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660538041888 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229834094 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14089320 memory=62452 CPUtime=0.32 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) R 7850 7850 4413 0 -1 4202560 1322 0 0 0 32 0 0 0 20 0 15 0 229834096 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660534866080 140661045036256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14089320 memory=2056 CPUtime=0.39 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 1470 0 0 0 39 0 0 0 20 0 15 0 229834096 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14089320 memory=932 CPUtime=0.41 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) R 7850 7850 4413 0 -1 1077944384 2170 0 0 0 41 0 0 0 20 0 15 0 229834096 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660532774464 140661065156309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14089320 memory=7380063209972523600 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14089320 memory=8025788831307884116 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229834096 14427463680 22153 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90064 KiB
[startup+1.50081 s]
/proc/loadavg: 1.69 1.73 1.76 3/218 7866
/proc/meminfo: memFree=14461776/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229834094 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14091368 memory=1452 CPUtime=4.25 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 21418 0 0 0 423 2 0 0 20 0 15 0 229834096 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14091368 memory=1452 CPUtime=4.08 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 20416 0 0 0 406 2 0 0 20 0 15 0 229834096 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14091368 memory=33 CPUtime=0.92 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) S 7850 7850 4413 0 -1 1077944384 13389 0 0 0 89 3 0 0 20 0 15 0 229834096 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660532779120 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14091368 memory=171900 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14091368 memory=1452 CPUtime=0.73 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 737 0 0 0 33 40 0 0 20 0 15 0 229834096 14429560832 42975 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 2392.62 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 173352 KiB
[startup+2442.3 s]
/proc/loadavg: 1.95 2.00 2.00 3/217 8139
/proc/meminfo: memFree=17351844/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14091368 memory=173948 CPUtime=2452.66 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 100951 0 0 0 245206 60 0 0 20 0 15 0 229834090 14429560832 43487 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3522842 43487 3423 1 0 3484036 0
[pid=7852/tid=7853] ppid=7850 vsize=14091368 memory=173948 CPUtime=2441.69 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) R 7850 7850 4413 0 -1 4202560 23802 0 0 0 244161 8 0 0 20 0 15 0 229834091 14429560832 43487 33554432000 4194304 4196468 140735288216432 140661069384912 140660672473623 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 3620 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 2889 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.17 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 4231 0 0 0 15 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 3922 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14091368 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 4891 0 0 0 12 4 0 0 20 0 15 0 229834093 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14091368 memory=139936008029840 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 229834093 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660538041952 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229834094 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14091368 memory=173948 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14091368 memory=3884 CPUtime=4.25 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 21420 0 0 0 423 2 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14091368 memory=8112282956445269571 CPUtime=4.09 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 20652 0 0 0 407 2 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14091368 memory=2656 CPUtime=0.92 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) S 7850 7850 4413 0 -1 1077944384 13391 0 0 0 89 3 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660532779120 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14091368 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 758 0 0 0 33 41 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 2452.66 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 175400 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/217 8140
/proc/meminfo: memFree=17287988/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14091368 memory=173948 CPUtime=2512.7 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 101026 0 0 0 251209 61 0 0 20 0 15 0 229834090 14429560832 43487 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3522842 43487 3423 1 0 3484036 0
[pid=7852/tid=7853] ppid=7850 vsize=14091368 memory=173948 CPUtime=2501.68 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) R 7850 7850 4413 0 -1 4202560 23868 0 0 0 250160 8 0 0 20 0 15 0 229834091 14429560832 43487 33554432000 4194304 4196468 140735288216432 140661069385744 140660672962365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 3620 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.19 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 2889 0 0 0 17 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14091368 memory=1452 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 4232 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 3922 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.17 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 4895 0 0 0 13 4 0 0 20 0 15 0 229834093 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14091368 memory=173948 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 229834093 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660538041952 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229834094 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14091368 memory=173948 CPUtime=4.25 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 21420 0 0 0 423 2 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14091368 memory=1452 CPUtime=4.09 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 20652 0 0 0 407 2 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14091368 memory=2056 CPUtime=0.92 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) S 7850 7850 4413 0 -1 1077944384 13391 0 0 0 89 3 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660532779120 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14091368 memory=932 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14091368 memory=173948 CPUtime=0.76 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 762 0 0 0 34 42 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 2512.7 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 175400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.6 s]
/proc/loadavg: 1.98 2.00 2.00 3/217 8140
/proc/meminfo: memFree=17277748/32770624 swapFree=67108796/67108860
[pid=7850] ppid=7847 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (xcsp3-exec) S 7847 7850 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229834090 115843072 363 33554432000 4194304 5098028 140736330369984 140736330368088 139737755685500 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140736330372155 140736330372356 140736330372356 140736330375114 0
/proc/7850/statm: 28282 363 306 221 0 87 0
[pid=7852] ppid=7850 vsize=14091368 memory=173948 CPUtime=2520.01 cores=0,2,4,6
/proc/7852/stat : 7852 (java) S 7850 7850 4413 0 -1 1077944320 101028 0 0 0 251940 61 0 0 20 0 15 0 229834090 14429560832 43487 33554432000 4194304 4196468 140735288216432 140735288198976 140661065146103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
/proc/7852/statm: 3522842 43487 3423 1 0 3484036 0
[pid=7852/tid=7853] ppid=7850 vsize=14091368 memory=496 CPUtime=2508.98 cores=0,2,4,6
/proc/7852/task/7853/stat : 7853 (java) R 7850 7850 4413 0 -1 4202560 23870 0 0 0 250889 9 0 0 20 0 15 0 229834091 14429560832 43487 33554432000 4194304 4196468 140735288216432 140661069385504 140660672472045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7854] ppid=7850 vsize=14091368 memory=1600 CPUtime=0.19 cores=0,2,4,6
/proc/7852/task/7854/stat : 7854 (java) S 7850 7850 4413 0 -1 1077944384 3620 0 0 0 17 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660995234448 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7855] ppid=7850 vsize=14091368 memory=932 CPUtime=0.19 cores=0,2,4,6
/proc/7852/task/7855/stat : 7855 (java) S 7850 7850 4413 0 -1 1077944384 2889 0 0 0 17 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660994181648 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7856] ppid=7850 vsize=14091368 memory=2056 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7856/stat : 7856 (java) S 7850 7850 4413 0 -1 1077944384 4232 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660993128848 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7857] ppid=7850 vsize=14091368 memory=932 CPUtime=0.18 cores=0,2,4,6
/proc/7852/task/7857/stat : 7857 (java) S 7850 7850 4413 0 -1 1077944384 3922 0 0 0 16 2 0 0 20 0 15 0 229834092 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660992076048 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7858] ppid=7850 vsize=14091368 memory=1728 CPUtime=0.17 cores=0,2,4,6
/proc/7852/task/7858/stat : 7858 (java) S 7850 7850 4413 0 -1 1077944384 4895 0 0 0 13 4 0 0 20 0 15 0 229834093 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660539095920 140661065157250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7859] ppid=7850 vsize=14091368 memory=820 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7859/stat : 7859 (java) S 7850 7850 4413 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 229834093 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660538041952 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7860] ppid=7850 vsize=14091368 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7860/stat : 7860 (java) S 7850 7850 4413 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229834094 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660536989040 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7861] ppid=7850 vsize=14091368 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7861/stat : 7861 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660535937360 140661065164699 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7862] ppid=7850 vsize=14091368 memory=3164 CPUtime=4.25 cores=0,2,4,6
/proc/7852/task/7862/stat : 7862 (java) S 7850 7850 4413 0 -1 1077944384 21420 0 0 0 423 2 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660534884720 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7863] ppid=7850 vsize=14091368 memory=1244 CPUtime=4.09 cores=0,2,4,6
/proc/7852/task/7863/stat : 7863 (java) S 7850 7850 4413 0 -1 1077944384 20652 0 0 0 407 2 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660533831920 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7864] ppid=7850 vsize=14091368 memory=1060 CPUtime=0.92 cores=0,2,4,6
/proc/7852/task/7864/stat : 7864 (java) S 7850 7850 4413 0 -1 1077944384 13391 0 0 0 89 3 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660532779120 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7865] ppid=7850 vsize=14091368 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/7852/task/7865/stat : 7865 (java) S 7850 7850 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660531726560 140661065156309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
[pid=7852/tid=7866] ppid=7850 vsize=14091368 memory=5656 CPUtime=0.76 cores=0,2,4,6
/proc/7852/task/7866/stat : 7866 (java) S 7850 7850 4413 0 -1 1077944384 762 0 0 0 34 42 0 0 20 0 15 0 229834096 14429560832 43487 33554432000 4194304 4196468 140735288216432 140660530674864 140661065157250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 17424384 140735288218758 140735288218929 140735288218929 140735288221647 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 175400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.61 s]
# the end of solver process 7850 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001052 s, system=0.001052 s
[startup+2509.61 s]
# the end of solver process 7852 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.41 s, system=0.621114 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): 2509.61
CPU time (s): 2520.03
CPU user time (s): 2519.41
CPU system time (s): 0.621114
CPU usage (%): 100.415
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 255624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.621114
maximum resident set size= 254172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60311
involuntary context switches= 2499
# summary of solver processes directly reported to runsolver:
# pid: 7850,7852
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.41
# total CPU system time (s): 0.621114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1339 second user time and 23.0446 second system time
The end