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-4254292-1501980277/watcher-4254292-1501980277 -o /tmp/evaluation-result-4254292-1501980277/solver-4254292-1501980277 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 181493277 HOME/instance-4254292-1501980277.xml
pid=13557
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.99 1.93 1.91 4/203 13560
/proc/meminfo: memFree=31397180/32770624 swapFree=0/316256
[pid=13560] ppid=13557 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (runsolver) D 13557 13560 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97680964 24240128 108 18446744073709551615 4194304 4338465 140735342240032 140735342237672 139707552895703 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 32604160 140735342248035 140735342248524 140735342248524 140735342251978 0
/proc/13560/statm: 5918 108 54 36 0 2156 0
[startup+0.100135 s]
/proc/loadavg: 1.99 1.93 1.91 4/203 13560
/proc/meminfo: memFree=31397180/32770624 swapFree=0/316256
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20275 s]
/proc/loadavg: 1.99 1.93 1.91 4/203 13560
/proc/meminfo: memFree=31397180/32770624 swapFree=0/316256
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30027 s]
/proc/loadavg: 1.99 1.93 1.91 4/203 13560
/proc/meminfo: memFree=31397180/32770624 swapFree=0/316256
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70117 s]
/proc/loadavg: 1.99 1.93 1.91 4/203 13560
/proc/meminfo: memFree=31397180/32770624 swapFree=0/316256
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 2.07 1.95 1.91 8/219 13576
/proc/meminfo: memFree=31314772/32770624 swapFree=0/316316
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=3.62 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 36459 0 0 0 355 7 0 0 20 0 15 0 97680973 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 30345 3188 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 9057 0 0 0 132 4 0 0 20 0 15 0 97680973 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055965901560 140055943071588 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13566] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13566/stat : 13566 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055559556240 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13567] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13567/stat : 13567 (java) S 13560 13560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055558503440 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13568] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13568/stat : 13568 (java) S 13560 13560 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055439943792 140055961676418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) R 13560 13560 12039 0 -1 4202560 12726 0 0 0 90 1 0 0 20 0 15 0 97680978 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055435719080 140055946546960 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) R 13560 13560 12039 0 -1 4202560 11292 0 0 0 92 1 0 0 20 0 15 0 97680978 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055434665480 140055946775929 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 2076 0 0 0 39 0 0 0 20 0 15 0 97680978 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680982 14316269568 30345 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 2.07 1.95 1.91 6/219 13576
/proc/meminfo: memFree=31274244/32770624 swapFree=0/316316
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=8.44 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 41292 0 0 0 836 8 0 0 20 0 15 0 97680973 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 35841 3198 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 9487 0 0 0 292 4 0 0 20 0 15 0 97680973 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055965901448 140055606888756 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13566] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13566/stat : 13566 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055559556240 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13567] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13567/stat : 13567 (java) S 13560 13560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055558503440 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13568] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13568/stat : 13568 (java) S 13560 13560 12039 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055439943792 140055961676418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) R 13560 13560 12039 0 -1 4202560 15641 0 0 0 249 1 0 0 20 0 15 0 97680978 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055435718336 140055943210472 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=2.53 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) R 13560 13560 12039 0 -1 4202560 12487 0 0 0 252 1 0 0 20 0 15 0 97680978 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055434665776 140055941518822 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 2332 0 0 0 41 0 0 0 20 0 15 0 97680978 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 97680982 14316269568 35841 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 8.44
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 2.07 1.95 1.91 4/219 13576
/proc/meminfo: memFree=31242348/32770624 swapFree=0/316324
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=11.95 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 47187 0 0 0 1186 9 0 0 20 0 15 0 97680973 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 44779 3204 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 10273 0 0 0 611 5 0 0 20 0 15 0 97680973 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055965900832 140055608430966 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13566] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13566/stat : 13566 (java) S 13560 13560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055559556240 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13567] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13567/stat : 13567 (java) S 13560 13560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055558503440 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13568] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13568/stat : 13568 (java) S 13560 13560 12039 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055439943792 140055961676418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=2.7 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) S 13560 13560 12039 0 -1 1077944384 17434 0 0 0 268 2 0 0 20 0 15 0 97680978 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055435733616 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=2.61 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) S 13560 13560 12039 0 -1 1077944384 13524 0 0 0 260 1 0 0 20 0 15 0 97680978 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055434680816 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 2911 0 0 0 45 0 0 0 20 0 15 0 97680978 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 1446 0 0 0 0 0 0 0 20 0 15 0 97680982 14316269568 44779 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.06 1.95 1.91 4/219 13576
/proc/meminfo: memFree=31189004/32770624 swapFree=0/316332
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=20.58 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 60267 0 0 0 2046 12 0 0 20 0 15 0 97680973 14316269568 55871 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 55871 3230 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 11739 0 0 0 1249 6 0 0 20 0 15 0 97680973 14316269568 55871 18446744073709551615 4194304 4196468 140722922322896 140055965901360 140055606729883 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 55871 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 97680974 14316269568 55871 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
################
# More data... #
################
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) S 13560 13560 12039 0 -1 1077944384 24835 0 0 0 394 2 0 0 20 0 15 0 97680978 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055435733616 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=3.89 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) S 13560 13560 12039 0 -1 1077944384 22161 0 0 0 387 2 0 0 20 0 15 0 97680978 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055434680816 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 5876 0 0 0 57 1 0 0 20 0 15 0 97680978 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 2000 0 0 0 0 1 0 0 20 0 15 0 97680982 14316269568 51119 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 110.74
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.93 1.94 1.92 4/215 13581
/proc/meminfo: memFree=31243048/32770624 swapFree=0/316428
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=170.85 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 79702 0 0 0 17066 19 0 0 20 0 15 0 97680973 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 46259 3240 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=162.06 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 15426 0 0 0 16200 6 0 0 20 0 15 0 97680973 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055965904464 140055607579963 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 895 0 0 0 3 1 0 0 20 0 15 0 97680974 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 710 0 0 0 3 1 0 0 20 0 15 0 97680974 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13566] ppid=13560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13562/task/13566/stat : 13566 (java) S 13560 13560 12039 0 -1 1077944384 1080 0 0 0 3 1 0 0 20 0 15 0 97680974 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055559556240 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13567] ppid=13560 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13562/task/13567/stat : 13567 (java) S 13560 13560 12039 0 -1 1077944384 1167 0 0 0 3 0 0 0 20 0 15 0 97680974 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055558503440 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13568] ppid=13560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13562/task/13568/stat : 13568 (java) S 13560 13560 12039 0 -1 1077944384 1519 0 0 0 3 1 0 0 20 0 15 0 97680975 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055439943792 140055961676418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) S 13560 13560 12039 0 -1 1077944384 25234 0 0 0 394 2 0 0 20 0 15 0 97680978 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055435733616 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=3.94 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) S 13560 13560 12039 0 -1 1077944384 23742 0 0 0 392 2 0 0 20 0 15 0 97680978 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055434680816 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 6557 0 0 0 58 1 0 0 20 0 15 0 97680978 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 2031 0 0 0 1 2 0 0 20 0 15 0 97680982 14316269568 46259 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 170.85
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.64 1.85 1.88 3/215 13660
/proc/meminfo: memFree=31239436/32770624 swapFree=0/316496
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=230.92 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 81747 0 0 0 23072 20 0 0 20 0 15 0 97680973 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 46132 3240 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=222.01 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 16105 0 0 0 22195 6 0 0 20 0 15 0 97680973 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055965904064 140055611532169 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 948 0 0 0 5 1 0 0 20 0 15 0 97680974 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 779 0 0 0 4 1 0 0 20 0 15 0 97680974 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13566] ppid=13560 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13562/task/13566/stat : 13566 (java) S 13560 13560 12039 0 -1 1077944384 1090 0 0 0 4 1 0 0 20 0 15 0 97680974 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055559556240 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13567] ppid=13560 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13562/task/13567/stat : 13567 (java) S 13560 13560 12039 0 -1 1077944384 1548 0 0 0 4 1 0 0 20 0 15 0 97680974 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055558503440 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13568] ppid=13560 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13562/task/13568/stat : 13568 (java) S 13560 13560 12039 0 -1 1077944384 1775 0 0 0 5 1 0 0 20 0 15 0 97680975 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055439943792 140055961676418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=3.97 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) S 13560 13560 12039 0 -1 1077944384 25373 0 0 0 395 2 0 0 20 0 15 0 97680978 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055435733616 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=3.95 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) S 13560 13560 12039 0 -1 1077944384 23967 0 0 0 393 2 0 0 20 0 15 0 97680978 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055434680816 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 6768 0 0 0 58 1 0 0 20 0 15 0 97680978 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 2053 0 0 0 2 2 0 0 20 0 15 0 97680982 14316269568 46132 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 230.92
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.56 1.82 1.88 3/215 13661
/proc/meminfo: memFree=31236884/32770624 swapFree=0/316520
[pid=13560] ppid=13557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13560/stat : 13560 (xcsp3-exec) S 13557 13560 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 97680964 9740288 344 18446744073709551615 4194304 5098028 140726172695744 140726172693848 140332134724220 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 25305088 140726172701090 140726172701293 140726172701293 140726172704747 0
/proc/13560/statm: 2378 344 289 221 0 87 0
[pid=13562] ppid=13560 vsize=13980732 CPUtime=248.65 cores=1,3,5,7
/proc/13562/stat : 13562 (java) S 13560 13560 12039 0 -1 1077944320 81797 0 0 0 24844 21 0 0 20 0 15 0 97680973 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140722922305440 140055961665271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
/proc/13562/statm: 3495183 46644 3240 1 0 3483476 0
[pid=13562/tid=13563] ppid=13560 vsize=13980732 CPUtime=239.69 cores=1,3,5,7
/proc/13562/task/13563/stat : 13563 (java) R 13560 13560 12039 0 -1 4202560 16141 0 0 0 23963 6 0 0 20 0 15 0 97680973 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055965905104 140055607579512 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13564] ppid=13560 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13562/task/13564/stat : 13564 (java) S 13560 13560 12039 0 -1 1077944384 951 0 0 0 6 1 0 0 20 0 15 0 97680974 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055561661328 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13565] ppid=13560 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13562/task/13565/stat : 13565 (java) S 13560 13560 12039 0 -1 1077944384 782 0 0 0 6 1 0 0 20 0 15 0 97680974 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055560608528 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13566] ppid=13560 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13562/task/13566/stat : 13566 (java) S 13560 13560 12039 0 -1 1077944384 1095 0 0 0 5 1 0 0 20 0 15 0 97680974 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055559556240 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13567] ppid=13560 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13562/task/13567/stat : 13567 (java) S 13560 13560 12039 0 -1 1077944384 1551 0 0 0 5 1 0 0 20 0 15 0 97680974 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055558503440 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13568] ppid=13560 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13562/task/13568/stat : 13568 (java) S 13560 13560 12039 0 -1 1077944384 1775 0 0 0 5 1 0 0 20 0 15 0 97680975 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055439943792 140055961676418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13569] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13569/stat : 13569 (java) S 13560 13560 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 97680975 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055438889760 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13570] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (java) S 13560 13560 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97680976 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055437837424 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13571] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13571/stat : 13571 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055436785744 140055961683867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13572] ppid=13560 vsize=13980732 CPUtime=3.97 cores=1,3,5,7
/proc/13562/task/13572/stat : 13572 (java) S 13560 13560 12039 0 -1 1077944384 25373 0 0 0 395 2 0 0 20 0 15 0 97680978 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055435733616 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13573] ppid=13560 vsize=13980732 CPUtime=3.95 cores=1,3,5,7
/proc/13562/task/13573/stat : 13573 (java) S 13560 13560 12039 0 -1 1077944384 23967 0 0 0 393 2 0 0 20 0 15 0 97680978 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055434680816 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13574] ppid=13560 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13562/task/13574/stat : 13574 (java) S 13560 13560 12039 0 -1 1077944384 6768 0 0 0 58 1 0 0 20 0 15 0 97680978 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055433628528 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13575] ppid=13560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13575/stat : 13575 (java) S 13560 13560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97680978 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055432575968 140055961675477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
[pid=13562/tid=13576] ppid=13560 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13562/task/13576/stat : 13576 (java) S 13560 13560 12039 0 -1 1077944384 2053 0 0 0 2 3 0 0 20 0 15 0 97680982 14316269568 46644 18446744073709551615 4194304 4196468 140722922322896 140055431522736 140055961676418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 7507968 140722922324442 140722922324617 140722922324617 140722922328015 0
Current children cumulated CPU time (s) 248.65
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 13562 sig 9
??? kill 13560 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 13560 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1793
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117
# CPU time returned by wait4() is 0.00191
# while last known CPU time is 248.65
#
# 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): 248.65
CPU user time (s): 248.44
CPU system time (s): 0.21
CPU usage (%): 103.6
Max. virtual memory (cumulated for all children) (KiB): 13992896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001793
system time used= 0.000117
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.05629 second user time and 1.35788 second system time
The end