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 (14246 MiB free)
memory of node 1: 16384 MiB (12245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272769-1502801523/watcher-4272769-1502801523 -o /tmp/evaluation-result-4272769-1502801523/solver-4272769-1502801523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 383763609 HOME/instance-4272769-1502801523.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
Current StackSize limit: 8192 KiB
solver pid=6967, runsolver pid=6964
[startup+0.100168 s]*
/proc/loadavg: 2.34 2.05 1.91 3/217 6983
/proc/meminfo: memFree=27113176/32770624 swapFree=67108860/67108860
[pid=6967] ppid=6964 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6967/stat : 6967 (xcsp3-exec) S 6964 6967 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113240334 9740288 346 33554432000 4194304 5098028 140726643534288 140726643532392 140441940124284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140726643541103 140726643541307 140726643541307 140726643544043 0
/proc/6967/statm: 2378 346 289 221 0 87 0
[pid=6969] ppid=6967 vsize=13978596 memory=27684 CPUtime=0.12 cores=0,2,4,6
/proc/6969/stat : 6969 (java) S 6967 6967 5918 0 -1 1077944320 5335 0 0 0 11 1 0 0 20 0 15 0 113240334 14314082304 6921 33554432000 4194304 4196468 140736814818032 140736814800576 140656195342071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
/proc/6969/statm: 3494649 6921 2840 1 0 3482966 0
[pid=6969/tid=6970] ppid=6967 vsize=13978596 memory=7827719731302077275 CPUtime=0.08 cores=0,2,4,6
/proc/6969/task/6970/stat : 6970 (java) R 6967 6967 5918 0 -1 4202560 3345 0 0 0 8 0 0 0 20 0 15 0 113240334 14314082304 6921 33554432000 4194304 4196468 140736814818032 140656199566544 140656195354006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6971] ppid=6967 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6971/stat : 6971 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14314082304 6921 33554432000 4194304 4196468 140736814818032 140656154102800 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6972] ppid=6967 vsize=13978596 memory=140403756484224 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6972/stat : 6972 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655789948048 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6973] ppid=6967 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6973/stat : 6973 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655788894992 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6974] ppid=6967 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6974/stat : 6974 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655787842448 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6975] ppid=6967 vsize=13978596 memory=140403756484224 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6975/stat : 6975 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240336 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655308781808 140656195353218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6976] ppid=6967 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6976/stat : 6976 (java) S 6967 6967 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113240337 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655307728032 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6977] ppid=6967 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6977/stat : 6977 (java) S 6967 6967 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113240337 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655306674928 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6978] ppid=6967 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6978/stat : 6978 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655305623504 140656195360667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6979] ppid=6967 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6979/stat : 6979 (java) S 6967 6967 5918 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 113240340 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655304571632 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6980] ppid=6967 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6980/stat : 6980 (java) R 6967 6967 5918 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 113240340 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655303519088 140656195353218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6981] ppid=6967 vsize=13978596 memory=140403756484224 CPUtime=0.01 cores=0,2,4,6
/proc/6969/task/6981/stat : 6981 (java) S 6967 6967 5918 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 113240340 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655302466032 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6982] ppid=6967 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6982/stat : 6982 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655301413728 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6983] ppid=6967 vsize=13978596 memory=140403756484224 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6983/stat : 6983 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240340 14314082304 6921 33554432000 4194304 4196468 140736814818032 140655300360752 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29068 KiB
[startup+0.210678 s]*
/proc/loadavg: 2.34 2.05 1.91 3/217 6983
/proc/meminfo: memFree=27101420/32770624 swapFree=67108860/67108860
[pid=6967] ppid=6964 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6967/stat : 6967 (xcsp3-exec) S 6964 6967 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113240334 9740288 346 33554432000 4194304 5098028 140726643534288 140726643532392 140441940124284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140726643541103 140726643541307 140726643541307 140726643544043 0
/proc/6967/statm: 2378 346 289 221 0 87 0
[pid=6969] ppid=6967 vsize=13982852 memory=40628 CPUtime=0.34 cores=0,2,4,6
/proc/6969/stat : 6969 (java) S 6967 6967 5918 0 -1 1077944320 8167 0 0 0 31 3 0 0 20 0 15 0 113240334 14318440448 10157 33554432000 4194304 4196468 140736814818032 140736814800576 140656195342071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
/proc/6969/statm: 3495713 10157 3066 1 0 3482966 0
[pid=6969/tid=6970] ppid=6967 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6969/task/6970/stat : 6970 (java) R 6967 6967 5918 0 -1 4202560 5274 0 0 0 18 1 0 0 20 0 15 0 113240334 14318440448 10157 33554432000 4194304 4196468 140736814818032 140656199543760 140656188020164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6971] ppid=6967 vsize=13982884 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6971/stat : 6971 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14318473216 10157 33554432000 4194304 4196468 140736814818032 140656154102800 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6972] ppid=6967 vsize=13982852 memory=140403757037614 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6972/stat : 6972 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655789948048 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6973] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6973/stat : 6973 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655788894992 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6974] ppid=6967 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6974/stat : 6974 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655787842448 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6975] ppid=6967 vsize=13982852 memory=140403756484224 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6975/stat : 6975 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240336 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655308781808 140656195353218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6976] ppid=6967 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6976/stat : 6976 (java) S 6967 6967 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113240337 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655307728032 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6977] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6977/stat : 6977 (java) S 6967 6967 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113240337 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655306674928 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6978] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6978/stat : 6978 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655305623504 140656195360667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6979] ppid=6967 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6969/task/6979/stat : 6979 (java) S 6967 6967 5918 0 -1 1077944384 616 0 0 0 2 0 0 0 20 0 15 0 113240340 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655304571632 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6980] ppid=6967 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6969/task/6980/stat : 6980 (java) S 6967 6967 5918 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 113240340 14318473216 10157 33554432000 4194304 4196468 140736814818032 140655303519088 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6981] ppid=6967 vsize=13982884 memory=140403756484224 CPUtime=0.07 cores=0,2,4,6
/proc/6969/task/6981/stat : 6981 (java) S 6967 6967 5918 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 15 0 113240340 14318473216 10157 33554432000 4194304 4196468 140736814818032 140655302466032 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6982] ppid=6967 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6982/stat : 6982 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655301413728 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6983] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6983/stat : 6983 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240340 14318440448 10157 33554432000 4194304 4196468 140736814818032 140655300360752 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42012 KiB
[startup+0.31039 s]*
/proc/loadavg: 2.34 2.05 1.91 6/217 6983
/proc/meminfo: memFree=27094432/32770624 swapFree=67108860/67108860
[pid=6967] ppid=6964 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6967/stat : 6967 (xcsp3-exec) S 6964 6967 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113240334 9740288 346 33554432000 4194304 5098028 140726643534288 140726643532392 140441940124284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140726643541103 140726643541307 140726643541307 140726643544043 0
/proc/6967/statm: 2378 346 289 221 0 87 0
[pid=6969] ppid=6967 vsize=13982852 memory=48028 CPUtime=0.51 cores=0,2,4,6
/proc/6969/stat : 6969 (java) S 6967 6967 5918 0 -1 1077944320 9124 0 0 0 48 3 0 0 20 0 15 0 113240334 14318440448 12007 33554432000 4194304 4196468 140736814818032 140736814800576 140656195342071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
/proc/6969/statm: 3495713 12007 3120 1 0 3482966 0
[pid=6969/tid=6970] ppid=6967 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/6969/task/6970/stat : 6970 (java) R 6967 6967 5918 0 -1 4202560 5979 0 0 0 28 2 0 0 20 0 15 0 113240334 14318440448 12007 33554432000 4194304 4196468 140736814818032 140656199578368 140656179422558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6971] ppid=6967 vsize=13982852 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6971/stat : 6971 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 12007 33554432000 4194304 4196468 140736814818032 140656154102800 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6972] ppid=6967 vsize=13982852 memory=556682 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6972/stat : 6972 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 12007 33554432000 4194304 4196468 140736814818032 140655789948048 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6973] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6973/stat : 6973 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 12007 33554432000 4194304 4196468 140736814818032 140655788894992 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6974] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6974/stat : 6974 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655787842448 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6975] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6975/stat : 6975 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240336 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655308781808 140656195353218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6976] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6976/stat : 6976 (java) S 6967 6967 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113240337 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655307728032 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6977] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6977/stat : 6977 (java) S 6967 6967 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113240337 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655306674928 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6978] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6978/stat : 6978 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655305623504 140656195360667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6979] ppid=6967 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6969/task/6979/stat : 6979 (java) S 6967 6967 5918 0 -1 1077944384 683 0 0 0 3 0 0 0 20 0 15 0 113240340 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655304571632 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6980] ppid=6967 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6969/task/6980/stat : 6980 (java) S 6967 6967 5918 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 113240340 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655303519088 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6981] ppid=6967 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6969/task/6981/stat : 6981 (java) R 6967 6967 5918 0 -1 4202560 889 0 0 0 12 0 0 0 20 0 15 0 113240340 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655302466032 140656179422558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6982] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6982/stat : 6982 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655301413728 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6983] ppid=6967 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6983/stat : 6983 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240340 14318440448 12013 33554432000 4194304 4196468 140736814818032 140655300360752 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49412 KiB
[startup+0.556422 s]
# the end of solver process 6967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.05151 s, system=0.056391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410604 s]*
/proc/loadavg: 2.34 2.05 1.91 6/217 6983
/proc/meminfo: memFree=27088140/32770624 swapFree=67108860/67108860
[pid=6967] ppid=6964 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6967/stat : 6967 (xcsp3-exec) S 6964 6967 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113240334 9740288 346 33554432000 4194304 5098028 140726643534288 140726643532392 140441940124284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140726643541103 140726643541307 140726643541307 140726643544043 0
/proc/6967/statm: 2378 346 289 221 0 87 0
[pid=6969] ppid=6967 vsize=13982928 memory=53564 CPUtime=0.78 cores=0,2,4,6
/proc/6969/stat : 6969 (java) S 6967 6967 5918 0 -1 1077944320 9983 0 0 0 74 4 0 0 20 0 15 0 113240334 14318518272 13391 33554432000 4194304 4196468 140736814818032 140736814800576 140656195342071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
/proc/6969/statm: 3495732 13391 3162 1 0 3482966 0
[pid=6969/tid=6970] ppid=6967 vsize=13982928 memory=7883960649037381690 CPUtime=0.39 cores=0,2,4,6
/proc/6969/task/6970/stat : 6970 (java) R 6967 6967 5918 0 -1 4202560 6270 0 0 0 37 2 0 0 20 0 15 0 113240334 14318518272 13391 33554432000 4194304 4196468 140736814818032 140656199580128 140656179422558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6971] ppid=6967 vsize=13982928 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6971/stat : 6971 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14318518272 13391 33554432000 4194304 4196468 140736814818032 140656154102800 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6972] ppid=6967 vsize=13982928 memory=140403757037614 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6972/stat : 6972 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655789948048 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6973] ppid=6967 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6973/stat : 6973 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655788894992 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6974] ppid=6967 vsize=13982928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6974/stat : 6974 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655787842448 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6975] ppid=6967 vsize=13982928 memory=140403756484224 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6975/stat : 6975 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240336 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655308781808 140656195353218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6976] ppid=6967 vsize=13982928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6976/stat : 6976 (java) S 6967 6967 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113240337 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655307728032 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6977] ppid=6967 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6977/stat : 6977 (java) S 6967 6967 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113240337 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655306674928 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6978] ppid=6967 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6978/stat : 6978 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655305623504 140656195360667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6979] ppid=6967 vsize=13982928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6969/task/6979/stat : 6979 (java) R 6967 6967 5918 0 -1 4202560 934 0 0 0 8 0 0 0 20 0 15 0 113240340 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655304552928 140656173745542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6980] ppid=6967 vsize=13982928 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6969/task/6980/stat : 6980 (java) R 6967 6967 5918 0 -1 4202560 403 0 0 0 8 0 0 0 20 0 15 0 113240340 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655303505520 140656179738338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6981] ppid=6967 vsize=13982928 memory=140403756484224 CPUtime=0.19 cores=0,2,4,6
/proc/6969/task/6981/stat : 6981 (java) R 6967 6967 5918 0 -1 1077944384 1071 0 0 0 19 0 0 0 20 0 15 0 113240340 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655302462400 140656195352277 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6982] ppid=6967 vsize=13982928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6982/stat : 6982 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655301413728 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6983] ppid=6967 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6983/stat : 6983 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240340 14318518272 13391 33554432000 4194304 4196468 140736814818032 140655300360752 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 54948 KiB
[startup+0.510605 s]*
/proc/loadavg: 2.34 2.05 1.91 3/217 6983
/proc/meminfo: memFree=27081004/32770624 swapFree=67108860/67108860
[pid=6967] ppid=6964 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6967/stat : 6967 (xcsp3-exec) S 6964 6967 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113240334 9740288 346 33554432000 4194304 5098028 140726643534288 140726643532392 140441940124284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140726643541103 140726643541307 140726643541307 140726643544043 0
/proc/6967/statm: 2378 346 289 221 0 87 0
[pid=6969] ppid=6967 vsize=13984976 memory=61132 CPUtime=1.01 cores=0,2,4,6
/proc/6969/stat : 6969 (java) S 6967 6967 5918 0 -1 1077944320 10461 0 0 0 96 5 0 0 20 0 15 0 113240334 14320615424 15283 33554432000 4194304 4196468 140736814818032 140736814800576 140656195342071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
/proc/6969/statm: 3496244 15283 3180 1 0 3483478 0
[pid=6969/tid=6970] ppid=6967 vsize=13984976 memory=8112282956445269571 CPUtime=0.49 cores=0,2,4,6
/proc/6969/task/6970/stat : 6970 (java) R 6967 6967 5918 0 -1 4202560 6565 0 0 0 46 3 0 0 20 0 15 0 113240334 14320615424 15283 33554432000 4194304 4196468 140736814818032 140656199570912 140656179385701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6971] ppid=6967 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6971/stat : 6971 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14320615424 15283 33554432000 4194304 4196468 140736814818032 140656154102800 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6972] ppid=6967 vsize=13984976 memory=3836 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6972/stat : 6972 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655789948048 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6973] ppid=6967 vsize=13984976 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6973/stat : 6973 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240335 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655788894992 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6974] ppid=6967 vsize=13984976 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6974/stat : 6974 (java) S 6967 6967 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113240335 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655787842448 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6975] ppid=6967 vsize=13984976 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6975/stat : 6975 (java) S 6967 6967 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113240336 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655308781808 140656195353218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6976] ppid=6967 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6976/stat : 6976 (java) S 6967 6967 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113240337 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655307728032 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6977] ppid=6967 vsize=13984976 memory=3260 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6977/stat : 6977 (java) S 6967 6967 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113240337 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655306674928 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6978] ppid=6967 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6978/stat : 6978 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655305623504 140656195360667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6979] ppid=6967 vsize=13984976 memory=1947528 CPUtime=0.12 cores=0,2,4,6
/proc/6969/task/6979/stat : 6979 (java) R 6967 6967 5918 0 -1 4202560 967 0 0 0 12 0 0 0 20 0 15 0 113240340 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655304563584 140656175185675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6980] ppid=6967 vsize=13984976 memory=1160 CPUtime=0.11 cores=0,2,4,6
/proc/6969/task/6980/stat : 6980 (java) R 6967 6967 5918 0 -1 4202560 426 0 0 0 11 0 0 0 20 0 15 0 113240340 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655303519184 140656175194123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6981] ppid=6967 vsize=13984976 memory=2264 CPUtime=0.25 cores=0,2,4,6
/proc/6969/task/6981/stat : 6981 (java) R 6967 6967 5918 0 -1 1077944384 1195 0 0 0 25 0 0 0 20 0 15 0 113240340 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655302466032 140656195353218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6982] ppid=6967 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6982/stat : 6982 (java) S 6967 6967 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113240340 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655301413728 140656195352277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
[pid=6969/tid=6983] ppid=6967 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6969/task/6983/stat : 6983 (java) S 6967 6967 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113240340 14320615424 15283 33554432000 4194304 4196468 140736814818032 140655300360752 140656195353218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9023488 140736814822551 140736814822727 140736814822727 140736814825423 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 62516 KiB
Child status: 0
Real time (s): 0.556465
CPU time (s): 1.1079
CPU user time (s): 1.05151
CPU system time (s): 0.056391
CPU usage (%): 199.096
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 62516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.05151
system time used= 0.056391
maximum resident set size= 63684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1453
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 6967
# total CPU time (s): 1.1079
# total CPU user time (s): 1.05151
# total CPU system time (s): 0.056391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027015 second user time and 0.047277 second system time
The end