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-4255161-1501622089/watcher-4255161-1501622089 -o /tmp/evaluation-result-4255161-1501622089/solver-4255161-1501622089 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10652 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1952510893 HOME/instance-4255161-1501622089.xml
pid=13907
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.79 1.77 2/201 13910
/proc/meminfo: memFree=31663416/32770624 swapFree=0/190184
[pid=13910] ppid=13907 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (runsolver) D 13907 13910 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10024227 24240128 106 18446744073709551615 4194304 4338465 140731685250832 140731685248472 140456558633687 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 6512640 140731685253212 140731685253702 140731685253702 140731685257162 0
/proc/13910/statm: 5918 106 53 36 0 2156 0
[startup+0.100112 s]
/proc/loadavg: 1.96 1.79 1.77 2/201 13910
/proc/meminfo: memFree=31663416/32770624 swapFree=0/190184
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200338 s]
/proc/loadavg: 1.96 1.79 1.77 2/201 13910
/proc/meminfo: memFree=31663416/32770624 swapFree=0/190184
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300248 s]
/proc/loadavg: 1.96 1.79 1.77 2/201 13910
/proc/meminfo: memFree=31663416/32770624 swapFree=0/190184
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70692 s]
/proc/loadavg: 1.96 1.79 1.77 2/201 13910
/proc/meminfo: memFree=31663416/32770624 swapFree=0/190184
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13912 sig 9
??? kill 13910 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800968 s]
/proc/loadavg: 1.96 1.79 1.77 2/201 13910
/proc/meminfo: memFree=31663416/32770624 swapFree=0/190184
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.20712 s]
/proc/loadavg: 1.96 1.79 1.77 6/217 13926
/proc/meminfo: memFree=31571872/32770624 swapFree=0/190200
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
[pid=13912] ppid=13910 vsize=13980732 CPUtime=2.84 cores=0,2,4,6
/proc/13912/stat : 13912 (java) S 13910 13910 5228 0 -1 1077944320 26311 0 0 0 278 6 0 0 20 0 15 0 10024235 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140727144972320 140057267842807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
/proc/13912/statm: 3495183 29701 3183 1 0 3483484 0
[pid=13912/tid=13913] ppid=13910 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/13912/task/13913/stat : 13913 (java) R 13910 13910 5228 0 -1 4202560 8819 0 0 0 103 3 0 0 20 0 15 0 10024235 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140057272077872 140057267854742 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13914] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140057209789584 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13915] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140057208736784 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13916] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140057207683984 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13917] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056864496400 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13918] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10024237 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056813586800 140057267853954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13919] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10024238 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056812532768 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13920] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10024238 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056811479920 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13921] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10024240 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056810428240 140057267861403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13922] ppid=13910 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/13912/task/13922/stat : 13922 (java) R 13910 13910 5228 0 -1 4202560 8070 0 0 0 64 0 0 0 20 0 15 0 10024240 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056809357592 140057251253823 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13923] ppid=13910 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/13912/task/13923/stat : 13923 (java) R 13910 13910 5228 0 -1 4202560 5312 0 0 0 64 0 0 0 20 0 15 0 10024240 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056808309496 140057249386933 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13924] ppid=13910 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/13912/task/13924/stat : 13924 (java) R 13910 13910 5228 0 -1 1077944384 2803 0 0 0 46 1 0 0 20 0 15 0 10024240 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056807271024 140057267853954 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13925] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10024241 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056806218464 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13926] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024245 14316269568 29701 18446744073709551615 4194304 4196468 140727144989776 140056805165744 140057267853954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 13990244
[startup+1.3008 s]
/proc/loadavg: 1.96 1.79 1.77 6/217 13926
/proc/meminfo: memFree=31571872/32770624 swapFree=0/190200
[pid=13910] ppid=13907 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10024227 9740288 345 18446744073709551615 4194304 5098028 140736393574800 140736393572904 139669361693308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 7700480 140736393576859 140736393577063 140736393577063 140736393580523 0
/proc/13910/statm: 2378 345 289 221 0 87 0
[pid=13912] ppid=13910 vsize=13980732 CPUtime=3.13 cores=0,2,4,6
/proc/13912/stat : 13912 (java) S 13910 13910 5228 0 -1 1077944320 31118 0 0 0 306 7 0 0 20 0 15 0 10024235 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140727144972320 140057267842807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
/proc/13912/statm: 3495183 32864 3183 1 0 3483484 0
[pid=13912/tid=13913] ppid=13910 vsize=13980732 CPUtime=1.15 cores=0,2,4,6
/proc/13912/task/13913/stat : 13913 (java) R 13910 13910 5228 0 -1 4202560 8910 0 0 0 112 3 0 0 20 0 15 0 10024235 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140057272077872 140057252366568 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13914] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140057209789584 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13915] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140057208736784 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13916] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140057207683984 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13917] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10024236 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056864496400 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13918] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10024237 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056813586800 140057267853954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13919] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10024238 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056812532768 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13920] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10024238 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056811479920 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13921] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10024240 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056810428240 140057267861403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13922] ppid=13910 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/13912/task/13922/stat : 13922 (java) R 13910 13910 5228 0 -1 4202560 11935 0 0 0 73 1 0 0 20 0 15 0 10024240 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056809357592 140057251253600 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13923] ppid=13910 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/13912/task/13923/stat : 13923 (java) R 13910 13910 5228 0 -1 4202560 5913 0 0 0 73 1 0 0 20 0 15 0 10024240 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056808309848 140057252764773 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13924] ppid=13910 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/13912/task/13924/stat : 13924 (java) S 13910 13910 5228 0 -1 1077944384 3053 0 0 0 47 1 0 0 20 0 15 0 10024240 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056807271024 140057267853954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13925] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10024241 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056806218464 140057267853013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
[pid=13912/tid=13926] ppid=13910 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10024245 14316269568 32864 18446744073709551615 4194304 4196468 140727144989776 140056805165744 140057267853954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140727144993236 140727144993411 140727144993411 140727144996815 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 1.37418
CPU time (s): 3.33753
CPU user time (s): 3.25136
CPU system time (s): 0.08617
CPU usage (%): 242.875
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.25136
system time used= 0.08617
maximum resident set size= 135056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2038
involuntary context switches= 12
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014101 second user time and 0.005423 second system time
The end