runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255065-1501621483/watcher-4255065-1501621483 -o /tmp/evaluation-result-4255065-1501621483/solver-4255065-1501621483 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1952510893 HOME/instance-4255065-1501621483.xml
pid=13487
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.71 1.67 1.76 3/201 13490
/proc/meminfo: memFree=30654136/32770624 swapFree=0/189304
[pid=13490] ppid=13487 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (runsolver) D 13487 13490 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9963662 24240128 108 18446744073709551615 4194304 4338465 140722176147744 140722176145384 140321907778263 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 31490048 140722176155740 140722176156230 140722176156230 140722176159690 0
/proc/13490/statm: 5918 108 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 1.71 1.67 1.76 3/201 13490
/proc/meminfo: memFree=30654136/32770624 swapFree=0/189304
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20033 s]
/proc/loadavg: 1.71 1.67 1.76 3/201 13490
/proc/meminfo: memFree=30654136/32770624 swapFree=0/189304
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302237 s]
/proc/loadavg: 1.71 1.67 1.76 3/201 13490
/proc/meminfo: memFree=30654136/32770624 swapFree=0/189304
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700283 s]
/proc/loadavg: 1.71 1.67 1.76 3/201 13490
/proc/meminfo: memFree=30654136/32770624 swapFree=0/189304
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.71 1.67 1.76 5/217 13506
/proc/meminfo: memFree=30556564/32770624 swapFree=0/189320
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 30891 0 0 0 371 8 0 0 20 0 15 0 9963671 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 36825 3183 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 9009 0 0 0 130 4 0 0 20 0 15 0 9963671 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044578768152 140044206405476 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13496] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13496/stat : 13496 (java) S 13490 13490 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044529396112 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13497] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13497/stat : 13497 (java) S 13490 13490 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044528343312 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13498] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13498/stat : 13498 (java) S 13490 13490 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9963673 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044052458352 140044574546562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) R 13490 13490 5228 0 -1 4202560 7979 0 0 0 99 1 0 0 20 0 15 0 9963677 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044048231816 140044558960359 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) R 13490 13490 5228 0 -1 4202560 9260 0 0 0 101 0 0 0 20 0 15 0 9963677 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044047186840 140044557999197 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 3335 0 0 0 39 1 0 0 20 0 15 0 9963677 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963681 14316269568 36825 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 1.71 1.67 1.76 5/216 13506
/proc/meminfo: memFree=30433012/32770624 swapFree=0/189320
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=8.61 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 64325 0 0 0 847 14 0 0 20 0 15 0 9963671 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 72149 3201 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 9734 0 0 0 288 5 0 0 20 0 15 0 9963671 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044578771720 140044208111018 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13496] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13496/stat : 13496 (java) S 13490 13490 5228 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044529396112 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13497] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13497/stat : 13497 (java) S 13490 13490 5228 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044528343312 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13498] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13498/stat : 13498 (java) S 13490 13490 5228 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 9963673 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044052458352 140044574546562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=2.59 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) R 13490 13490 5228 0 -1 4202560 16141 0 0 0 257 2 0 0 20 0 15 0 9963677 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044048233504 140044556053327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=2.61 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) R 13490 13490 5228 0 -1 4202560 32274 0 0 0 257 4 0 0 20 0 15 0 9963677 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044047186000 140044556053303 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 3998 0 0 0 41 1 0 0 20 0 15 0 9963677 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9963681 14316269568 72149 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 13990244
[startup+6.30341 s]
/proc/loadavg: 1.89 1.70 1.77 3/216 13506
/proc/meminfo: memFree=30354868/32770624 swapFree=0/189332
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=14.05 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 64968 0 0 0 1389 16 0 0 20 0 15 0 9963671 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 74018 3213 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 9767 0 0 0 607 5 0 0 20 0 15 0 9963671 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044578772472 140044206956033 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 9963672 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 9963672 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13496] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13496/stat : 13496 (java) S 13490 13490 5228 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044529396112 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13497] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13497/stat : 13497 (java) S 13490 13490 5228 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9963672 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044528343312 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13498] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13498/stat : 13498 (java) S 13490 13490 5228 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 9963673 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044052458352 140044574546562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=3.46 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) S 13490 13490 5228 0 -1 1077944384 16326 0 0 0 344 2 0 0 20 0 15 0 9963677 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044048247152 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=3.85 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) S 13490 13490 5228 0 -1 1077944384 32512 0 0 0 381 4 0 0 20 0 15 0 9963677 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044047194352 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 4151 0 0 0 50 1 0 0 20 0 15 0 9963677 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 9963681 14316269568 74018 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.90 1.71 1.78 3/216 13506
/proc/meminfo: memFree=30356416/32770624 swapFree=0/189340
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=21.21 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 72244 0 0 0 2102 19 0 0 20 0 15 0 9963671 14316269568 74093 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 74093 3225 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=12.48 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 10700 0 0 0 1243 5 0 0 20 0 15 0 9963671 14316269568 74093 18446744073709551615 4194304 4196468 140727567211216 140044578775264 140044208378249 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 915 0 0 0 3 0 0 0 20 0 15 0 9963672 14316269568 74093 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 137 0 0 0 3 1 0 0 20 0 15 0 9963672 14316269568 74093 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
################
# More data... #
################
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=4.09 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) S 13490 13490 5228 0 -1 1077944384 22193 0 0 0 407 2 0 0 20 0 15 0 9963677 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044048247152 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=4.54 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) S 13490 13490 5228 0 -1 1077944384 39438 0 0 0 449 5 0 0 20 0 15 0 9963677 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044047194352 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 8898 0 0 0 57 2 0 0 20 0 15 0 9963677 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 321 0 0 0 2 3 0 0 20 0 15 0 9963681 14316269568 81105 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 113.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.76 1.78 3/217 13590
/proc/meminfo: memFree=31309936/32770624 swapFree=0/189480
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=174.49 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 100978 0 0 0 17395 54 0 0 20 0 15 0 9963671 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 107299 3226 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=160.83 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 16481 0 0 0 16076 7 0 0 20 0 15 0 9963671 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044578775248 140044206381555 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 2965 0 0 0 94 8 0 0 20 0 15 0 9963672 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 1662 0 0 0 94 8 0 0 20 0 15 0 9963672 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13496] ppid=13490 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/13492/task/13496/stat : 13496 (java) S 13490 13490 5228 0 -1 1077944384 1690 0 0 0 94 8 0 0 20 0 15 0 9963672 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044529396112 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13497] ppid=13490 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/13492/task/13497/stat : 13497 (java) S 13490 13490 5228 0 -1 1077944384 1945 0 0 0 94 7 0 0 20 0 15 0 9963672 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044528343312 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13498] ppid=13490 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/13492/task/13498/stat : 13498 (java) S 13490 13490 5228 0 -1 1077944384 1831 0 0 0 16 3 0 0 20 0 15 0 9963673 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044052458352 140044574546562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=4.1 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) S 13490 13490 5228 0 -1 1077944384 22634 0 0 0 408 2 0 0 20 0 15 0 9963677 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044048247152 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=4.56 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) S 13490 13490 5228 0 -1 1077944384 40185 0 0 0 451 5 0 0 20 0 15 0 9963677 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044047194352 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 9787 0 0 0 57 2 0 0 20 0 15 0 9963677 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 441 0 0 0 3 4 0 0 20 0 15 0 9963681 14316269568 107299 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 174.49
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.42 1.65 1.74 3/217 13592
/proc/meminfo: memFree=31146376/32770624 swapFree=0/189512
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=236.01 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 110312 0 0 0 23529 72 0 0 20 0 15 0 9963671 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 134181 3226 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=220.27 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 19667 0 0 0 22019 8 0 0 20 0 15 0 9963671 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044578775248 140044207114618 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 3711 0 0 0 138 11 0 0 20 0 15 0 9963672 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 2250 0 0 0 138 11 0 0 20 0 15 0 9963672 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13496] ppid=13490 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/13492/task/13496/stat : 13496 (java) S 13490 13490 5228 0 -1 1077944384 2320 0 0 0 137 12 0 0 20 0 15 0 9963672 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044529396112 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13497] ppid=13490 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/13492/task/13497/stat : 13497 (java) S 13490 13490 5228 0 -1 1077944384 2819 0 0 0 137 11 0 0 20 0 15 0 9963672 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044528343312 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13498] ppid=13490 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/13492/task/13498/stat : 13498 (java) S 13490 13490 5228 0 -1 1077944384 1897 0 0 0 23 3 0 0 20 0 15 0 9963673 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044052458352 140044574546562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=4.14 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) S 13490 13490 5228 0 -1 1077944384 23670 0 0 0 412 2 0 0 20 0 15 0 9963677 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044048247152 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=4.58 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) S 13490 13490 5228 0 -1 1077944384 41632 0 0 0 453 5 0 0 20 0 15 0 9963677 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044047194352 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 10541 0 0 0 58 2 0 0 20 0 15 0 9963677 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 448 0 0 0 4 6 0 0 20 0 15 0 9963681 14316269568 134181 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 236.01
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.30 1.61 1.73 3/217 13592
/proc/meminfo: memFree=31282220/32770624 swapFree=0/189520
[pid=13490] ppid=13487 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (xcsp3-exec) S 13487 13490 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9963662 9740288 344 18446744073709551615 4194304 5098028 140727417278000 140727417276104 139669811405436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 36540416 140727417278875 140727417279079 140727417279079 140727417282539 0
/proc/13490/statm: 2378 344 289 221 0 87 0
[pid=13492] ppid=13490 vsize=13980732 CPUtime=254.2 cores=1,3,5,7
/proc/13492/stat : 13492 (java) S 13490 13490 5228 0 -1 1077944320 114461 0 0 0 25343 77 0 0 20 0 15 0 9963671 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140727567193760 140044574535415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
/proc/13492/statm: 3495183 91879 3241 1 0 3483484 0
[pid=13492/tid=13493] ppid=13490 vsize=13980732 CPUtime=237.76 cores=1,3,5,7
/proc/13492/task/13493/stat : 13493 (java) R 13490 13490 5228 0 -1 4202560 19709 0 0 0 23768 8 0 0 20 0 15 0 9963671 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044578775184 140044208661500 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13494] ppid=13490 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/13492/task/13494/stat : 13494 (java) S 13490 13490 5228 0 -1 1077944384 4015 0 0 0 153 12 0 0 20 0 15 0 9963672 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044531501712 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13495] ppid=13490 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/13492/task/13495/stat : 13495 (java) S 13490 13490 5228 0 -1 1077944384 2472 0 0 0 152 13 0 0 20 0 15 0 9963672 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044530448912 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13496] ppid=13490 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/13492/task/13496/stat : 13496 (java) S 13490 13490 5228 0 -1 1077944384 2512 0 0 0 153 13 0 0 20 0 15 0 9963672 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044529396112 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13497] ppid=13490 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/13492/task/13497/stat : 13497 (java) S 13490 13490 5228 0 -1 1077944384 3053 0 0 0 152 11 0 0 20 0 15 0 9963672 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044528343312 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13498] ppid=13490 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/13492/task/13498/stat : 13498 (java) S 13490 13490 5228 0 -1 1077944384 4217 0 0 0 26 4 0 0 20 0 15 0 9963673 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044052458352 140044574546562 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13499] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13499/stat : 13499 (java) S 13490 13490 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044051404320 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13500] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13500/stat : 13500 (java) S 13490 13490 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9963674 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044050351472 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13501] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13501/stat : 13501 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044049299792 140044574554011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13502] ppid=13490 vsize=13980732 CPUtime=4.14 cores=1,3,5,7
/proc/13492/task/13502/stat : 13502 (java) S 13490 13490 5228 0 -1 1077944384 23672 0 0 0 412 2 0 0 20 0 15 0 9963677 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044048247152 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13503] ppid=13490 vsize=13980732 CPUtime=4.6 cores=1,3,5,7
/proc/13492/task/13503/stat : 13503 (java) S 13490 13490 5228 0 -1 1077944384 42454 0 0 0 455 5 0 0 20 0 15 0 9963677 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044047194352 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13504] ppid=13490 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/13492/task/13504/stat : 13504 (java) S 13490 13490 5228 0 -1 1077944384 10543 0 0 0 58 2 0 0 20 0 15 0 9963677 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044046141552 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13505] ppid=13490 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13492/task/13505/stat : 13505 (java) S 13490 13490 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963677 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044045088992 140044574545621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
[pid=13492/tid=13506] ppid=13490 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13492/task/13506/stat : 13506 (java) S 13490 13490 5228 0 -1 1077944384 457 0 0 0 5 6 0 0 20 0 15 0 9963681 14316269568 91879 18446744073709551615 4194304 4196468 140727567211216 140044044037296 140044574546562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7241728 140727567217108 140727567217283 140727567217283 140727567220687 0
Current children cumulated CPU time (s) 254.2
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13492 sig 9
??? kill 13490 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13490 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1727
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118
# CPU time returned by wait4() is 0.001845
# while last known CPU time is 254.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 254.2
CPU user time (s): 253.43
CPU system time (s): 0.77
CPU usage (%): 105.912
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001727
system time used= 0.000118
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31988 second user time and 1.35262 second system time
The end