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 (11649 MiB free)
memory of node 1: 16384 MiB (11461 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284523-1503210802/watcher-4284523-1503210802 -o /tmp/evaluation-result-4284523-1503210802/solver-4284523-1503210802 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1427102598 HOME/instance-4284523-1503210802.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13699, runsolver pid=13696
Current StackSize limit: 8192 KiB
[startup+0.10277 s]*
/proc/loadavg: 1.84 1.71 1.62 4/217 13715
/proc/meminfo: memFree=23646676/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13978596 memory=28452 CPUtime=0.12 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 5494 0 0 0 11 1 0 0 20 0 15 0 154160897 14314082304 7113 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3494649 7113 2866 1 0 3482966 0
[pid=13701/tid=13702] ppid=13699 vsize=13978596 memory=8514701219881125282 CPUtime=0.1 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) R 13699 13699 12810 0 -1 4202560 3426 0 0 0 9 1 0 0 20 0 15 0 154160897 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850732077952 139850727853462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13978596 memory=3472467777022874832 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13978596 memory=139648127723136 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160898 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160899 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160900 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160900 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 154160902 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) S 13699 13699 12810 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154160902 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850196539760 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13978596 memory=139648127723136 CPUtime=0.01 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) R 13699 13699 12810 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 154160902 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850195486704 139850706397807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13978596 memory=139648127723136 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160903 14314082304 7113 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29836 KiB
[startup+0.210664 s]*
/proc/loadavg: 1.84 1.71 1.62 3/217 13715
/proc/meminfo: memFree=23636140/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13982852 memory=40140 CPUtime=0.34 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 8120 0 0 0 32 2 0 0 20 0 15 0 154160897 14318440448 10035 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3495713 10035 3071 1 0 3482966 0
[pid=13701/tid=13702] ppid=13699 vsize=13982884 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) R 13699 13699 12810 0 -1 4202560 5341 0 0 0 18 1 0 0 20 0 15 0 154160897 14318473216 10035 33554432000 4194304 4196468 140723707123936 139850732052320 139850720521245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13982852 memory=3472467777022874832 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13982852 memory=139648127723136 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13982852 memory=139648127723136 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160899 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160900 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160900 14318473216 10035 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14318473216 10035 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 154160902 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) S 13699 13699 12810 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 154160902 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850196539760 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13982852 memory=139648127723136 CPUtime=0.08 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 695 0 0 0 8 0 0 0 20 0 15 0 154160902 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13982852 memory=139648127723136 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160903 14318440448 10035 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41524 KiB
[startup+0.310425 s]*
/proc/loadavg: 1.84 1.71 1.62 4/217 13715
/proc/meminfo: memFree=23629316/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13982852 memory=46976 CPUtime=0.5 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 8957 0 0 0 48 2 0 0 20 0 15 0 154160897 14318440448 11744 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3495713 11744 3104 1 0 3482966 0
[pid=13701/tid=13702] ppid=13699 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) R 13699 13699 12810 0 -1 4202560 5946 0 0 0 28 2 0 0 20 0 15 0 154160897 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850732064272 139850711922014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13982852 memory=3472467777022874832 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13982852 memory=139648127723136 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13982852 memory=139647976089631 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160898 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13982852 memory=279295952158496 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160899 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13982852 memory=139647976066575 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160900 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13982852 memory=279296103798880 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160900 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13982852 memory=139647976071183 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 516 0 0 0 3 0 0 0 20 0 15 0 154160902 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) R 13699 13699 12810 0 -1 4202560 370 0 0 0 4 0 0 0 20 0 15 0 154160902 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850196529872 139850707074128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 822 0 0 0 13 0 0 0 20 0 15 0 154160902 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160903 14318440448 11744 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48360 KiB
[startup+0.702211 s]
/proc/loadavg: 1.84 1.71 1.62 6/217 13715
/proc/meminfo: memFree=23615996/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13984976 memory=74052 CPUtime=1.58 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 13223 0 0 0 154 4 0 0 20 0 15 0 154160897 14320615424 18513 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3496244 18513 3206 1 0 3483478 0
[pid=13701/tid=13702] ppid=13699 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) R 13699 13699 12810 0 -1 4202560 6745 0 0 0 65 2 0 0 20 0 15 0 154160897 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850732072784 139850326982018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160898 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160898 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154160899 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13984976 memory=42928 CPUtime=0.25 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) R 13699 13699 12810 0 -1 4202560 1436 0 0 0 25 0 0 0 20 0 15 0 154160902 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850197576968 139850709384819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13984976 memory=1292 CPUtime=0.23 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) R 13699 13699 12810 0 -1 4202560 1891 0 0 0 23 0 0 0 20 0 15 0 154160902 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850196520696 139850712739282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13984976 memory=2428 CPUtime=0.39 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 1845 0 0 0 39 0 0 0 20 0 15 0 154160902 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160903 14320615424 18513 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75436 KiB
[startup+1.50083 s]
/proc/loadavg: 1.84 1.71 1.62 5/217 13715
/proc/meminfo: memFree=23569800/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13984976 memory=250244 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13984976 memory=1384 CPUtime=3.51 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 14687 0 0 0 350 1 0 0 20 0 15 0 154160902 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13984976 memory=279295952753560 CPUtime=3.74 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) S 13699 13699 12810 0 -1 1077944384 30975 0 0 0 371 3 0 0 20 0 15 0 154160902 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850196539760 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13984976 memory=576461256399351847 CPUtime=0.67 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 7835 0 0 0 66 1 0 0 20 0 15 0 154160902 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13984976 memory=19302 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13984976 memory=1200 CPUtime=0.04 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 413 0 0 0 2 2 0 0 20 0 15 0 154160903 14320615424 67234 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 111.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 270320 KiB
[startup+162.304 s]
/proc/loadavg: 1.43 1.64 1.61 3/217 13883
/proc/meminfo: memFree=23446868/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13984976 memory=411048 CPUtime=173.38 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 79019 0 0 0 17283 55 0 0 20 0 15 0 154160897 14320615424 102762 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3496244 102762 3266 1 0 3483478 0
[pid=13701/tid=13702] ppid=13699 vsize=13984976 memory=404904 CPUtime=160.85 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) S 13699 13699 12810 0 -1 1077944384 14223 0 0 0 16079 6 0 0 20 0 15 0 154160897 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850732081040 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13984976 memory=372060 CPUtime=1.06 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 1963 0 0 0 97 9 0 0 20 0 15 0 154160898 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13984976 memory=376156 CPUtime=1.06 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 1628 0 0 0 98 8 0 0 20 0 15 0 154160898 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13984976 memory=1384 CPUtime=1.06 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 1793 0 0 0 97 9 0 0 20 0 15 0 154160898 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13984976 memory=1384 CPUtime=1.07 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 1593 0 0 0 97 10 0 0 20 0 15 0 154160898 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13984976 memory=394644 CPUtime=0.16 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 1627 0 0 0 14 2 0 0 20 0 15 0 154160899 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13984976 memory=398740 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13984976 memory=404904 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13984976 memory=1384 CPUtime=3.51 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 14689 0 0 0 350 1 0 0 20 0 15 0 154160902 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13984976 memory=56 CPUtime=3.76 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) S 13699 13699 12810 0 -1 1077944384 31574 0 0 0 373 3 0 0 20 0 15 0 154160902 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850196539760 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13984976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 8144 0 0 0 66 1 0 0 20 0 15 0 154160902 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13984976 memory=404904 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 440 0 0 0 3 3 0 0 20 0 15 0 154160903 14320615424 102762 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 173.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 412432 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.70 1.63 3/217 13884
/proc/meminfo: memFree=23426372/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13984976 memory=305860 CPUtime=234.86 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 89067 0 0 0 23414 72 0 0 20 0 15 0 154160897 14320615424 76465 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3496244 76465 3281 1 0 3483478 0
[pid=13701/tid=13702] ppid=13699 vsize=13984976 memory=1384 CPUtime=220.26 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) R 13699 13699 12810 0 -1 4202560 16195 0 0 0 22019 7 0 0 20 0 15 0 154160897 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850732080288 139850329354284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13984976 memory=1384 CPUtime=1.56 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 2877 0 0 0 143 13 0 0 20 0 15 0 154160898 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13984976 memory=1384 CPUtime=1.56 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 2273 0 0 0 144 12 0 0 20 0 15 0 154160898 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13984976 memory=311500 CPUtime=1.55 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 3475 0 0 0 142 13 0 0 20 0 15 0 154160898 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13984976 memory=1384 CPUtime=1.56 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 2358 0 0 0 143 13 0 0 20 0 15 0 154160898 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13984976 memory=1384 CPUtime=0.23 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 5140 0 0 0 20 3 0 0 20 0 15 0 154160899 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13984976 memory=305860 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13984976 memory=42940 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13984976 memory=305860 CPUtime=3.51 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 14692 0 0 0 350 1 0 0 20 0 15 0 154160902 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13984976 memory=4144 CPUtime=3.76 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) S 13699 13699 12810 0 -1 1077944384 31576 0 0 0 373 3 0 0 20 0 15 0 154160902 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850196539760 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13984976 memory=2428 CPUtime=0.67 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 8660 0 0 0 66 1 0 0 20 0 15 0 154160902 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13984976 memory=792 CPUtime=0.09 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 471 0 0 0 5 4 0 0 20 0 15 0 154160903 14320615424 76465 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 234.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 307244 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.78 1.71 1.64 3/217 13885
/proc/meminfo: memFree=23397940/32770624 swapFree=67108860/67108860
[pid=13699] ppid=13696 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13699/stat : 13699 (xcsp3-exec) S 13696 13699 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154160897 9740288 346 33554432000 4194304 5098028 140735573952192 140735573950296 139684673852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31481856 140735573955700 140735573955904 140735573955904 140735573958635 0
/proc/13699/statm: 2378 346 289 221 0 87 0
[pid=13701] ppid=13699 vsize=13984976 memory=317216 CPUtime=252.95 cores=0,2,4,6
/proc/13701/stat : 13701 (java) S 13699 13699 12810 0 -1 1077944320 91240 0 0 0 25221 74 0 0 20 0 15 0 154160897 14320615424 79304 33554432000 4194304 4196468 140723707123936 140723707106480 139850727841527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
/proc/13701/statm: 3496244 79304 3281 1 0 3483478 0
[pid=13701/tid=13702] ppid=13699 vsize=13984976 memory=6791534058613427641 CPUtime=237.79 cores=0,2,4,6
/proc/13701/task/13702/stat : 13702 (java) R 13699 13699 12810 0 -1 4202560 16665 0 0 0 23772 7 0 0 20 0 15 0 154160897 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850732081136 139850332028160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13703] ppid=13699 vsize=13984976 memory=-7003737579269690708 CPUtime=1.69 cores=0,2,4,6
/proc/13701/task/13703/stat : 13703 (java) S 13699 13699 12810 0 -1 1077944384 3264 0 0 0 156 13 0 0 20 0 15 0 154160898 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850657929744 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13704] ppid=13699 vsize=13984976 memory=25 CPUtime=1.69 cores=0,2,4,6
/proc/13701/task/13704/stat : 13704 (java) S 13699 13699 12810 0 -1 1077944384 2648 0 0 0 157 12 0 0 20 0 15 0 154160898 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850656877200 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13705] ppid=13699 vsize=13984976 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/13701/task/13705/stat : 13705 (java) S 13699 13699 12810 0 -1 1077944384 3994 0 0 0 155 14 0 0 20 0 15 0 154160898 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850655824144 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13706] ppid=13699 vsize=13984976 memory=1720 CPUtime=1.69 cores=0,2,4,6
/proc/13701/task/13706/stat : 13706 (java) S 13699 13699 12810 0 -1 1077944384 2728 0 0 0 155 14 0 0 20 0 15 0 154160898 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850654771600 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13707] ppid=13699 vsize=13984976 memory=4612 CPUtime=0.25 cores=0,2,4,6
/proc/13701/task/13707/stat : 13707 (java) S 13699 13699 12810 0 -1 1077944384 5192 0 0 0 22 3 0 0 20 0 15 0 154160899 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850201803504 139850727852674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13708] ppid=13699 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13708/stat : 13708 (java) S 13699 13699 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850200749728 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13709] ppid=13699 vsize=13984976 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13709/stat : 13709 (java) S 13699 13699 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154160900 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850199696624 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13710] ppid=13699 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13710/stat : 13710 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850198645200 139850727860123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13711] ppid=13699 vsize=13984976 memory=1424 CPUtime=3.51 cores=0,2,4,6
/proc/13701/task/13711/stat : 13711 (java) S 13699 13699 12810 0 -1 1077944384 14692 0 0 0 350 1 0 0 20 0 15 0 154160902 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850197592304 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13712] ppid=13699 vsize=13984976 memory=8600 CPUtime=3.76 cores=0,2,4,6
/proc/13701/task/13712/stat : 13712 (java) S 13699 13699 12810 0 -1 1077944384 31576 0 0 0 373 3 0 0 20 0 15 0 154160902 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850196539760 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13713] ppid=13699 vsize=13984976 memory=15876 CPUtime=0.67 cores=0,2,4,6
/proc/13701/task/13713/stat : 13713 (java) S 13699 13699 12810 0 -1 1077944384 8660 0 0 0 66 1 0 0 20 0 15 0 154160902 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850195486704 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13714] ppid=13699 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/13701/task/13714/stat : 13714 (java) S 13699 13699 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160902 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850194434400 139850727851733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
[pid=13701/tid=13715] ppid=13699 vsize=13984976 memory=1720 CPUtime=0.1 cores=0,2,4,6
/proc/13701/task/13715/stat : 13715 (java) S 13699 13699 12810 0 -1 1077944384 471 0 0 0 5 5 0 0 20 0 15 0 154160903 14320615424 79304 33554432000 4194304 4196468 140723707123936 139850193382448 139850727852674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15294464 140723707131037 140723707131212 140723707131212 140723707133903 0
Current children cumulated CPU time: 252.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 318600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 13699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001923 s, system=0 s
[startup+240.023 s]
# the end of solver process 13701 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.229 s, system=0.756923 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.023
CPU time (s): 252.986
CPU user time (s): 252.229
CPU system time (s): 0.756923
CPU usage (%): 105.4
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 508604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.229
system time used= 0.756923
maximum resident set size= 508104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13925
involuntary context switches= 652
# summary of solver processes directly reported to runsolver:
# pid: 13699,13701
# total CPU time (s): 252.986
# total CPU user time (s): 252.229
# total CPU system time (s): 0.756923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83577 second user time and 2.01418 second system time
The end