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 (10915 MiB free)
memory of node 1: 16384 MiB (8744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292727-1532288883/watcher-4292727-1532288883 -o /tmp/evaluation-result-4292727-1532288883/solver-4292727-1532288883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532279337-4630 --watchdog 2560 HOME/xcsp3-exec -seed 184083951 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292727-1532288883.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=6209, runsolver pid=6206
[startup+0.100093 s]*
/proc/loadavg: 1.54 1.44 1.49 3/217 6225
/proc/meminfo: memFree=20116168/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14082840 memory=27896 CPUtime=0.12 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 5311 0 0 0 11 1 0 0 20 0 15 0 46451475 14420828160 6974 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3520710 6974 3015 1 0 3483008 0
[pid=6211/tid=6212] ppid=6209 vsize=14082840 memory=7901183600711930715 CPUtime=0.09 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 3287 0 0 0 8 1 0 0 20 0 15 0 46451475 14420828160 6974 33554432000 4194304 4196468 140736376933312 139887054186288 139886685887184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 6974 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14082840 memory=140557392791168 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14082840 memory=140557392791168 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451477 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886523098016 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46451478 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886522045424 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 1669 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 46451480 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886519941616 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451480 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886518889072 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14082840 memory=140557392791168 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) R 6209 6209 1669 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 15 0 46451480 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886517836528 139887049974362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14082840 memory=140557392791168 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451481 14420828160 6974 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29348 KiB
[startup+0.210524 s]*
/proc/loadavg: 1.54 1.44 1.49 4/217 6225
/proc/meminfo: memFree=20105360/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14082840 memory=39772 CPUtime=0.34 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 7986 0 0 0 31 3 0 0 20 0 15 0 46451475 14420828160 9943 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3520710 9943 3160 1 0 3483008 0
[pid=6211/tid=6212] ppid=6209 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 4973 0 0 0 18 2 0 0 20 0 15 0 46451475 14420828160 9943 33554432000 4194304 4196468 140736376933312 139887054188000 139887049964950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14082840 memory=14550 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 9943 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14082840 memory=140557393054865 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451476 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14082840 memory=140557392791168 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46451477 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886523098016 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46451478 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886522045424 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 1669 0 -1 1077944384 689 0 0 0 2 0 0 0 20 0 15 0 46451480 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886519941616 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 1669 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 15 0 46451480 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886518889072 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14082840 memory=140557392791168 CPUtime=0.07 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) R 6209 6209 1669 0 -1 4202560 892 0 0 0 7 0 0 0 20 0 15 0 46451480 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886517836528 139887049974362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451481 14420828160 9943 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41224 KiB
[startup+0.310393 s]*
/proc/loadavg: 1.54 1.44 1.49 3/217 6225
/proc/meminfo: memFree=20098908/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14087096 memory=46724 CPUtime=0.51 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 8837 0 0 0 48 3 0 0 20 0 15 0 46451475 14425186304 11681 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3521774 11681 3232 1 0 3483008 0
[pid=6211/tid=6212] ppid=6209 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 5630 0 0 0 27 2 0 0 20 0 15 0 46451475 14425186304 11681 33554432000 4194304 4196468 140736376933312 139887054184128 139887034033502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14425186304 11681 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451476 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46451476 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46451477 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886523098016 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46451478 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886522045424 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14087096 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14087096 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 1669 0 -1 1077944384 711 0 0 0 3 0 0 0 20 0 15 0 46451480 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886519941616 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 1669 0 -1 1077944384 143 0 0 0 4 0 0 0 20 0 15 0 46451480 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886518889072 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 1669 0 -1 1077944384 1057 0 0 0 12 0 0 0 20 0 15 0 46451480 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886517836528 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451481 14425186304 11681 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48176 KiB
[startup+0.700888 s]
/proc/loadavg: 1.54 1.44 1.49 3/217 6225
/proc/meminfo: memFree=20025128/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14089220 memory=188456 CPUtime=1.69 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 14182 0 0 0 163 6 0 0 20 0 15 0 46451475 14427361280 47114 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3522305 47114 3348 1 0 3483520 0
[pid=6211/tid=6212] ppid=6209 vsize=14089220 memory=3472328296227679313 CPUtime=0.65 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 6377 0 0 0 61 4 0 0 20 0 15 0 46451475 14427361280 47114 33554432000 4194304 4196468 140736376933312 139887054189344 139886688206202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14427361280 47114 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451476 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14089220 memory=15500 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 15 0 46451476 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14089220 memory=1296 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 46451476 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14089220 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 46451477 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14089220 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886523098016 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14089220 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 46451478 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886522045424 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14089220 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14089220 memory=5520 CPUtime=0.3 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) R 6209 6209 1669 0 -1 4202560 2172 0 0 0 30 0 0 0 20 0 15 0 46451480 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886519932944 139887027841536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14089220 memory=792 CPUtime=0.3 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) R 6209 6209 1669 0 -1 4202560 1655 0 0 0 30 0 0 0 20 0 15 0 46451480 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886518876704 139887029647227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14089220 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) R 6209 6209 1669 0 -1 4202560 2562 0 0 0 37 0 0 0 20 0 15 0 46451480 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886517833088 139887028878688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14089220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14089220 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451481 14427361280 47114 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 189908 KiB
[startup+1.50182 s]
/proc/loadavg: 1.54 1.44 1.49 6/217 6225
/proc/meminfo: memFree=19953932/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14091268 memory=215960 CPUtime=4.32 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 18878 0 0 0 424 8 0 0 20 0 15 0 46451475 14429458432 53990 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3522817 53990 3373 1 0 3484032 0
[pid=6211/tid=6212] ppid=6209 vsize=14091268 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 7035 0 0 0 138 4 0 0 20 0 15 0 46451475 14429458432 53990 33554432000 4194304 4196468 140736376933312 139887054189872 139887049964950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46451476 14429458432 53990 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 46451476 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14091268 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 46451476 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14091268 memory=14771 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 46451476 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14091268 memory=24363 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 46451477 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886523098080 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 46451478 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886522045440 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14091268 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) R 6209 6209 1669 0 -1 4202560 3326 0 0 0 106 0 0 0 20 0 15 0 46451480 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886519922632 139887033449849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14091268 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) R 6209 6209 1669 0 -1 4202560 3732 0 0 0 105 0 0 0 20 0 15 0 46451480 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886518875640 139887034853521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14091268 memory=140557233971648 CPUtime=0.69 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) R 6209 6209 1669 0 -1 1077944384 3307 0 0 0 68 1 0 0 20 0 15 0 46451480 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886517836528 139887049964162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14091268 memory=281114468183440 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46451481 14429458432 53990 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 217412 KiB
[startup+3.1105 s]
/proc/loadavg: 1.54 1.44 1.49 5/217 6225
/proc/meminfo: memFree=19925216/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14091268 memory=220900 CPUtime=8.69 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 32094 0 0 0 859 10 0 0 20 0 15 0 46451475 14429458432 55225 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3522817 55225 3382 1 0 3484032 0
[pid=6211/tid=6212] ppid=6209 vsize=14091268 memory=222744 CPUtime=3.03 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 8030 0 0 0 299 4 0 0 20 0 15 0 46451475 14429458432 55225 33554432000 4194304 4196468 140736376933312 139887054188592 139886694144998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14091268 memory=224012 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14091268 memory=4028 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 46451477 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14091268 memory=14771 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886523098080 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14091268 memory=24363 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 46451478 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886522045440 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14091268 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 1669 0 -1 1077944384 10305 0 0 0 236 1 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886519941616 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14091268 memory=164 CPUtime=2.37 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 1669 0 -1 1077944384 8108 0 0 0 236 1 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886518889072 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14091268 memory=320881719102406967 CPUtime=0.82 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 1669 0 -1 1077944384 4095 0 0 0 81 1 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886517836528 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14091268 memory=15817781274741050 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14091268 memory=1399111604655069571 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 46451481 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 222352 KiB
[startup+3.15273 s]
# the end of solver process 6209 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.64291 s, system=0.109897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.1105 s]
/proc/loadavg: 1.54 1.44 1.49 5/217 6225
/proc/meminfo: memFree=19925216/32770624 swapFree=67108860/67108860
[pid=6209] ppid=6206 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46451475 115843072 363 33554432000 4194304 5098028 140726602547744 140726602545848 139691692122748 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24686592 140726602556475 140726602556676 140726602556676 140726602559434 0
/proc/6209/statm: 28282 363 305 221 0 87 0
[pid=6211] ppid=6209 vsize=14091268 memory=220900 CPUtime=8.69 cores=0,2,4,6
/proc/6211/stat : 6211 (java) S 6209 6209 1669 0 -1 1077944320 32094 0 0 0 859 10 0 0 20 0 15 0 46451475 14429458432 55225 33554432000 4194304 4196468 140736376933312 140736376915856 139887049953015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
/proc/6211/statm: 3522817 55225 3382 1 0 3484032 0
[pid=6211/tid=6212] ppid=6209 vsize=14091268 memory=222744 CPUtime=3.03 cores=0,2,4,6
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 1669 0 -1 4202560 8030 0 0 0 299 4 0 0 20 0 15 0 46451475 14429458432 55225 33554432000 4194304 4196468 140736376933312 139887054188592 139886694144998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6213] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 1669 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139887019666192 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6214] ppid=6209 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 1669 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886644304784 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6215] ppid=6209 vsize=14091268 memory=224012 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 1669 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886643252240 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6216] ppid=6209 vsize=14091268 memory=4028 CPUtime=0.01 cores=0,2,4,6
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 1669 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 46451476 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886642199696 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6217] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 1669 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 46451477 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886524151792 139887049964162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6218] ppid=6209 vsize=14091268 memory=14771 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46451478 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886523098080 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6219] ppid=6209 vsize=14091268 memory=24363 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 1669 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 46451478 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886522045440 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6220] ppid=6209 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886520994000 139887049971611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6221] ppid=6209 vsize=14091268 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 1669 0 -1 1077944384 10305 0 0 0 236 1 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886519941616 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6222] ppid=6209 vsize=14091268 memory=164 CPUtime=2.37 cores=0,2,4,6
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 1669 0 -1 1077944384 8108 0 0 0 236 1 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886518889072 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6223] ppid=6209 vsize=14091268 memory=320881719102406967 CPUtime=0.82 cores=0,2,4,6
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 1669 0 -1 1077944384 4095 0 0 0 81 1 0 0 20 0 15 0 46451480 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886517836528 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6224] ppid=6209 vsize=14091268 memory=15817781274741050 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46451481 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886516784224 139887049963221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
[pid=6211/tid=6225] ppid=6209 vsize=14091268 memory=1399111604655069571 CPUtime=0 cores=0,2,4,6
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 1669 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 46451481 14429458432 55225 33554432000 4194304 4196468 140736376933312 139886515730736 139887049964162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7864320 140736376939649 140736376939825 140736376939825 140736376942543 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 222352 KiB
Child status: 0
Real time (s): 3.15278
CPU time (s): 8.7528
CPU user time (s): 8.64291
CPU system time (s): 0.109897
CPU usage (%): 277.622
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 225464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.64291
system time used= 0.109897
maximum resident set size= 224136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32964
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= 2533
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 6209
# total CPU time (s): 8.7528
# total CPU user time (s): 8.64291
# total CPU system time (s): 0.109897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043759 second user time and 0.076324 second system time
The end